16. IJCAI 1999:
Stockholm,
Sweden
Thomas Dean (Ed.):
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages.
Morgan Kaufmann 1999, ISBN 1-55860-613-0 BibTeX
@proceedings{DBLP:conf/ijcai/99,
editor = {Thomas Dean},
title = {Proceedings of the Sixteenth International Joint Conference on
Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31
- August 6, 1999. 2 Volumes, 1450 pages},
publisher = {Morgan Kaufmann},
year = {1999},
isbn = {1-55860-613-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
VOLUME 1
Automated Reasoning
Theorem Proving
Nonmonotonic Reasoning 1
Nonmonotonic Reasoning 2
Nonmonotonic Reasoning 3:
Model Checking Methods
Description Logics 1
Description Logics 2
Semantics and Models
Reasoning about Action 1
Reasoning about Action 2
Belief Revision
Resource-Bounded Reasoning
Case-Based Reasoning
Case-Based Reasoning 1
Case-Based Reasoning 2
Challenge Papers
Challenge Papers 1
Challenge Papers 2:
Propositional Reasoning and Search
Challenge Papers 3:
Propositional Reasoning and Search / Planning
Challenge Papers 4:
Bridging Plan Synthesis Paradigms
Cognitive Modeling
Cognitive Modeling 1
Cognitive Modeling 2
- Armin Fiedler:
Using a Cognitive Architecture to Plan Dialogs for the Adaptive Explanation of Proofs.
358-363 BibTeX
- Bart G. de Boer:
Investigating the Emergence of Speech Sounds.
364-369 BibTeX
- Filippo Neri:
Computer Aided Tracing of Children?s Physics Learning: a Teacher Oriented View.
370-377 BibTeX
Cognitive Modeling 3:
Spatial Reasoning
Constraint Satisfaction
Constraint Satisfaction 1
Constraint Satisfaction 2
Constraint Satisfaction 3
Constraint Satisfaction 4
Distributed AI
Multi-Agent Systems 1
Multi-Agent Systems 2
Economic Models 1
Economic Models 2:
Auctions
Computer Game Playing
Game Playing 1
Game Playing 2
- Martin Müller:
Decomposition Search: A Combinatorial Games Approach to Game Tree Search, with Applications to Solving Go Endgames.
578-583 BibTeX
- Matthew L. Ginsberg:
GIB: Steps Toward an Expert-Level Bridge-Playing Program.
584-593 BibTeX
Knowledge-Based Applications
Applications 1
Applications 2
Applications 3
VOLUME 2
Machine Learning
Learning for Information Retrieval 1
Learning for Information Retrieval 2
Classification Learning 1
Classification Learning 2:
Support Vector Machines
Reinforcement Learning 1
Reinforcement Learning 2:
Applications
Automated Discovery
Data Mining
Neural Networks 1
Neural Networks 2
Hybrid systems:
Neural and Symbolic Processing
Natural Language Processing
Natural Language Processing 1
Natural Language Processing 2
- Mark Stevenson, Yorick Wilks:
Combining Weak Knowledge Sources for Sense Disambiguation.
884-889 BibTeX
- Fabio Ciravegna, Alberto Lavelli, Luca Gilardoni, Johannes Matiasek, Nadia Mana, Silvia Mazza, Massimo Ferraro, William J. Black, Fabio Rinaldi, David Mowatt:
FACILE: Classifying Texts Integrating Pattern Matching and Information Extraction.
890-897 BibTeX
Natural Language Processing 3:
Learning
Natural Language Processing 4:
Information Retrieval
Planning and Scheduling
Planning 1
Planning 2:
Exploiting Domain Structure
Planning 3:
Disjunctive Planning
Planning 4:
Uncertainty and Time Constraints
Scheduling
Qualitative Reasoning and Diagnosis
Qualitative Reasoning 1
Qualitative Reasoning 2:
Spatial Reasoning
Diagnosis 1
Diagnosis 2
Robotics and Perception
Robotics and Perception 1
Robotics and Perception 2
Robotics and Perception 3
Search
Search 1
Search 2
Genetic Algorithms
Software Agents
Temporal Reasoning
Uncertainty and Probabilistic Reasoning
Decision-Theoretic Applications to Controlling Computation
Probabilistic Reasoning and Learning
Markov Decision Processes 1
Markov Decision Processes 2
Solving Control Problems
Alternative Uncertainty Formalisms
Invited Speakers
Awards
Computers and Thought Award
Research Excellence Award
Copyright © Sat May 16 23:23:27 2009
by Michael Ley (ley@uni-trier.de)