17. IJCAI 2001: Seattle, Washington, USA Bernhard Nebel (Ed.):
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001.
Morgan Kaufmann 2001, ISBN 1-55860-777-3 Knowledge Representation and Reasoning
Cognitive Robotics
export record as
dblp key:
export record as
dblp key:
conf/ijcai/GrosskreutzL01 export record as
dblp key:
Structure-Based Causality
export record as
dblp key:
export record as
dblp key:
Spatial Reasoning
export record as
dblp key:
conf/ijcai/Bailey-KelloggR01 export record as
dblp key:
Jochen Renz :
A Spatial Odyssey of the Interval Algebra: 1. Directed Intervals.
51-56
export record as
dblp key:
Qualitative Reasoning for Biological Systems
export record as
dblp key:
export record as
dblp key:
conf/ijcai/VatchevaBJGM01
Temporal Reasoning
export record as
dblp key:
export record as
dblp key:
Carsten Lutz :
Interval-based Temporal Reasoning with General TBoxes.
89-96
Belief Revision
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/ijcai/BenferhatKBW01
Action and Causality
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Action
export record as
dblp key:
export record as
dblp key:
Description Logics
export record as
dblp key:
export record as
dblp key:
Complexity Analysis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Description Logics and Conceptual Graphs
export record as
dblp key:
Fabio Massacci :
Decision Procedures for Expressive Description Logics with Intersection, Composition, Converse of Roles and Role Identity.
193-198
export record as
dblp key:
export record as
dblp key:
Description Logics and Formal Concept Analysis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Search, Satisfiability, and Constraint Satisfaction Problems
Search
export record as
dblp key:
Wheeler Ruml :
Incomplete Tree Search using Adaptive Probing.
235-241
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Satisfiability
export record as
dblp key:
conf/ijcai/GiunchigliaNT01 export record as
dblp key:
Constraint Satisfaction Problems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/ijcai/SchuurmansSH01 export record as
dblp key:
Andrew Lim ,
Wang Ying :
A New Method For The Three Dimensional Container Packing Problem.
342-350
Satisfiability
export record as
dblp key:
export record as
dblp key:
Cognitive Modeling
Cognitive Modeling - Diagramatic Reasoning
export record as
dblp key:
Christopher G. Healey :
Formalizing Artistic Techniques and Scientific Visualization for Painted Renditions of Complex Information Spaces.
371-376
export record as
dblp key:
Cognitive Modeling - Categorization
export record as
dblp key:
export record as
dblp key:
Tony Belpaeme :
Simulating the Formation of Color Categories.
393-400
Cognitive Modeling - Perceptual Grounding
export record as
dblp key:
conf/ijcai/Sierra-Santibanez01 export record as
dblp key:
Panning
Panning with Forward Search
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Lars Karlsson :
Conditional progressive planning under uncertainty.
431-438
Domain Analysis for Planning
export record as
dblp key:
export record as
dblp key:
Maria Fox ,
Derek Long :
Hybrid STAN: Identifying and Managing Combinatorial Optimisation Sub- problems in Planning.
445-452
Search Heuristics in Planning
export record as
dblp key:
Jörg Hoffmann :
Local Search Topology in Planning Benchmarks: An Empirical Analysis.
453-458
export record as
dblp key:
Planning with Incomplete Information
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Planning with Temporal Uncertainty
export record as
dblp key:
export record as
dblp key:
Complexity of Planning
export record as
dblp key:
Jussi Rintanen :
Complexity of Probabilistic Planning under Average Rewards.
503-508
export record as
dblp key:
export record as
dblp key:
Ronen I. Brafman :
A Simplifier for Propositional Formulas with Many Binary Clauses.
515-522
Games
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Diagnosis
Diagnosis
export record as
dblp key:
export record as
dblp key:
conf/ijcai/Trave-MassuyesEM01 export record as
dblp key:
export record as
dblp key:
conf/ijcai/GrosclaudeCQ01
Hierarchical Diagnosis and Monitoring
export record as
dblp key:
export record as
dblp key:
Logic Programming and Theorem Proving
Logic Programming
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Theorem Proving
export record as
dblp key:
export record as
dblp key:
Lifeng He :
UNSEARCHMO: Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving.
618-623
export record as
dblp key:
Answer Set Programming
export record as
dblp key:
export record as
dblp key:
Thomas Linke :
Graph Theoretical Characterization and Computation of Answer Sets.
641-648
Logic Programming
export record as
dblp key:
export record as
dblp key:
Fangzhen Lin ,
Jia-Huai You :
Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting.
655-666
Uncertainty amd Probabilistic Reasoning
Probabilistic Reasoning
export record as
dblp key:
export record as
dblp key:
Factored Markov Decision Procedures
export record as
dblp key:
export record as
dblp key:
Markov Decision Processes
export record as
dblp key:
export record as
dblp key:
Uncertainty
export record as
dblp key:
Adriana Zapico :
Weakening Commensurability Hypothesis in Possibilistic Qualitative Decision Theory.
717-722
export record as
dblp key:
Probabilistic Reasoning
export record as
dblp key:
Avi Pfeffer :
IBAL: A Probabilistic Rational Programming Language.
733-740
export record as
dblp key:
export record as
dblp key:
Wilhelm Rödder :
Knowledge Processing under Information Fidelity.
749-754
export record as
dblp key:
Manfred Jaeger :
Constraints as Data: A New Perspective on Inferring Probabilities.
755-764
Neural Networks and Genetic Algorithms
Neural Networks
export record as
dblp key:
export record as
dblp key:
Benjamin W. Wah ,
Minglun Qian :
Violation-Guided Learning for Constrained Formulations in Neural-Network Time-Series Predictions.
771-776
export record as
dblp key:
Fredrik Linåker ,
Henrik Jacobsson :
Mobile Robot Learning of Delayed Response Tasks through Event Extraction: A Solution to the Road Sign Problem and Beyond.
777-782
export record as
dblp key:
export record as
dblp key:
Neural Networks and Genetic Algorithms
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Machine Learning and Data Mining
Reinforcement Learning and Multi-Agent Systems
export record as
dblp key:
export record as
dblp key:
Reinforcement Learning / Robotics
export record as
dblp key:
export record as
dblp key:
Inductive Logic Programming
export record as
dblp key:
export record as
dblp key:
Luc De Raedt ,
Stefan Kramer :
The Levelwise Version Space Algorithm and its Application to Molecular Fragment Finding.
853-862
Probabilistic Learning
export record as
dblp key:
export record as
dblp key:
Machine Learning and Data Mining
export record as
dblp key:
export record as
dblp key:
conf/ijcai/MacskassyHBD01 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/ijcai/Saar-TsechanskyP01
Machine Learning
export record as
dblp key:
export record as
dblp key:
Knowledge Acquisition
export record as
dblp key:
export record as
dblp key:
Jim Blythe :
Integrating Expectations from Different Sources to Help End Users Acquire Procedural Knowledge.
943-952
Reinforcement Learning
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Machine Learning and Data Mining
export record as
dblp key:
Charles Elkan :
The Foundations of Cost-Sensitive Learning.
973-978
export record as
dblp key:
Case-Based Reasoning
export record as
dblp key:
export record as
dblp key:
David McSherry :
Minimizing Dialog Length in Interactive Case-Based Reasoning.
993-998
export record as
dblp key:
conf/ijcai/Munoz-AvilaANWBY01 export record as
dblp key:
export record as
dblp key:
Multi-Agent Systems
Multi-Agent Games
export record as
dblp key:
export record as
dblp key:
Multi-Agent Systems
export record as
dblp key:
Lifelike Characters
export record as
dblp key:
export record as
dblp key:
Cooperative Behavior
export record as
dblp key:
export record as
dblp key:
Multi-Agent Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/ijcai/ArdissonoGPS01 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/ijcai/Azoulay-SchwartzK01 export record as
dblp key:
Market Mechanisms
export record as
dblp key:
export record as
dblp key:
Multi-Agent Systems
export record as
dblp key:
export record as
dblp key:
User Interfaces
export record as
dblp key:
export record as
dblp key:
Multi-Agent Systems Applications
export record as
dblp key:
export record as
dblp key:
Multi-Agent Systems
export record as
dblp key:
export record as
dblp key:
Natural Language Processing and Information Retrieval
Natural Language Generation
export record as
dblp key:
export record as
dblp key:
Kalina Bontcheva ,
Yorick Wilks :
Dealing with Dependencies between Content Planning and Surface Realisation in a Pipeline Generation Architecture.
1235-1240
export record as
dblp key:
Natural Language - Learning for Information Extraction
export record as
dblp key:
Fabio Ciravegna :
Adaptive Information Extraction from Text by Rule Induction and Generalisation.
1251-1256
export record as
dblp key:
Dan Roth ,
Wen-tau Yih :
Relational Learning via Propositional Algorithms: An Information Extraction Case Study.
1257-1263
export record as
dblp key:
Thierry Poibeau :
Deriving a multi-domain information extraction system from a rough ontology.
1264-1272
Information Extraction and Retrieval
export record as
dblp key:
Soumya Ray ,
Mark Craven :
Representing Sentence Structure in Hidden Markov Models for Information Extraction.
1273-1279
export record as
dblp key:
export record as
dblp key:
Natural Language Explanation and Argumentation
export record as
dblp key:
Armin Fiedler :
Dialog-driven Adaptation of Explanations of Proofs.
1295-1300
export record as
dblp key:
export record as
dblp key:
Statistical Processing of Natural Language Grammars
export record as
dblp key:
export record as
dblp key:
Robotics and Perception
Robotics
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Vision
export record as
dblp key:
Sven Behnke :
Learning Iterative Image Reconstruction.
1353-1358
export record as
dblp key:
export record as
dblp key:
Vision I
export record as
dblp key:
export record as
dblp key:
Vision II
export record as
dblp key:
export record as
dblp key:
Perception
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Web Applications
Web Applications
export record as
dblp key:
export record as
dblp key:
Hideo Shimazu :
ExpertClerk: Navigating Shoppers Buying Process with the Combination of Asking and Proposing.
1443-1450
Web Search
export record as
dblp key:
export record as
dblp key:
Invited Papers
export record as
dblp key:
Philip R. Cohen :
Multimodal Interaction: A new focal area for AI.
1467-1473
export record as
dblp key:
Joseph Y. Halpern :
Plausibility Measures: A General Approach For Representing Uncertainty.
1474-1483
export record as
dblp key:
Wolfgang Wahlster :
Robust Translation of Spontaneous Speech: A Multi-Engine Approach.
1484-1493
data released under the ODC-BY 1.0 license
