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 BibTeX
@proceedings{DBLP:conf/ijcai/2001,
editor = {Bernhard Nebel},
title = {Proceedings of the Seventeenth International Joint Conference
on Artificial Intelligence, IJCAI 2001, Seattle, Washington,
USA, August 4-10, 2001},
booktitle = {IJCAI},
publisher = {Morgan Kaufmann},
year = {2001},
isbn = {1-55860-777-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
VOLUME 1
Knowledge Representation and Reasoning
Cognitive Robotics
Structure-Based Causality
Spatial Reasoning
Qualitative Reasoning for Biological Systems
Temporal Reasoning
Belief Revision
Action and Causality
Action
Description Logics
Complexity Analysis
Description Logics and Conceptual Graphs
Description Logics and Formal Concept Analysis
Search,
Satisfiability,
and Constraint Satisfaction Problems
Search
Satisfiability
Constraint Satisfaction Problems
- Jean-François Baget, Yannic S. Tognetti:
Backtracking Through Biconnected Components of a Constraint Graph.
291-296 BibTeX
- Micha Janssen, Pascal Van Hentenryck, Yves Deville:
A Constraint Satisfaction Approach to Parametric Differential Equations.
297-302 BibTeX
- Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou:
Improved bounds on the complexity of kB-consistency.
303-308 BibTeX
- Christian Bessière, Jean-Charles Régin:
Refining the Basic Constraint Propagation Algorithm.
309-315 BibTeX
- Yuanlin Zhang, Roland H. C. Yap:
Making AC-3 an Optimal Algorithm.
316-321 BibTeX
- Lina Khatib, Paul H. Morris, Robert A. Morris, Francesca Rossi:
Temporal Constraint Reasoning With Preferences.
322-327 BibTeX
- Michel Vasquez, Jin-Kao Hao:
A Hybrid Approach for the 01 Multidimensional Knapsack problem.
328-333 BibTeX
- Dale Schuurmans, Finnegan Southey, Robert C. Holte:
The Exponentiated Subgradient Algorithm for Heuristic Boolean Programming.
334-341 BibTeX
- Andrew Lim, Wang Ying:
A New Method For The Three Dimensional Container Packing Problem.
342-350 BibTeX
Satisfiability
Cognitive Modeling
Cognitive Modeling - Diagramatic Reasoning
Cognitive Modeling - Categorization
Cognitive Modeling - Perceptual Grounding
Panning
Panning with Forward Search
Domain Analysis for Planning
Search Heuristics in Planning
Planning with Incomplete Information
Planning with Temporal Uncertainty
Complexity of Planning
Games
Diagnosis
Diagnosis
- Luca Console, Claudia Picardi, Daniele Theseider Dupré:
Temporal Decision Trees or the lazy ECU vindicated.
545-550 BibTeX
- Louise Travé-Massuyès, Teresa Escobet, Robert Milne:
Model-based Diagnosability and Sensor Placement Application to a Frame 6 Gas Turbine Subsystem.
551-556 BibTeX
- Feng Zhao, Xenofon D. Koutsoukos, Horst W. Haussecker, James Reich, Patrick Cheung, Claudia Picardi:
Distributed Monitoring of Hybrid Systems: A model-directed approach.
557-564 BibTeX
- Irène Grosclaude, Marie-Odile Cordier, Rene Quiniou:
Causal interaction: from a high-level representation to an operational event-based representation.
565-572 BibTeX
Hierarchical Diagnosis and Monitoring
Logic Programming and Theorem Proving
Logic Programming
Theorem Proving
Answer Set Programming
Logic Programming
Uncertainty amd Probabilistic Reasoning
Probabilistic Reasoning
Factored Markov Decision Procedures
Markov Decision Processes
Uncertainty
Probabilistic Reasoning
VOLUME 2
Neural Networks and Genetic Algorithms
Neural Networks
Neural Networks and Genetic Algorithms
Machine Learning and Data Mining
Reinforcement Learning and Multi-Agent Systems
Reinforcement Learning / Robotics
Inductive Logic Programming
Probabilistic Learning
Machine Learning and Data Mining
- Corin R. Anderson, Pedro Domingos, Daniel S. Weld:
Adaptive Web Navigation for Wireless Devices.
879-884 BibTeX
- Sofus A. Macskassy, Haym Hirsh, Arunava Banerjee, Aynur A. Dayanik:
Using Text Classifiers for Numerical Classification.
885-890 BibTeX
- Siegfried Nijssen, Joost N. Kok:
Faster Association Rules for Multiple Relations.
891-896 BibTeX
- Pascal Soucy, Guy W. Mineau:
A Simple Feature Selection Method for Text Classification.
897-902 BibTeX
- Andrew Y. Ng, Alice X. Zheng, Michael I. Jordan:
Link Analysis, Eigenvectors and Stability.
903-910 BibTeX
- Maytal Saar-Tsechansky, Foster J. Provost:
Active Learning for Class Probability Estimation and Ranking.
911-920 BibTeX
Machine Learning
Knowledge Acquisition
Reinforcement Learning
Machine Learning and Data Mining
Case-Based Reasoning
- David W. Aha, Rosina Weber, Héctor Muñoz-Avila, Len Breslow, Kalyan Moy Gupta:
Bridging the Lesson Distribution Gap.
987-992 BibTeX
- David McSherry:
Minimizing Dialog Length in Interactive Case-Based Reasoning.
993-998 BibTeX
- 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.
999-1004 BibTeX
- Maurizio Panti, Luca Spalazzi, Loris Penserini:
A Distributed Case-Based Query Rewriting.
1005-1010 BibTeX
- Jacek Jarmulak, Susan Craw, Ray Rowe:
Using Case-Base Data to Learn Adaptation Knowledge for Design.
1011-1020 BibTeX
Multi-Agent Systems
Multi-Agent Games
Multi-Agent Systems
Lifelike Characters
Cooperative Behavior
Multi-Agent Systems
- Yoav Shoham, Moshe Tennenholtz:
Fair Imposition.
1083-1088 BibTeX
- Makoto Yokoo, Yuko Sakurai, Shigeo Matsubara:
Robust Multi-unit Auction Protocol against False-name Bids.
1089-1094 BibTeX
- Makoto Yokoo, Yuko Sakurai, Shigeo Matsubara:
Bundle Design in Robust Combinatorial Auction Protocol against False-name Bids.
1095-1101 BibTeX
- Tuomas Sandholm, Subhash Suri, Andrew Gilpin, David Levine:
CABOB: A Fast Optimal Algorithm for Combinatorial Auctions.
1102-1108 BibTeX
- Liliana Ardissono, Anna Goy, Giovanna Petrone, Marino Segnan:
A software architecture for dynamically generated adaptive Web stores.
1109-1114 BibTeX
- Joanna Bryson, Lynn Andrea Stein:
Modularity and Design in Reactive Intelligence.
1115-1120 BibTeX
- Leen-Kiat Soh, Costas Tsatsoulis:
Reflective Negotiating Agents for Real-Time Multisensor Target Tracking.
1121-1127 BibTeX
- Rina Azoulay-Schwartz, Sarit Kraus:
Stable Strategies for Sharing Information among Agents.
1128-1134 BibTeX
- John Yen, Jianwen Yin, Thomas R. Ioerger, Michael S. Miller, Dianxiang Xu, Richard A. Volz:
CAST: Collaborative Agents for Simulating Teamwork.
1135-1144 BibTeX
Market Mechanisms
Multi-Agent Systems
User Interfaces
Multi-Agent Systems Applications
Multi-Agent Systems
Natural Language Processing and Information Retrieval
Natural Language Generation
Natural Language - Learning for Information Extraction
- Fabio Ciravegna:
Adaptive Information Extraction from Text by Rule Induction and Generalisation.
1251-1256 BibTeX
- Dan Roth, Wen-tau Yih:
Relational Learning via Propositional Algorithms: An Information Extraction Case Study.
1257-1263 BibTeX
- Thierry Poibeau:
Deriving a multi-domain information extraction system from a rough ontology.
1264-1272 BibTeX
Information Extraction and Retrieval
Natural Language Explanation and Argumentation
Statistical Processing of Natural Language Grammars
Robotics and Perception
Robotics
Vision
Vision I
Vision II
Perception
Web Applications
Web Applications
James N. K. Liu,
Raymond S. T. Lee,
Jane You:
A Web-based Intelligent System for the Daya Bay Contingency Plan in Hong Kong. 1437-1442
- Hideo Shimazu:
ExpertClerk: Navigating Shoppers Buying Process with the Combination of Asking and Proposing.
1443-1450 BibTeX
Web Search
Invited Papers
Copyright © Sat May 16 23:23:28 2009
by Michael Ley (ley@uni-trier.de)
