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 
@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
- David McSherry:
Demand-Driven Discovery of Adaptation Knowledge.
222-227
- Zhong Zhang, Qiang Yang:
Dynamic Refinement of Feature Weights Using Quantitative Introspective Learning.
228-233
- Jun Zhu, Qiang Yang:
Remembering to Add: Competence-preserving Case-Addition Policies for Case Base Maintenance.
234-241
Case-Based Reasoning 2
Challenge Papers
Challenge Papers 1
Challenge Papers 2:
Propositional Reasoning and Search
- Adnan Darwiche:
Compiling Knowledge into Decomposable Negation Normal Form.
284-289
- Fabio Massacci:
Using Walk-SAT and Rel-Sat for Cryptographic Key Search.
290-295
- Holger H. Hoos:
SAT-Encodings, Search Space Structure, and Local Search Performance.
296-303
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
- Bart G. de Boer:
Investigating the Emergence of Speech Sounds.
364-369
- Filippo Neri:
Computer Aided Tracing of Children?s Physics Learning: a Teacher Oriented View.
370-377
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
- Matthew L. Ginsberg:
GIB: Steps Toward an Expert-Level Bridge-Playing Program.
584-593
Knowledge-Based Applications
Applications 1
- Andrew Lim:
An Effective Ship Berthing Algorithm.
594-599
- Ian D. Watson, Dan Gardingen:
A Distributed Case-Based Reasoning Application for Engineering Sales Support.
600-605
- Liviu Badea:
Knowledge Modeling and Reusability in ExClaim.
606-613
Applications 2
Applications 3
VOLUME 2
Machine Learning
Learning for Information Retrieval 1
Learning for Information Retrieval 2
Classification Learning 1
- Geoffrey I. Webb:
Decision Tree Grafting From the All Tests But One Partition.
702-707
- Michèle Sebag:
Constructive Induction: A Version Space-based Approach.
708-713
- Pedro Domingos:
Process-Oriented Estimation of Generalization Error.
714-721
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
- 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
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
- Adnan Darwiche:
Utilizing Device Behavior in Structure-Based Diagnosis.
1096-1101
- Songwen Xu, Yam San Chee:
Automatic Diagnosis of Student Programs in Programming Learning Environments.
1102-1107
- Yousri El Fattah:
Structured Modeling Language for Automated Modeling in Causal Networks.
1108-1117
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
- Minoru Asada, Henrik I. Christensen:
Robotics in the Home, Office, and Playing Field.
1385-1392
- Luca Console, Oskar Dressler:
Model-based Diagnosis in the Real World: Lessons Learned and Challenges Remaining.
1393-1400
- Robert E. Schapire:
A Brief Introduction to Boosting.
1401-1406
- Donia Scott:
The Multilingual Generation Game: Authoring Fluent Texts in Unfamiliar Languages.
1407-1411
- Oliviero Stock:
Was the Title of This Talk Gernerated Automatically? Prospects on Intelligent Interfaces and Language.
1412-1419
- Moshe Tennenholtz:
Electronic Commerce: From Economic and Game-Theoretic Models to Working Protocols.
1420-1428
Awards
Computers and Thought Award
Research Excellence Award
- Judea Pearl:
Reasoning with Cause and Effect.
1437-1449
Copyright © Fri Mar 12 17:16:01 2010
by Michael Ley (ley@uni-trier.de)
