13. IJCAI 1993:
Chambéry,
France
Ruzena Bajcsy (Ed.):
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry,
France,
August 28 -September 3,
1993. Morgan Kaufmann,
1993,
ISBN 1-55860-300-X
VOLUME 1
Automated Reasoning
Abduction I
Abduction II
Deductive Planning and Theory Approximation
Theorem Proving I
Theorem Proving II
Theorem Proving III
Theorem Proving IV
Theorem Proving V
Theorem Proving VI
Theorem Proving VII
Time and Action I
Time and Action II
Cognitive Modeling
Cognitive Modeling I
Cognitive Modeling II
Cognitive Modeling III
Constraint Satisfaction Problems
Complexity
Consistency
Constraint Satisfaction Strategies I
Constraint Satisfaction Strategies II
Overdetermination and Interchangeability
Satisfiability
Distributed AI
Agent Learning
Analysis of Multi-Agent Systems I
Analysis of Multi-Agent Systems II
Multi-Agent Collaboration I
Multi-Agent Collaboration II
Multi-Agent Epistemology I
Multi-Agent Epistemology II
Multi-Agent Logic Programming
Mult-Agent Negotiation I
Multi-Agent Negotiation II
Intelligent Tuoring Systems
Intelligent Tuoring Systems I
Intelligent Tuoring Systems II
Knowledge Base Technology
Knowledge Base Technology I
Knowledge Base Technology II
Knowledge Base Technology III
- Brian R. Gaines:
A Class Library Implementation of a Principled Open Architecture Knowledge Representation Server with Plug-in Data Types.
504-509 BibTeX
- Henrik Eriksson:
Specification and Generation of Custom-Tailored Knowledge-Acquisition Tools.
510-518 BibTeX
Knowledge Representation
Belief Revision I
Belief Revision II
Contexts
Default Logics I
Default Logics II
Evidential Reasoning
Reasoning Under Uncertainty I
- David Poole:
Average-Case Analysis of a Search Algorithm for Estimating Prior and Posterior Probabilities in Bayesian Networks with Extreme Probabilities.
606-612 BibTeX
- Dan Roth:
On the Hardness of Approximate Reasoning.
613-619 BibTeX
Reasoning Under Uncertainty II
Reasoning with Inconsistent or Disjunctive Information
Temporal Reasoning
Terminological Logic I
Terminological Logic II
Terminological Logic III
Terminological Logic IV
Theory of Action I
Theory of Action II
Invited Speakers
Awards
VOLUME 2
Logic Programming
Languages for AI
- Mark Tarver:
A Language for Implementing Arbitrary Logics.
839-844 BibTeX
- Pierre Basso:
Conditional Causal Logic: A Formal Theory of the Meaning Generating Processes in a Cognitive System.
845-851 BibTeX
Logic Programming and Automated Logic Debugging
- Phan Minh Dung:
On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming.
852-859 BibTeX
Logic Programming I
Logic Programming II
Machine Learning
Analysis
Case Based Reasoning
Combinatorial Problems
Combined Learning Methods
Complex Concept Acquisition
Genetic Algorithms
Improving Behavior
Induction
Induction of Decision Trees
Induction with Continuous Attributes
Inductive Logic Programming I
Inductive Logic Programming II
Inductive Logic Programming III
Learning and Statistics
Learning from the Environment
Search Control
Sequence Learning and Production
Theory Revision
Natural Language
Acquisition
Applications I
Applications II
Discourse/Dialogue
Explanation
Linguistic Issues
Multimedia I
Multimedia II
Non-printed Natural Language Understanding
Translation
Understanding I
- Dekai Wu:
Approximating Maximum-Entropy Ratings for Evidential Parsing and Semantic Interpretation.
1290-1296 BibTeX
- Chung Hee Hwang, Lenhart K. Schubert:
Meeting the Interlocking Needs of LF-Computation Deindexing and Inference: An Organic Approach to General NLU.
1297-1303 BibTeX
Understanding II
- Paolo Terenziani:
Integrating Linguistic and Pragmatic Temporal Information in Natural Language Understanding: the case of ``When Sentences''.
1304-1309 BibTeX
- Joachim Quantz:
Interpretation as Exception Minimization.
1310-1318 BibTeX
Neural Networks
Neural Networks and Parallel AI
Neural Networks and Reasoning I
Neural Networks and Reasoning II
Neural Networks and Symbolic AI
Planning
Efficiency in Planning
- Eugene Fink, Qiang Yang:
Characterizing and Automatically Finding Primary Effects in Planning.
1374-1379 BibTeX
- Subbarao Kambhampati:
On the Utility of Systematicity: Understanding Tradeoffs between Redundancy and Commitment in Partial-ordering Planning.
1380-1387 BibTeX
Multilevel Planning
Planning and Action
Planning and Scheduling
Planning Complexity
Qualitative Reasoning and Naive Physics
Design
Diagnosis I
Diagnosis II
- Gautam Biswas, Xudong Yu:
A Formal Modeling Scheme for Continuous Systems: Focus on Diagnosis.
1474-1479 BibTeX
- Marc Riese:
Diagnosis of Communicating Systems: Dealing with Incompleteness and Uncertainty.
1480-1487 BibTeX
Diagnosis III
Modeling and Symbolic Reasoning
Simulation I
Simulation II
Spatial Reasoning
Spatial Reasoning and Planning
Robotics and Vision
Active Vision
Homing,
Path Planning
Visual Motion Understanding I
Visual Motion Understanding II
Visual Navigation,
Maps I
Visual Navigation,
Maps II
Panels
- Michael J. Black, Yiannis Aloimonos, Christopher M. Brown, Ian Horswill, Jitendra Malik, Giulio Sandini, Michael J. Tarr:
Action Representation and Purpose: Re-evaluating the Foundations of Computational Vision.
1661-1666 BibTeX
- Roger C. Schank, Glorianna Davenport, P. Ghislandi, James C. Spohrer, Kathleen Wilson:
AI Multimedia and Education.
1667-1672 BibTeX
- John Yen, Piero P. Bonissone, Didier Dubois, Christian Freksa, Ramon López de Mántaras, Enrique H. Ruspini, Lotfi A. Zadeh:
Fuzzy Logic and AI.
1673-1676 BibTeX
- Hiroaki Kitano, Walther von Hahn, Lawrence Hunter, Ryuichi Oka, Benjamin W. Wah, Toshio Yokoi:
Grand Challenge AI Applications.
1677-1683 BibTeX
- Bonnie L. Webber, Barbara J. Grosz, Shigeoki Hirai, Thomas Rist, Donia Scott:
Instructions: Language and Behavior.
1684-1689 BibTeX
- Franz Barachini, Fumio Hattori, Georg Pauthner, Werner Remmele, Gregg T. Vesonder:
TELECOM and AI: The Emperors New Clothes?
1690-1692 BibTeX
- Sven J. Dickinson, Robert Bergevin, Irving Biederman, Jan-Olof Eklundh, Roger Munck-Fairwood, Alex Pentland:
The Use of Geons for Generic 3D Object Recognition.
1693-1702 BibTeX
Videos
- Tsunehiko Suzuki, Ryuji Kudo, Katsunori Ikami, Kentaro Iida, Takao Terano:
QUALTES: A Domain Specific Tool for Electric Power Stations.
1703-1703 BibTeX
- F. Hartmann:
Process Control by an Expert System at The Grandpuits Refinery.
1704-1704 BibTeX
- Gen-ichiro Kikui, Mark Seligman, Toshiyuki Takezawa, Masami Suzuki, Kenji Kita, Tsuyoshi Morimoto, Masaaki Nagata, Toshihisa Tashiro, Herbert Tropf, Shigeki Sagayama, Jun-ichi Takami, Kazumi Ohkura, Akira Kurematsu:
Spoken Language Translation System.
1705-1705 BibTeX
- Rodney S. Daughtrey, David Michael Brady:
ALEPS: The Automated Logistics Element Planning System.
1706 BibTeX
Copyright © Sat May 16 23:23:26 2009
by Michael Ley (ley@uni-trier.de)
