default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th IJCAI 2001: Seattle, Washington, USA
- Bernhard Nebel:
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
- Emilio Remolina, Benjamin Kuipers:
A Logical Account of Causal and Topological Maps. IJCAI 2001: 5-11 - Henrik Grosskreutz, Gerhard Lakemeyer:
On-Line Execution of cc-Golog Plans. IJCAI 2001: 12-18 - Mikhail Soutchanski:
An On-line Decision-Theoretic Golog Interpreter. IJCAI 2001: 19-26
Structure-Based Causality
- Joseph Y. Halpern, Judea Pearl:
Causes and Explanations: A Structural-Model Approach - Part II: Explanations. IJCAI 2001: 27-34 - Thomas Eiter, Thomas Lukasiewicz:
Complexity Results for Structure-Based Causality. IJCAI 2001: 35-42
Spatial Reasoning
- Christopher Bailey-Kellogg, Naren Ramakrishnan:
Ambiguity-Directed Sampling for Qualitative Analysis of Sparse Data from Spatially-Distributed Physical Systems. IJCAI 2001: 43-50 - Jochen Renz:
A Spatial Odyssey of the Interval Algebra: 1. Directed Intervals. IJCAI 2001: 51-56 - David A. Randell, Mark Witkowski, Murray Shanahan:
From Images to Bodies: Modelling and Exploiting Spatial Occlusion and Motion Parallax. IJCAI 2001: 57-66
Qualitative Reasoning for Biological Systems
- Hidde de Jong, Michel Page, Céline Hernandez, Johannes Geiselmann:
Qualitative Simulation of Genetic Regulatory Networks: Method and Application. IJCAI 2001: 67-73 - Ivayla Vatcheva, Olivier Bernard, Hidde de Jong, Jean-Luc Gouzé, Nicolaas J. I. Mars:
Discrimination of Semi-Quantitative Models by Experiment Selection: Method and Application in Population Biology. IJCAI 2001: 74-82
Temporal Reasoning
- Andrei A. Krokhin, Peter Jeavons, Peter Jonsson:
A Complete Classification of Complexity in Allens Algebra in the Presence of a Non-Trivial Basic Relation. IJCAI 2001: 83-88 - Carsten Lutz:
Interval-based Temporal Reasoning with General TBoxes. IJCAI 2001: 89-96
Belief Revision
- Chitta Baral, Yan Zhang:
On the Semantics of Knowledge Update. IJCAI 2001: 97-102 - Pierre Marquis, Nadège Porquet:
Resource-bounded inference from inconsistent belief bases. IJCAI 2001: 103-108 - Salem Benferhat, Souhila Kaci, Daniel Le Berre, Mary-Anne Williams:
Weakening Conflicting Information for Iterated Revision and Knowledge Integration. IJCAI 2001: 109-118
Action and Causality
- Andreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek:
Updates, actions, and planning. IJCAI 2001: 119-124 - Maurice Pagnucco, Pavlos Peppas:
Causality and Minimal Change Demystified. IJCAI 2001: 125-130 - Dongmo Zhang, Norman Y. Foo:
EPDL: A Logic for Causal Reasoning. IJCAI 2001: 131-138
Action
- G. Neelakantan Kartha:
A Circumscriptive Formalization of the Qualification Problem. IJCAI 2001: 139-144 - Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas:
Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas. IJCAI 2001: 145-154
Description Logics
- Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Identification Constraints and Functional Dependencies in Description Logics. IJCAI 2001: 155-160 - Volker Haarslev, Ralf Möller:
High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study. IJCAI 2001: 161-168
Complexity Analysis
- Marco Cadoli, Thomas Eiter, Georg Gottlob:
Complexity of Nested Circumscription and Abnormality Theories. IJCAI 2001: 169-174 - Adnan Darwiche, Pierre Marquis:
A Perspective on Knowledge Compilation. IJCAI 2001: 175-182 - Delbert D. Bailey, Víctor Dalmau, Phokion G. Kolaitis:
Phase Transitions of PP-Complete Satisfiability Problems. IJCAI 2001: 183-192
Description Logics and Conceptual Graphs
- Fabio Massacci:
Decision Procedures for Expressive Description Logics with Intersection, Composition, Converse of Roles and Role Identity. IJCAI 2001: 193-198 - Ian Horrocks, Ulrike Sattler:
Ontology Reasoning in the SHOQ(D) Description Logic. IJCAI 2001: 199-204 - Jean-François Baget, Marie-Laure Mugnier:
The SG Family: Extensions of Simple Conceptual Graphs. IJCAI 2001: 205-212
Description Logics and Formal Concept Analysis
- Franz Baader, Sebastian Brandt, Ralf Küsters:
Matching under Side Conditions in Description Logics. IJCAI 2001: 213-218 - Ralf Küsters, Ralf Molitor:
Computing Least Common Subsumers in ALEN. IJCAI 2001: 219-224 - Gerd Stumme, Alexander Maedche:
FCA-MERGE: Bottom-Up Merging of Ontologies. IJCAI 2001: 225-234
Search, Satisfiability, and Constraint Satisfaction Problems
Search
- Wheeler Ruml:
Incomplete Tree Search using Adaptive Probing. IJCAI 2001: 235-241 - Theodore J. Perkins, Andrew G. Barto:
Heuristic Search in Infinite State Spaces Guided by Lyapunov Analysis. IJCAI 2001: 242-247 - Olivier Dubois, Gilles Dequen:
A backbone-search heuristic for efficient solving of hard 3-SAT formulae. IJCAI 2001: 248-253 - John K. Slaney, Toby Walsh:
Backbones in Optimization and Approximation. IJCAI 2001: 254-259 - Cyril Terrioux:
Cooperative Search and Nogood Recording. IJCAI 2001: 260-265 - Toby Walsh:
Search on High Degree Graphs. IJCAI 2001: 266-274
Satisfiability
- Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Backjumping for Quantified Boolean Logic Satisfiability. IJCAI 2001: 275-281 - Alan M. Frisch, Timothy J. Peugniez:
Solving Non-Boolean Satisfiability Problems with Stochastic Local Search. IJCAI 2001: 282-290
Constraint Satisfaction Problems
- Jean-François Baget, Yannic S. Tognetti:
Backtracking Through Biconnected Components of a Constraint Graph. IJCAI 2001: 291-296 - Micha Janssen, Pascal Van Hentenryck, Yves Deville:
A Constraint Satisfaction Approach to Parametric Differential Equations. IJCAI 2001: 297-302 - Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou:
Improved bounds on the complexity of kB-consistency. IJCAI 2001: 303-308 - Christian Bessière, Jean-Charles Régin:
Refining the Basic Constraint Propagation Algorithm. IJCAI 2001: 309-315 - Yuanlin Zhang, Roland H. C. Yap:
Making AC-3 an Optimal Algorithm. IJCAI 2001: 316-321 - Lina Khatib, Paul H. Morris, Robert A. Morris, Francesca Rossi:
Temporal Constraint Reasoning With Preferences. IJCAI 2001: 322-327 - Michel Vasquez, Jin-Kao Hao:
A Hybrid Approach for the 01 Multidimensional Knapsack problem. IJCAI 2001: 328-333 - Dale Schuurmans, Finnegan Southey, Robert C. Holte:
The Exponentiated Subgradient Algorithm for Heuristic Boolean Programming. IJCAI 2001: 334-341 - Andrew Lim, Wang Ying:
A New Method For The Three Dimensional Container Packing Problem. IJCAI 2001: 342-350
Satisfiability
- Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel:
Balance and Filtering in Structured Satisfiable Problems. IJCAI 2001: 351-358 - Laurent Simon, Alvaro del Val:
Efficient Consequence Finding. IJCAI 2001: 359-370
Cognitive Modeling
Cognitive Modeling - Diagramatic Reasoning
- Christopher G. Healey:
Formalizing Artistic Techniques and Scientific Visualization for Painted Renditions of Complex Information Spaces. IJCAI 2001: 371-376 - Jim Davies, Ashok K. Goel:
Visual Analogy in Problem Solving. IJCAI 2001: 377-384
Cognitive Modeling - Categorization
- Peter Gärdenfors, Mary-Anne Williams:
Reasoning about Categories in Conceptual Spaces. IJCAI 2001: 385-392 - Tony Belpaeme:
Simulating the Formation of Color Categories. IJCAI 2001: 393-400
Cognitive Modeling - Perceptual Grounding
- Josefina Sierra-Santibáñez:
Grounded Models as a Basis for Intuitive Reasoning. IJCAI 2001: 401-406 - Silvia Coradeschi, Alessandro Saffiotti:
Perceptual Anchoring of Symbols for Action. IJCAI 2001: 407-416
Panning
Panning with Forward Search
- Fahiem Bacchus, Michael Ady:
Planning with Resources and Concurrency: A Forward Chaining Approach. IJCAI 2001: 417-424 - Dana S. Nau, Héctor Muñoz-Avila, Yue Cao, Amnon Lotem, Steven Mitchell:
Total-Order Planning with Partially Ordered Subtasks. IJCAI 2001: 425-430 - Lars Karlsson:
Conditional progressive planning under uncertainty. IJCAI 2001: 431-438
Domain Analysis for Planning
- Emmanuel Guere, Rachid Alami:
One action is enough to plan. IJCAI 2001: 439-444 - Maria Fox, Derek Long:
Hybrid STAN: Identifying and Managing Combinatorial Optimisation Sub- problems in Planning. IJCAI 2001: 445-452
Search Heuristics in Planning
- Jörg Hoffmann:
Local Search Topology in Planning Benchmarks: An Empirical Analysis. IJCAI 2001: 453-458 - XuanLong Nguyen, Subbarao Kambhampati:
Reviving Partial Order Planning. IJCAI 2001: 459-466
Planning with Incomplete Information
- Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri:
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning. IJCAI 2001: 467-472 - Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso:
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. IJCAI 2001: 473-478 - Marco Pistore, Paolo Traverso:
Planning as Model Checking for Extended Goals in Non-deterministic Domains. IJCAI 2001: 479-486
Planning with Temporal Uncertainty
- Phil Kim, Brian C. Williams, Mark Abramson:
Executing Reactive, Model-based Programs through Graph-based Temporal Planning. IJCAI 2001: 487-493 - Paul H. Morris, Nicola Muscettola, Thierry Vidal:
Dynamic Control Of Plans With Temporal Uncertainty. IJCAI 2001: 494-502
Complexity of Planning
- Jussi Rintanen:
Complexity of Probabilistic Planning under Average Rewards. IJCAI 2001: 503-508 - Chitta Baral, Vladik Kreinovich, Raul Trejo:
Computational Complexity of Planning with Temporal Goals. IJCAI 2001: 509-514 - Ronen I. Brafman:
A Simplifier for Propositional Formulas with Many Binary Clauses. IJCAI 2001: 515-522
Games
- Tristan Cazenave:
Iterative Widening. IJCAI 2001: 523-528 - Jonathan Schaeffer, Markian Hlynka, Vili Jussila:
Temporal Difference Learning Applied to a High-Performance Game-Playing Program. IJCAI 2001: 529-534 - Jeff L. Stimpson, Michael A. Goodrich, Lawrence C. Walters:
Satisficing and Learning Cooperation in the Prisoner s Dilemma. IJCAI 2001: 535-544
Diagnosis
Diagnosis
- Luca Console, Claudia Picardi, Daniele Theseider Dupré:
Temporal Decision Trees or the lazy ECU vindicated. IJCAI 2001: 545-550 - Louise Travé-Massuyès, Teresa Escobet, Robert Milne:
Model-based Diagnosability and Sensor Placement Application to a Frame 6 Gas Turbine Subsystem. IJCAI 2001: 551-556 - Feng Zhao, Xenofon D. Koutsoukos, Horst W. Haussecker, James Reich, Patrick Cheung, Claudia Picardi:
Distributed Monitoring of Hybrid Systems: A model-directed approach. IJCAI 2001: 557-564 - Irène Grosclaude, Marie-Odile Cordier, Rene Quiniou:
Causal interaction: from a high-level representation to an operational event-based representation. IJCAI 2001: 565-572
Hierarchical Diagnosis and Monitoring
- Luca Chittaro, Roberto Ranon:
Hierarchical Diagnosis Guided by Observations. IJCAI 2001: 573-578 - Brian C. Williams, Seung Chung, Vineet Gupta:
Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior. IJCAI 2001: 579-590
Logic Programming and Theorem Proving
Logic Programming
- Antonis C. Kakas, Bert Van Nuffelen, Marc Denecker:
A-System: Problem Solving through Abduction. IJCAI 2001: 591-596 - Torsten Schaub, Kewen Wang:
A Comparative Study of Logic Programs with Preference. IJCAI 2001: 597-602 - Piero A. Bonatti:
Reasoning with infinite stable models. IJCAI 2001: 603-610
Theorem Proving
- Alexandre Riazanov, Andrei Voronkov:
Splitting Without Backtracking. IJCAI 2001: 611-617 - Lifeng He:
UNSEARCHMO: Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving. IJCAI 2001: 618-623 - Sheila A. McIlraith, Eyal Amir:
Theorem Proving with Structured Theories. IJCAI 2001: 624-634
Answer Set Programming
- Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Experimenting with Heuristics for Answer Set Programming. IJCAI 2001: 635-640 - Thomas Linke:
Graph Theoretical Characterization and Computation of Answer Sets. IJCAI 2001: 641-648
Logic Programming
- Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
A Framework for Declarative Update Specifications in Logic Programs. IJCAI 2001: 649-654 - Fangzhen Lin, Jia-Huai You:
Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting. IJCAI 2001: 655-666
Uncertainty amd Probabilistic Reasoning
Probabilistic Reasoning
- Silja Renooij, Simon Parsons, Linda C. van der Gaag:
Context-specific Sign-propagation in Qualitative Probabilistic Networks. IJCAI 2001: 667-672 - Carlos Guestrin, Daphne Koller, Ronald Parr:
Max-norm Projections for Factored MDPs. IJCAI 2001: 673-682
Factored Markov Decision Procedures
- Kee-Eung Kim, Thomas L. Dean:
Solving Factored MDPs via Non-Homogeneous Partitioning. IJCAI 2001: 683-689 - Craig Boutilier, Raymond Reiter, Bob Price:
Symbolic Dynamic Programming for First-Order MDPs. IJCAI 2001: 690-700
Markov Decision Processes
- Stéphane Cardon, Abdel-Illah Mouaddib, Shlomo Zilberstein, Richard Washington:
Adaptive Control of Acyclic Progressive Processing Task Structures. IJCAI 2001: 701-706 - Rong Zhou, Eric A. Hansen:
An Improved Grid-Based Approximation Algorithm for POMDPs. IJCAI 2001: 707-716
Uncertainty
- Adriana Zapico:
Weakening Commensurability Hypothesis in Possibilistic Qualitative Decision Theory. IJCAI 2001: 717-722 - Lluís Godo, Petr Hájek, Francesc Esteva:
A Fuzzy Modal Logic for Belief Functions. IJCAI 2001: 723-732
Probabilistic Reasoning
- Avi Pfeffer:
IBAL: A Probabilistic Rational Programming Language. IJCAI 2001: 733-740 - Hanna Pasula, Stuart Russell:
Approximate inference for first-order probabilistic languages. IJCAI 2001: 741-748 - Wilhelm Rödder:
Knowledge Processing under Information Fidelity. IJCAI 2001: 749-754 - Manfred Jaeger:
Constraints as Data: A New Perspective on Inferring Probabilities. IJCAI 2001: 755-764
Neural Networks and Genetic Algorithms
Neural Networks
- Kenneth McGarry, Stefan Wermter, John MacIntyre:
Knowledge Extraction from Local Function Networks. IJCAI 2001: 765-770 - Benjamin W. Wah, Minglun Qian:
Violation-Guided Learning for Constrained Formulations in Neural-Network Time-Series Predictions. IJCAI 2001: 771-776 - Fredrik Linåker, Henrik Jacobsson:
Mobile Robot Learning of Delayed Response Tasks through Event Extraction: A Solution to the Road Sign Problem and Beyond. IJCAI 2001: 777-782 - Raymond S. T. Lee, James N. K. Liu:
NORN Finance Forecaster - A Neural Oscillatory-based Recurrent Network for Finance Prediction. IJCAI 2001: 783-788 - Shenshan Qiu, Eric C. C. Tsang, Daniel S. Yeung, Xizhao Wang:
A General Updating Rule for Discrete Hopfield-Type Neural Network with Delay. IJCAI 2001: 789-796
Neural Networks and Genetic Algorithms
- Zhi-Hua Zhou, Jianxin Wu, Yuan Jiang, Shifu Chen:
Genetic Algorithm based Selective Neural Network Ensemble. IJCAI 2001: 797-802 - Chew Lim Tan, Henry Wai Kit Chia:
Neural Logic Network Learning using Genetic Programming. IJCAI 2001: 803-808 - Daniel S. Yeung, Xuequan Sun, Xiaoqin Zeng:
Sensitivity Analysis of Multilayer Perceptron. IJCAI 2001: 809-818
Machine Learning and Data Mining
Reinforcement Learning and Multi-Agent Systems
- David H. Wolpert, Joseph Sill, Kagan Tumer:
Reinforcement Learning in Distributed Domains: Beyond Team Games. IJCAI 2001: 819-824 - Bikramjit Banerjee, Sandip Sen, Jing Peng:
Fast Concurrent Reinforcement Learners. IJCAI 2001: 825-832
Reinforcement Learning / Robotics
- Alain Dutech, Olivier Buffet, François Charpillet:
Multi-Agent Systems by Incremental Gradient Reinforcement Learning. IJCAI 2001: 833-838 - Michael T. Rosenstein, Andrew G. Barto:
Robot Weightlifting By Direct Policy Search. IJCAI 2001: 839-846
Inductive Logic Programming
- Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Giovanni Semeraro:
OI-implication: Soundness and Refutation Completeness. IJCAI 2001: 847-852 - Luc De Raedt, Stefan Kramer:
The Levelwise Version Space Algorithm and its Application to Molecular Fragment Finding. IJCAI 2001: 853-862
Probabilistic Learning
- Simon Tong, Daphne Koller:
Active Learning for Structure in Bayesian Networks. IJCAI 2001: 863-869 - Benjamin Taskar, Eran Segal, Daphne Koller:
Probabilistic Classification and Clustering in Relational Data. IJCAI 2001: 870-878
Machine Learning and Data Mining
- Corin R. Anderson, Pedro M. Domingos, Daniel S. Weld:
Adaptive Web Navigation for Wireless Devices. IJCAI 2001: 879-884 - Sofus A. Macskassy, Haym Hirsh, Arunava Banerjee, Aynur A. Dayanik:
Using Text Classifiers for Numerical Classification. IJCAI 2001: 885-890 - Siegfried Nijssen, Joost N. Kok:
Faster Association Rules for Multiple Relations. IJCAI 2001: 891-896 - Pascal Soucy, Guy W. Mineau:
A Simple Feature Selection Method for Text Classification. IJCAI 2001: 897-902 - Andrew Y. Ng, Alice X. Zheng, Michael I. Jordan:
Link Analysis, Eigenvectors and Stability. IJCAI 2001: 903-910 - Maytal Saar-Tsechansky, Foster J. Provost:
Active Learning for Class Probability Estimation and Ranking. IJCAI 2001: 911-920
Machine Learning
- Alessandro Serra, Attilio Giordana, Lorenza Saitta:
Learning on the Phase Transition Edge. IJCAI 2001: 921-926 - Fabio Aiolli, Alessandro Sperduti:
A Simple Additive Re-weighting Strategy for Improving Margins. IJCAI 2001: 927-934
Knowledge Acquisition
- Jihie Kim, Yolanda Gil:
Knowledge Analysis on Process Models. IJCAI 2001: 935-942 - Jim Blythe:
Integrating Expectations from Different Sources to Help End Users Acquire Procedural Knowledge. IJCAI 2001: 943-952
Reinforcement Learning
- Ronen I. Brafman, Moshe Tennenholtz:
R-MAX - A General Polynomial Time Algorithm for Near-Optimal Reinforcement Learning. IJCAI 2001: 953-958 - Frédérick Garçia, Florent Serre:
From Q(lambda) to Average Q-learning: Efficient Implementation of an Asymptotic Approximation. IJCAI 2001: 959-964 - Gregory Z. Grudic, Lyle H. Ungar:
Exploiting Multiple Secondary Reinforcers in Policy Gradient Reinforcement Learning. IJCAI 2001: 965-972
Machine Learning and Data Mining
- Charles Elkan:
The Foundations of Cost-Sensitive Learning. IJCAI 2001: 973-978 - Un Yong Nahm, Raymond J. Mooney:
Mining Soft-Matching Rules from Textual Data. IJCAI 2001: 979-986
Case-Based Reasoning
- David W. Aha, Rosina Weber, Héctor Muñoz-Avila, Len Breslow, Kalyan Moy Gupta:
Bridging the Lesson Distribution Gap. IJCAI 2001: 987-992 - David McSherry:
Minimizing Dialog Length in Interactive Case-Based Reasoning. IJCAI 2001: 993-998 - Héctor Muñoz-Avila, David W. Aha, Dana S. Nau, Rosina Weber, Len Breslow, Fusun Yaman:
SiN: Integrating Case-based Reasoning with Task Decomposition. IJCAI 2001: 999-1004