The SCEAS System
Navigation Menu

Conferences in DBLP

National Conference on Artificial Intelligence (AAAI) (aaai)
2008 (conf/aaai/2008)


  1. Memetic Networks: Analyzing the Effects of Network Properties in Multi-Agent Performance. [Citation Graph (, )][DBLP]


  2. Physical Search Problems Applying Economic Search Models. [Citation Graph (, )][DBLP]


  3. A Theory of Expressiveness in Mechanisms. [Citation Graph (, )][DBLP]


  4. Multiagent Graph Coloring: Pareto Efficiency, Fairness and Individual Rationality. [Citation Graph (, )][DBLP]


  5. Expressive Banner Ad Auctions and Model-Based Online Optimization for Clearing. [Citation Graph (, )][DBLP]


  6. A Computational Analysis of the Tournament Equilibrium Set. [Citation Graph (, )][DBLP]


  7. Approximability of Manipulating Elections. [Citation Graph (, )][DBLP]


  8. Efficient Metadeliberation Auctions. [Citation Graph (, )][DBLP]


  9. Achieving Cooperation in a Minimally Constrained Environment. [Citation Graph (, )][DBLP]


  10. Generalized Point Based Value Iteration for Interactive POMDPs. [Citation Graph (, )][DBLP]


  11. On the Dimensionality of Voting Games. [Citation Graph (, )][DBLP]


  12. First-Order Algorithm with O(ln(1/e)) Convergence for e-Equilibrium in Two-Person Zero-Sum Games. [Citation Graph (, )][DBLP]


  13. Agent Organized Networks Redux. [Citation Graph (, )][DBLP]


  14. Reasoning about the Appropriateness of Proponents for Arguments. [Citation Graph (, )][DBLP]


  15. Bayesian Coalitional Games. [Citation Graph (, )][DBLP]


  16. Agent Coordination with Regret Clearing. [Citation Graph (, )][DBLP]


  17. An Expressive Auction Design for Online Display Advertising. [Citation Graph (, )][DBLP]


  18. Computer-Aided Proofs of Arrow's and Other Impossibility Theorems. [Citation Graph (, )][DBLP]


  19. Resource Constrained Distributed Constraint Optimization with Virtual Variables. [Citation Graph (, )][DBLP]


  20. Strategyproof Classification under Constant Hypotheses: A Tale of Two Functions. [Citation Graph (, )][DBLP]


  21. Argument Theory Change Applied to Defeasible Logic Programming. [Citation Graph (, )][DBLP]


  22. The Impact of Vertical Specialization on Hierarchical Multi-Agent Systems. [Citation Graph (, )][DBLP]


  23. Coordination and Multi-Tasking Using EMT. [Citation Graph (, )][DBLP]


  24. Pareto Optimality in Abstract Argumentation. [Citation Graph (, )][DBLP]


  25. Coalition Structure Generation: Dynamic Programming Meets Anytime Optimization. [Citation Graph (, )][DBLP]


  26. Partially Synchronized DEC-MDPs in Dynamic Mechanism Design. [Citation Graph (, )][DBLP]


  27. Mathematical Modeling and Convergence Analysis of Trail Formation. [Citation Graph (, )][DBLP]


  28. Semantical Considerations on Dialectical and Practical Commitments. [Citation Graph (, )][DBLP]


  29. Bidding Strategies for Realistic Multi-Unit Sealed-Bid Auctions. [Citation Graph (, )][DBLP]


  30. Optimal False-Name-Proof Voting Rules with Costly Voting. [Citation Graph (, )][DBLP]


  31. Determining Possible and Necessary Winners under Common Voting Rules Given Partial Orders. [Citation Graph (, )][DBLP]


  32. Voting on Multiattribute Domains with Cyclic Preferential Dependencies. [Citation Graph (, )][DBLP]


  33. Value-Based Policy Teaching with Active Indirect Elicitation. [Citation Graph (, )][DBLP]


  34. Manipulating the Quota in Weighted Voting Games. [Citation Graph (, )][DBLP]


  35. Measuring the Hardness of SAT Instances. [Citation Graph (, )][DBLP]


  36. A New Incomplete Method for CSP Inconsistency Checking. [Citation Graph (, )][DBLP]


  37. The Parameterized Complexity of Global Constraints. [Citation Graph (, )][DBLP]


  38. Protein Structure Prediction on the Face Centered Cubic Lattice by Local Search. [Citation Graph (, )][DBLP]


  39. Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT. [Citation Graph (, )][DBLP]


  40. Virtual Arc Consistency for Weighted CSP. [Citation Graph (, )][DBLP]


  41. Simulation-Based Approach to General Game Playing. [Citation Graph (, )][DBLP]


  42. Phase Transitions and Complexity of Weighted Satisfiability and Other Intractable Parameterized Problems. [Citation Graph (, )][DBLP]


  43. Studies in Solution Sampling. [Citation Graph (, )][DBLP]


  44. On Range of Skill. [Citation Graph (, )][DBLP]


  45. Clause Learning Can Effectively P-Simulate General Propositional Resolution. [Citation Graph (, )][DBLP]


  46. Piecewise Linear Dynamic Programming for Constrained POMDPs. [Citation Graph (, )][DBLP]


  47. Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints. [Citation Graph (, )][DBLP]


  48. On the Power of Top-Down Branching Heuristics. [Citation Graph (, )][DBLP]


  49. Efficient Context-Free Grammar Constraints. [Citation Graph (, )][DBLP]


  50. Minimizing Disk I/O in Two-Bit Breadth-First Search. [Citation Graph (, )][DBLP]


  51. H-DPOP: Using Hard Constraints for Search Space Pruning in DCOP. [Citation Graph (, )][DBLP]


  52. Online Learning with Expert Advice and Finite-Horizon Constraints. [Citation Graph (, )][DBLP]


  53. Exploiting Causal Independence Using Weighted Model Counting. [Citation Graph (, )][DBLP]


  54. R* Search. [Citation Graph (, )][DBLP]


  55. Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving. [Citation Graph (, )][DBLP]


  56. Learning from Multiple Heuristics. [Citation Graph (, )][DBLP]


  57. Backdoor Trees. [Citation Graph (, )][DBLP]


  58. A Global Constraint for Bin-Packing with Precedences: Application to the Assembly Line Balancing Problem. [Citation Graph (, )][DBLP]


  59. Bound Consistency for Binary Length-Lex Set Constraints. [Citation Graph (, )][DBLP]


  60. Predicting the Performance of IDA* with Conditional Distributions. [Citation Graph (, )][DBLP]


  61. Reasoning with Cardinal Directions: An Efficient Algorithm. [Citation Graph (, )][DBLP]


  62. Anytime Local Search for Distributed Constraint Optimization. [Citation Graph (, )][DBLP]


  63. On the Decidability of Role Mappings between Modular Ontologies. [Citation Graph (, )][DBLP]


  64. Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals. [Citation Graph (, )][DBLP]


  65. Prime Implicate Normal Form for ALC Concepts. [Citation Graph (, )][DBLP]


  66. Credulous Resolution for Answer Set Programming. [Citation Graph (, )][DBLP]


  67. Manifold Integration with Markov Random Walks. [Citation Graph (, )][DBLP]


  68. Parallel Belief Revision. [Citation Graph (, )][DBLP]


  69. Efficient Haplotype Inference with Answer Set Programming. [Citation Graph (, )][DBLP]


  70. Extending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond. [Citation Graph (, )][DBLP]


  71. A Meta-Programming Technique for Debugging Answer-Set Programs. [Citation Graph (, )][DBLP]


  72. From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. [Citation Graph (, )][DBLP]


  73. Nonmonotonic Modes of Inference. [Citation Graph (, )][DBLP]


  74. Horn Complements: Towards Horn-to-Horn Belief Revision. [Citation Graph (, )][DBLP]


  75. A Reductive Semantics for Counting and Choice in Answer Set Programming. [Citation Graph (, )][DBLP]


  76. Abductive Logic Programming by Nonground Rewrite Systems. [Citation Graph (, )][DBLP]


  77. A Formalization of Program Debugging in the Situation Calculus. [Citation Graph (, )][DBLP]


  78. Minimal Contraction of Preference Relations. [Citation Graph (, )][DBLP]


  79. A First-Order Theory of Stanislavskian Scene Analysis. [Citation Graph (, )][DBLP]


  80. Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses. [Citation Graph (, )][DBLP]


  81. An AGM-Based Belief Revision Mechanism for Probabilistic Spatio-Temporal Logics. [Citation Graph (, )][DBLP]


  82. New Compilation Languages Based on Structured Decomposability. [Citation Graph (, )][DBLP]


  83. A Semantic Approach for Iterated Revision in Possibilistic Logic. [Citation Graph (, )][DBLP]


  84. Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. [Citation Graph (, )][DBLP]


  85. A Scalable Jointree Algorithm for Diagnosability. [Citation Graph (, )][DBLP]


  86. Factored Models for Probabilistic Modal Logic. [Citation Graph (, )][DBLP]


  87. AnalogySpace: Reducing the Dimensionality of Common Sense Knowledge. [Citation Graph (, )][DBLP]


  88. An Extended Interpreted System Model for Epistemic Logics. [Citation Graph (, )][DBLP]


  89. Hyperequivalence of Logic Programs with Respect to Supported Models. [Citation Graph (, )][DBLP]


  90. Generating Application-Specific Benchmark Models for Complex Systems. [Citation Graph (, )][DBLP]


  91. Grounding with Bounds. [Citation Graph (, )][DBLP]


  92. Towards Automatic Animated Storyboarding. [Citation Graph (, )][DBLP]


  93. Loop Formulas for Logic Programs with Arbitrary Constraint Atoms. [Citation Graph (, )][DBLP]


  94. Revising Imprecise Probabilistic Beliefs in the Framework of Probabilistic Logic Programming. [Citation Graph (, )][DBLP]


  95. Distance Metric Learning Versus Fisher Discriminant Analysis. [Citation Graph (, )][DBLP]


  96. Potential-based Shaping in Model-based Reinforcement Learning. [Citation Graph (, )][DBLP]


  97. Sparse Projections over Graph. [Citation Graph (, )][DBLP]


  98. Clustering via Random Walk Hitting Time on Directed Graphs. [Citation Graph (, )][DBLP]


  99. Integrating Multiple Learning Components through Markov Logic. [Citation Graph (, )][DBLP]


  100. A Case Study on the Critical Role of Geometric Regularity in Machine Learning. [Citation Graph (, )][DBLP]


  101. Semi-Supervised Ensemble Ranking. [Citation Graph (, )][DBLP]


  102. Instance-level Semisupervised Multiple Instance Learning. [Citation Graph (, )][DBLP]


  103. Zero-data Learning of New Tasks. [Citation Graph (, )][DBLP]


  104. Dimension Amnesic Pyramid Match Kernel. [Citation Graph (, )][DBLP]


  105. Clustering on Complex Graphs. [Citation Graph (, )][DBLP]


  106. From Comparing Clusterings to Combining Clusterings. [Citation Graph (, )][DBLP]


  107. Trace Ratio Criterion for Feature Selection. [Citation Graph (, )][DBLP]


  108. Transfer Learning via Dimensionality Reduction. [Citation Graph (, )][DBLP]


  109. Active Learning for Pipeline Models. [Citation Graph (, )][DBLP]


  110. Economic Hierarchical Q-Learning. [Citation Graph (, )][DBLP]


  111. Markov Blanket Feature Selection for Support Vector Machines. [Citation Graph (, )][DBLP]


  112. On-Line Case-Based Plan Adaptation for Real-Time Strategy Games. [Citation Graph (, )][DBLP]


  113. Adapting ADtrees for High Arity Features. [Citation Graph (, )][DBLP]


  114. Efficient Learning of Action Schemas and Web-Service Descriptions. [Citation Graph (, )][DBLP]


  115. On Discriminative Semi-Supervised Classification. [Citation Graph (, )][DBLP]


  116. Semi-supervised Classification Using Local and Global Regularization. [Citation Graph (, )][DBLP]


  117. Learning Hidden Curved Exponential Family Models to Infer Face-to-Face Interaction Networks from Situated Speech Data. [Citation Graph (, )][DBLP]


  118. Hidden Dynamic Probabilistic Models for Labeling Sequence Data. [Citation Graph (, )][DBLP]


  119. Classification by Discriminative Regularization. [Citation Graph (, )][DBLP]


  120. Multi-View Local Learning. [Citation Graph (, )][DBLP]


  121. Constraint Projections for Ensemble Learning. [Citation Graph (, )][DBLP]


  122. Automating To-Do Lists for Users: Interpretation of To-Dos for Selecting and Tasking Agents. [Citation Graph (, )][DBLP]


  123. Proactive Intrusion Detection. [Citation Graph (, )][DBLP]


  124. Speech-enabled Card Games for Language Learners. [Citation Graph (, )][DBLP]


  125. Exposing Parameters of a Trained Dynamic Model for Interactive Music Creation. [Citation Graph (, )][DBLP]


  126. Another Look at Search-Based Drama Management. [Citation Graph (, )][DBLP]


  127. Learning to Analyze Binary Computer Code. [Citation Graph (, )][DBLP]


  128. Prediction and Change Detection in Sequential Data for Interactive Applications. [Citation Graph (, )][DBLP]


  129. Using Knowledge Driven Matrix Factorization to Reconstruct Modular Gene Regulatory Network. [Citation Graph (, )][DBLP]


  130. Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions. [Citation Graph (, )][DBLP]


  131. Automatic Semantic Relation Extraction with Multiple Boundary Generation. [Citation Graph (, )][DBLP]


  132. Importance of Semantic Representation: Dataless Classification. [Citation Graph (, )][DBLP]


  133. Discourse Topic and Gestural Form. [Citation Graph (, )][DBLP]


  134. Text Categorization with Knowledge Transfer from Heterogeneous Data Sources. [Citation Graph (, )][DBLP]


  135. Cross-lingual Propagation for Morphological Analysis. [Citation Graph (, )][DBLP]


  136. Single Document Keyphrase Extraction Using Neighborhood Knowledge. [Citation Graph (, )][DBLP]


  137. Using Wiktionary for Computing Semantic Relatedness. [Citation Graph (, )][DBLP]


  138. Optimal Scheduling of Contract Algorithms with Soft Deadlines. [Citation Graph (, )][DBLP]


  139. Optimal Metric Planning with State Sets in Automata Representation. [Citation Graph (, )][DBLP]


  140. PBA*: Using Proactive Search to Make A* Robust to Unplanned Deviations. [Citation Graph (, )][DBLP]


  141. Fast Planning by Search in Domain Transition Graph. [Citation Graph (, )][DBLP]


  142. Planning with Problems Requiring Temporal Coordination. [Citation Graph (, )][DBLP]


  143. Partitioned External-Memory Value Iteration. [Citation Graph (, )][DBLP]


  144. Error Classification in Action Descriptions: A Heuristic Approach. [Citation Graph (, )][DBLP]


  145. Computing Minimal Diagnoses by Greedy Stochastic Search. [Citation Graph (, )][DBLP]


  146. Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses. [Citation Graph (, )][DBLP]


  147. Finding State Similarities for Faster Planning. [Citation Graph (, )][DBLP]


  148. Reasoning about Large Taxonomies of Actions. [Citation Graph (, )][DBLP]


  149. Accuracy of Admissible Heuristic Functions in Selected Planning Domains. [Citation Graph (, )][DBLP]


  150. How Good is Almost Perfect?. [Citation Graph (, )][DBLP]


  151. HTN-MAKER: Learning HTNs with Minimal Additional Knowledge Engineering Required. [Citation Graph (, )][DBLP]


  152. Generating Plans in Concurrent, Probabilistic, Over-Subscribed Domains. [Citation Graph (, )][DBLP]


  153. Unknown Rewards in Finite-Horizon Domains. [Citation Graph (, )][DBLP]


  154. Route Planning under Uncertainty: The Canadian Traveller Problem. [Citation Graph (, )][DBLP]


  155. Landmarks Revisited. [Citation Graph (, )][DBLP]


  156. Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains. [Citation Graph (, )][DBLP]


  157. Learning Generalized Plans Using Abstract Counting. [Citation Graph (, )][DBLP]


  158. Hypothesis Pruning and Ranking for Large Plan Recognition Problems. [Citation Graph (, )][DBLP]


  159. On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture. [Citation Graph (, )][DBLP]


  160. Probabilistic Planning via Determinization in Hindsight. [Citation Graph (, )][DBLP]


  161. CRF-OPT: An Efficient High-Quality Conditional Random Field Solver. [Citation Graph (, )][DBLP]


  162. Focusing Generalizations of Belief Propagation on Targeted Queries. [Citation Graph (, )][DBLP]


  163. Many-Pairs Mutual Information for Adding Structure to Belief Propagation Approximations. [Citation Graph (, )][DBLP]


  164. Preference Aggregation with Graphical Utility Models. [Citation Graph (, )][DBLP]


  165. Exploiting Symmetries in POMDPs for Point-Based Algorithms. [Citation Graph (, )][DBLP]


  166. Towards Faster Planning with Continuous Resources in Stochastic Domains. [Citation Graph (, )][DBLP]


  167. A Variance Analysis for POMDP Policy Evaluation. [Citation Graph (, )][DBLP]


  168. Lifted Probabilistic Inference with Counting Formulas. [Citation Graph (, )][DBLP]


  169. Optimal Testing of Structured Knowledge. [Citation Graph (, )][DBLP]


  170. A General Method for Reducing the Complexity of Relational Inference and its Application to MCMC. [Citation Graph (, )][DBLP]


  171. Dormant Independence. [Citation Graph (, )][DBLP]


  172. Symbolic Heuristic Search Value Iteration for Factored POMDPs. [Citation Graph (, )][DBLP]


  173. Lifted First-Order Belief Propagation. [Citation Graph (, )][DBLP]


  174. Bounding the False Discovery Rate in Local Bayesian Network Learning. [Citation Graph (, )][DBLP]


  175. Hybrid Markov Logic Networks. [Citation Graph (, )][DBLP]


  176. Latent Tree Models and Approximate Inference in Bayesian Networks. [Citation Graph (, )][DBLP]


  177. A General Framework for Generating Multivariate Explanations in Bayesian Networks. [Citation Graph (, )][DBLP]


  178. On the Enactability of Business Protocols. [Citation Graph (, )][DBLP]


  179. Concept-Based Feature Generation and Selection for Information Retrieval. [Citation Graph (, )][DBLP]


  180. Linking Social Networks on the Web with FOAF: A Semantic Web Case Study. [Citation Graph (, )][DBLP]


  181. Mining Translations of Web Queries from Web Click-through Data. [Citation Graph (, )][DBLP]


  182. Hierarchical Location and Topic Based Query Expansion. [Citation Graph (, )][DBLP]


  183. Semi-Supervised Learning for Blog Classification. [Citation Graph (, )][DBLP]


  184. Generating Useful Network-based Features for Analyzing Social Networks. [Citation Graph (, )][DBLP]


  185. Automatic Extraction of Data Points and Text Blocks from 2-Dimensional Plots in Digital Documents. [Citation Graph (, )][DBLP]


  186. Minimizing the Spread of Contamination by Blocking Links in a Network. [Citation Graph (, )][DBLP]


  187. A Utility-Theoretic Approach to Privacy and Personalization. [Citation Graph (, )][DBLP]


  188. Query-URL Bipartite Based Approach to Personalized Query Recommendation. [Citation Graph (, )][DBLP]


  189. Extracting Relevant Snippets for Web Navigation. [Citation Graph (, )][DBLP]


  190. Intelligent Output Interface for Intelligent Medical Search Engine. [Citation Graph (, )][DBLP]


  191. Neural Network based Constraint Satisfaction in Ontology Mapping. [Citation Graph (, )][DBLP]


  192. Supporting Manual Mapping Revision using Logical Reasoning. [Citation Graph (, )][DBLP]


  193. Decoding Wikipedia Categories for Knowledge Acquisition. [Citation Graph (, )][DBLP]


  194. Turning Web Text and Search Queries into Factual Knowledge: Hierarchical Class Attribute Extraction. [Citation Graph (, )][DBLP]


  195. Question Utility: A Novel Static Ranking of Question Search. [Citation Graph (, )][DBLP]


  196. Metalevel Information in Ontology-Based Applications. [Citation Graph (, )][DBLP]


  197. Finding Cars, Goddesses and Enzymes: Parametrizable Acquisition of Labeled Instances for Open-Domain Information Extraction. [Citation Graph (, )][DBLP]


  198. An Unsupervised Approach for Product Record Normalization across Different Web Sites. [Citation Graph (, )][DBLP]


  199. A User-Oriented Webpage Ranking Algorithm Based on User Attention Time. [Citation Graph (, )][DBLP]


  200. Efficient Querying Relaxed Dominant Relationship between Product Items Based on Rank Aggregation. [Citation Graph (, )][DBLP]


  201. Spatial Scaffolding for Sociable Robot Learning. [Citation Graph (, )][DBLP]


  202. POIROT - Integrated Learning of Web Service Procedures. [Citation Graph (, )][DBLP]


  203. An Integrated Reasoning Approach to Moral Decision-Making. [Citation Graph (, )][DBLP]


  204. RADAR: A Personal Assistant that Learns to Reduce Email Overload. [Citation Graph (, )][DBLP]


  205. The PELA Architecture: Integrating Planning and Learning to Improve Execution. [Citation Graph (, )][DBLP]


  206. Incorporating Mental Simulation for a More Effective Robotic Teammate. [Citation Graph (, )][DBLP]


  207. Pervasive Diagnosis: The Integration of Diagnostic Goals into Production Plans. [Citation Graph (, )][DBLP]


  208. An Integrated Agent for Playing Real-Time Strategy Games. [Citation Graph (, )][DBLP]


  209. Adaptive Control for Autonomous Underwater Vehicles. [Citation Graph (, )][DBLP]


  210. Achieving Far Transfer in an Integrated Cognitive Architecture. [Citation Graph (, )][DBLP]


  211. Bimodal Spatial Reasoning with Continuous Motion. [Citation Graph (, )][DBLP]


  212. Planning for Human-Robot Interaction Using Time-State Aggregated POMDPs. [Citation Graph (, )][DBLP]


  213. The Hidden Permutation Model and Location-Based Activity Recognition. [Citation Graph (, )][DBLP]


  214. Adaptive Importance Sampling with Automatic Model Selection in Value Function Approximation. [Citation Graph (, )][DBLP]


  215. Anticipatory Perceptual Simulation for Human-Robot Joint Practice: Theory and Application Study. [Citation Graph (, )][DBLP]


  216. CIGAR: Concurrent and Interleaving Goal and Activity Recognition. [Citation Graph (, )][DBLP]


  217. Efficient Optimization of Information-Theoretic Exploration in SLAM. [Citation Graph (, )][DBLP]


  218. An Efficient Motion Planning Algorithm for Stochastic Dynamic Systems with Constraints on Probability of Failure. [Citation Graph (, )][DBLP]


  219. Transferring Localization Models across Space. [Citation Graph (, )][DBLP]


  220. Structure Learning on Large Scale Common Sense Statistical Models of Human State. [Citation Graph (, )][DBLP]


  221. Reducing Particle Filtering Complexity for 3D Motion Capture using Dynamic Bayesian Networks. [Citation Graph (, )][DBLP]


  222. A Fast Data Collection and Augmentation Procedure for Object Recognition. [Citation Graph (, )][DBLP]


  223. Multimodal People Detection and Tracking in Crowded Scenes. [Citation Graph (, )][DBLP]


  224. Feature Selection for Activity Recognition in Multi-Robot Domains. [Citation Graph (, )][DBLP]


  225. Transferring Localization Models over Time. [Citation Graph (, )][DBLP]


  226. Transferring Multi-device Localization Models using Latent Multi-task Learning. [Citation Graph (, )][DBLP]


  227. Maximum Entropy Inverse Reinforcement Learning. [Citation Graph (, )][DBLP]


  228. Interaction Structure and Dimensionality Reduction in Decentralized MDPs. [Citation Graph (, )][DBLP]


  229. Generating Hard SAT/CSP Instances Using Expander Graphs. [Citation Graph (, )][DBLP]


  230. An Effective and Robust Method for Short Text Classification. [Citation Graph (, )][DBLP]


  231. Hybrid Constraint Tightening for Solving Hybrid Scheduling Problems. [Citation Graph (, )][DBLP]


  232. Data-Driven Programming and Behavior for Autonomous Virtual Characters. [Citation Graph (, )][DBLP]


  233. Limits and Possibilities of BDDs in State Space Search. [Citation Graph (, )][DBLP]


  234. Expectation-Based Versus Potential-Aware Automated Abstraction in Imperfect Information Games: An Experimental Comparison Using Poker. [Citation Graph (, )][DBLP]


  235. Learning to Identify Reduced Passive Verb Phrases with a Shallow Parser. [Citation Graph (, )][DBLP]


  236. The Re-Representation Problem in a Logic-Based Framework for Analogy Making. [Citation Graph (, )][DBLP]


  237. A Bayesian Kernel Logistic Discriminant Model: An Improvement to the Kernel Fisher's Discriminant. [Citation Graph (, )][DBLP]


  238. Dynamic Distributed Constraint Reasoning. [Citation Graph (, )][DBLP]


  239. Ensemble Forecasting for Disease Outbreak Detection. [Citation Graph (, )][DBLP]


  240. Fast Spectral Learning using Lanczos Eigenspace Projections. [Citation Graph (, )][DBLP]


  241. Efficiently Exploiting Dependencies in Local Search for SAT. [Citation Graph (, )][DBLP]


  242. Towards Synthesizing Optimal Coordination Modules for Distributed Agents. [Citation Graph (, )][DBLP]


  243. A New Clause Learning Scheme for Efficient Unsatisfiability Proofs. [Citation Graph (, )][DBLP]


  244. Bayes-Relational Learning of Opponent Models from Incomplete Information in No-Limit Poker. [Citation Graph (, )][DBLP]


  245. Multi-HDP: A Non Parametric Bayesian Model for Tensor Factorization. [Citation Graph (, )][DBLP]


  246. Learning Grasp Strategies with Partial Shape Information. [Citation Graph (, )][DBLP]


  247. Incremental Algorithms for Approximate Compilation. [Citation Graph (, )][DBLP]


  248. Computing Reserve Prices and Identifying the Value Distribution in Real-world Auctions with Market Disruptions. [Citation Graph (, )][DBLP]


  249. Multi-Label Dimensionality Reduction via Dependence Maximization. [Citation Graph (, )][DBLP]


  250. Online Learning in Monkeys. [Citation Graph (, )][DBLP]


  251. Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners. [Citation Graph (, )][DBLP]


  252. Learning and Inference with Constraints. [Citation Graph (, )][DBLP]


  253. On-line Planning and Scheduling: An Application to Controlling Modular Printers. [Citation Graph (, )][DBLP]


  254. Intelligent Email: Aiding Users with AI. [Citation Graph (, )][DBLP]


  255. Magic Sets for Data Integration. [Citation Graph (, )][DBLP]


  256. Decision-Theoretic User Interface Generation. [Citation Graph (, )][DBLP]


  257. Achieving Master Level Play in 9 x 9 Computer Go. [Citation Graph (, )][DBLP]


  258. Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation. [Citation Graph (, )][DBLP]


  259. Explicit-State Abstraction: A New Method for Generating Heuristic Functions. [Citation Graph (, )][DBLP]


  260. Video Activity Recognition in the Real World. [Citation Graph (, )][DBLP]


  261. An Analysis of Transformational Analogy: General Framework and Complexity. [Citation Graph (, )][DBLP]


  262. Efficient Algorithms to Solve Bayesian Stackelberg Games for Security Applications. [Citation Graph (, )][DBLP]


  263. Examining Difficulties Software Developers Encounter in the Adoption of Statistical Machine Learning. [Citation Graph (, )][DBLP]


  264. Decompositions of Grammar Constraints. [Citation Graph (, )][DBLP]


  265. Make3D: Depth Perception from a Single Still Image. [Citation Graph (, )][DBLP]


  266. Using Signals of Human Interest to Enhance Single-document Summarization. [Citation Graph (, )][DBLP]


  267. Adaptive Management of Air Traffic Flow: A Multiagent Coordination Approach. [Citation Graph (, )][DBLP]


  268. Breaking Value Symmetry. [Citation Graph (, )][DBLP]


  269. An Interaction-Based Approach to Computational Epidemiology. [Citation Graph (, )][DBLP]


  270. What Is Answer Set Programming?. [Citation Graph (, )][DBLP]


  271. Learning to Connect Language and Perception. [Citation Graph (, )][DBLP]


  272. Artificial Intelligence Needs Open-Access Knowledgebase Contents. [Citation Graph (, )][DBLP]


  273. Game Theory Pragmatics: A Challenge for AI. [Citation Graph (, )][DBLP]


  274. Intelligence in Wikipedia. [Citation Graph (, )][DBLP]


  275. Using AI for Olympic Equestrian Event Preparation. [Citation Graph (, )][DBLP]


  276. A Case Study of AI Application on Language Instruction: CSIEC. [Citation Graph (, )][DBLP]


  277. Tactical Language and Culture Training Systems: Using Artificial Intelligence to Teach Foreign Languages and Cultures. [Citation Graph (, )][DBLP]


  278. The Law of Choice and the Decision Not to Decide. [Citation Graph (, )][DBLP]


  279. Application of Artificial Intelligence to Operational Real-Time Clear-Air Turbulence Prediction. [Citation Graph (, )][DBLP]


  280. Reinforcement Learning for Vulnerability Assessment in Peer-to-Peer Networks. [Citation Graph (, )][DBLP]


  281. Learning Sparse Kernels from 3D Surfaces for Heart Wall Motion Abnormality Detection. [Citation Graph (, )][DBLP]


  282. Adaptive Treatment of Epilepsy via Batch-mode Reinforcement Learning. [Citation Graph (, )][DBLP]


  283. Enabling the Interoperability of Large-Scale Legacy Systems. [Citation Graph (, )][DBLP]


  284. Finding Ontological Correspondences for a Domain-Independent Natural Language Dialog Agent. [Citation Graph (, )][DBLP]


  285. Personalisation of Telecommunications Services as Combinatorial Optimisation. [Citation Graph (, )][DBLP]


  286. Diagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft. [Citation Graph (, )][DBLP]


  287. Local Search for Optimal Global Map Generation Using Mid-Decadal Landsat Images. [Citation Graph (, )][DBLP]


  288. Learning to Improve Earth Observation Flight Planning. [Citation Graph (, )][DBLP]


  289. On-line Recognition of Surgical Activity for Monitoring in the Operating Room. [Citation Graph (, )][DBLP]


  290. COACH - Cumulative Online Algorithm for Classification of Handwriting Deficiencies. [Citation Graph (, )][DBLP]


  291. Real-time Alert Correlation Using Stream Data Mining Techniques. [Citation Graph (, )][DBLP]


  292. A Hybrid Approach to Convoy Movement Planning in an Urban City. [Citation Graph (, )][DBLP]


  293. In-the-Dark Network Traffic Classification Using Support Vector Machines. [Citation Graph (, )][DBLP]


  294. Crops Selection for Optimal Soil Planning using Multiobjective Evolutionary Algorithms. [Citation Graph (, )][DBLP]


  295. Semantic Web Development for Traditional Chinese Medicine. [Citation Graph (, )][DBLP]


  296. A Vehicle Routing System to Solve a Periodic Vehicle Routing Problem for a Food Chain in Hong Kong. [Citation Graph (, )][DBLP]


  297. Using Reasoning Patterns to Simplify Games. [Citation Graph (, )][DBLP]


  298. Lexical and Grammatical Inference. [Citation Graph (, )][DBLP]


  299. The Benefits of an Ontological Patient Model in Clinical Decision-Support. [Citation Graph (, )][DBLP]


  300. Using Clustering Methods for Discovering Event Structures. [Citation Graph (, )][DBLP]


  301. Distributed Reasoning with Conflicts in a Multi-Context Framework. [Citation Graph (, )][DBLP]


  302. Conformant Planning Heuristics Based on Plan Reuse in Belief States. [Citation Graph (, )][DBLP]


  303. Personalized Reasoner Based on Belief Strengths of Information Sources. [Citation Graph (, )][DBLP]


  304. A Neuro-Fuzzy Strategy for Web Personalization. [Citation Graph (, )][DBLP]


  305. Sketch Recognition Based on Manifold Learning. [Citation Graph (, )][DBLP]


  306. GLADDER: Combining Gesture and Geometric Sketch Recognition. [Citation Graph (, )][DBLP]


  307. Distinguishing between Sketched Scribble Look Alikes. [Citation Graph (, )][DBLP]


  308. Perpetual Learning for Non-Cooperative Multiple Agents. [Citation Graph (, )][DBLP]


  309. User Identification by Means of Sketched Stroke Features. [Citation Graph (, )][DBLP]


  310. Unsupervised Categorization (Filtering) of Google Images Based on Visual Consistency. [Citation Graph (, )][DBLP]


  311. Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Programs. [Citation Graph (, )][DBLP]


  312. Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques. [Citation Graph (, )][DBLP]


  313. Predicting Appropriate Semantic Web Terms from Words. [Citation Graph (, )][DBLP]


  314. Improving a Plan Library for Real-time Systems Using Nearly Orthogonal Latin Hypercube Sampling. [Citation Graph (, )][DBLP]


  315. Text Beautifier: An Affective-Text Tool to Tailor Written Text. [Citation Graph (, )][DBLP]


  316. A Self-organizing Multi-agent System for Adaptive Continuous Unsupervised Learning in Complex Uncertain Environments. [Citation Graph (, )][DBLP]


  317. Loop Calculus for Satisfiability. [Citation Graph (, )][DBLP]


  318. Constrained Classification on Structured Data. [Citation Graph (, )][DBLP]


  319. Chatting Activity Recognition in Social Occasions Using Factorial Conditional Random Fields with Iterative Classification. [Citation Graph (, )][DBLP]


  320. Discover Relevant Environment Feature Using Concurrent Reinforcement Learning. [Citation Graph (, )][DBLP]


  321. 2-Dimensional Cellular Automata Approach for Robot Grid Formations. [Citation Graph (, )][DBLP]


  322. Hierarchical Voting Experts: An Unsupervised Algorithm for Segmenting Hierarchically Structured Sequences. [Citation Graph (, )][DBLP]


  323. The Swarm Application Framework. [Citation Graph (, )][DBLP]


  324. ADROIT: Automatic Discourse Relation Organizer of Internet-based Text. [Citation Graph (, )][DBLP]


  325. NP-Completeness of Outcome Optimization for Partial CP-Nets. [Citation Graph (, )][DBLP]


  326. Toward Autonomous Learning of an Ontology of Tool Affordances by a Robot. [Citation Graph (, )][DBLP]


  327. The Validity of Providing Automated Hints in an ITS Using a MDP. [Citation Graph (, )][DBLP]


  328. Using a Geometric-Based Sketch Recognition Approach to Sketch Chinese Radicals. [Citation Graph (, )][DBLP]


  329. Efficient Haplotype Inference with Answer Set Programming. [Citation Graph (, )][DBLP]


  330. Eliminating False Positives during Corner Finding by Merging Similar Segments. [Citation Graph (, )][DBLP]


  331. Visualization of Large-Scale Weighted Clustered Graph: A Genetic Approach. [Citation Graph (, )][DBLP]


  332. The Relational Push-Pull Model: A Generative Model for Relational Data Clustering. [Citation Graph (, )][DBLP]


  333. Towards Answer Set Prolog Based Architectures for Intelligent Agents. [Citation Graph (, )][DBLP]


  334. Unstructured Audio Classification for Environment Recognition. [Citation Graph (, )][DBLP]


  335. An Architecture and Formalism for Handling Modular Ontologies. [Citation Graph (, )][DBLP]


  336. Optimizations and Extensions for the Horn Transaction Logic Programs. [Citation Graph (, )][DBLP]


  337. Social Interaction under Uncertainty in Multi Agent Systems. [Citation Graph (, )][DBLP]


  338. Tightly Coupled Cooperation among Independent Agents. [Citation Graph (, )][DBLP]


  339. Autonomous Robot Skill Acquisition. [Citation Graph (, )][DBLP]


  340. Generating Plans in Concurrent, Probabilistic, Over-Subscribed Domains. [Citation Graph (, )][DBLP]


  341. Adaptive Abstraction of Constraint-Based Models for Self-Diagnosis and Planning. [Citation Graph (, )][DBLP]


  342. Distributed Robust Execution of Qualitative State Plan with Chance Constraints. [Citation Graph (, )][DBLP]


  343. Combining Global Relevance Information with Local Contextual Clues for Event-Oriented Information Extraction. [Citation Graph (, )][DBLP]


  344. Computational Influence for Training and Entertainment. [Citation Graph (, )][DBLP]


  345. Integrative Construction and Analysis of Condition-specific Biological Networks. [Citation Graph (, )][DBLP]


  346. Managing Quality of Service with Soft Constraints. [Citation Graph (, )][DBLP]


  347. The Benefits of an Ontological Patient Model in Clinical Decision-Support. [Citation Graph (, )][DBLP]


  348. A Hybrid Approach to Domino Portrait Generation. [Citation Graph (, )][DBLP]


  349. A Demonstration of the RADAR Personal Assistant. [Citation Graph (, )][DBLP]


  350. CogSketch. [Citation Graph (, )][DBLP]


  351. Yoopick: A Combinatorial Sports Prediction Market. [Citation Graph (, )][DBLP]


  352. Prometheus Design Tool. [Citation Graph (, )][DBLP]


  353. ARMOR Security for Los Angeles International Airport. [Citation Graph (, )][DBLP]


  354. Human-Robot Collaboration for Remote Surveillance. [Citation Graph (, )][DBLP]


  355. Knowledge-Based Spatial Reasoning for Scene Generation from Text Descriptions. [Citation Graph (, )][DBLP]


  356. IMT: A Mixed-Initiative Data Mapping and Search Toolkit. [Citation Graph (, )][DBLP]

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002