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
- Ricardo Caferra, Stéphane Demri:
Cooperation between Direct Method and Translation Method in Non Classical Logics: Some Results in Propositional S5.
74-79
- Andreas Nonnengart:
First-Order Modal Logic Theorem Proving and Functional Simulation.
80-87
Theorem Proving IV
Theorem Proving V
Theorem Proving VI
Theorem Proving VII
- Antoni Ligeza:
A Note on Backward Dual Resolution and Its Application to Proving Completeness of Rule-Based Systems.
132-137
- Alon Y. Levy, Yehoshua Sagiv:
Exploiting Irrelevance Reasoning to Guide Problem Solving.
138-145
Time and Action I
Time and Action II
Cognitive Modeling
Cognitive Modeling I
Cognitive Modeling II
Cognitive Modeling III
- Lokendra Shastri:
A Computational Model of Tractable Reasoning - Taking Inspiration from Cognition.
202-207
- Trent E. Lange, Charles M. Wharton:
Dynamic Memories: Analysis of an Integrated Comprehension and Episodic Memory Retrieval Model.
208-216
Constraint Satisfaction Problems
Complexity
Consistency
- Olivier Lhomme:
Consistency Techniques for Numeric CSPs.
232-238
- Richard J. Wallace:
Why AC-3 is Almost Always Better than AC4 for Establishing Arc Consistency in CSPs.
239-247
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
- Kei Matsubayashi, Mario Tokoro:
A Collaboration Mechanism on Positive Interactions in Multi-agent Environments.
346-351
- Eiichi Osawa:
A Scheme for Agent Collaboration in Open Multiagent Environments.
352-359
Multi-Agent Collaboration II
Multi-Agent Epistemology I
- Gerhard Lakemeyer:
All They Know: A Study in Multi-Agent Autoepistemic Reasoning.
376-381
- Jacques Wainer:
Epistemic Extension of Propositional Preference Logics.
382-389
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
- Henrik Eriksson:
Specification and Generation of Custom-Tailored Knowledge-Acquisition Tools.
510-518
Knowledge Representation
Belief Revision I
Belief Revision II
Contexts
Default Logics I
Default Logics II
- Stefan Brass:
On the Semantics of Supernormal Defaults.
578-583
- Frans Voorbraak:
Preference-Based Semantics for Nonmonotonic Logics.
584-591
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
- Dan Roth:
On the Hardness of Approximate Reasoning.
613-619
Reasoning Under Uncertainty II
- Didier Dubois, Henri Prade:
Belief Revision and Updates in Numerical Formalisms: An Overview, with new Results for the Possibilistic Framework.
620-625
- Zdenek Zdráhal:
Second Order Measures for Uncertainty Processing.
626-633
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
- Alvaro del Val, Yoav Shoham:
Deriving Properties of Belief Update from Theories of Action (II).
732-737
- Erik Sandewall:
The Range of Applicability of Nonmonotonic Logics for the Inertia Problem.
738-746
Invited Speakers
- Miroslav Benda:
AI Adventures Worth Writing Home About.
747-750
- Les Gasser:
Social Knowledge and Social Action: Heterogeneity in Practice.
751-757
- Ivan M. Havel:
Artificial Thought and Emergent Mind.
758-766
- Hirochika Inoue:
Vision Based Robot Behavior: Tools and Testbeds for Real-World AI Research.
767-773
- Susan J. Lederman:
The Intelligent Hand: An Experimental Approach to Human Object Recognition and Implications for Robotic Design.
774-785
- Nobuyuki Otsu:
Toward Flexible Intelligence: MITI's New Program of Real World Computing.
786-791
- Jeffrey S. Rosenschein:
Consenting Agents: Negotiation Mechanisms for Multi-Agent Systems.
792-799
- Devika Subramanian:
Conceptual Design and Artificial Intelligence.
800-809
- Johan van Benthem:
The Logic of Cognitive Action.
810-812
Awards
- Hiroaki Kitano:
Computers and Thought Award : Challenges of Massive Parallelism.
813-834
VOLUME 2
Logic Programming
Languages for AI
- Mark Tarver:
A Language for Implementing Arbitrary Logics.
839-844
- Pierre Basso:
Conditional Causal Logic: A Formal Theory of the Meaning Generating Processes in a Cognitive System.
845-851
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
Logic Programming I
Logic Programming II
Machine Learning
Analysis
Case Based Reasoning
Combinatorial Problems
- Thomas Ellman:
Abstraction via Approximate Symmetry.
916-921
- Steven Minton:
An Analytic Learning System for Specializing Heuristics.
922-929
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
- Chung Hee Hwang, Lenhart K. Schubert:
Meeting the Interlocking Needs of LF-Computation Deindexing and Inference: An Organic Approach to General NLU.
1297-1303
Understanding II
- Paolo Terenziani:
Integrating Linguistic and Pragmatic Temporal Information in Natural Language Understanding: the case of ``When Sentences''.
1304-1309
- Joachim Quantz:
Interpretation as Exception Minimization.
1310-1318
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
- Subbarao Kambhampati:
On the Utility of Systematicity: Understanding Tradeoffs between Redundancy and Commitment in Partial-ordering Planning.
1380-1387
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
- Marc Riese:
Diagnosis of Communicating Systems: Dealing with Incompleteness and Uncertainty.
1480-1487
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
- Roger C. Schank, Glorianna Davenport, P. Ghislandi, James C. Spohrer, Kathleen Wilson:
AI Multimedia and Education.
1667-1672
- 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
- Hiroaki Kitano, Walther von Hahn, Lawrence Hunter, Ryuichi Oka, Benjamin W. Wah, Toshio Yokoi:
Grand Challenge AI Applications.
1677-1683
- Bonnie L. Webber, Barbara J. Grosz, Shigeoki Hirai, Thomas Rist, Donia Scott:
Instructions: Language and Behavior.
1684-1689
- Franz Barachini, Fumio Hattori, Georg Pauthner, Werner Remmele, Gregg T. Vesonder:
TELECOM and AI: The Emperors New Clothes?
1690-1692
- 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
Videos
- Tsunehiko Suzuki, Ryuji Kudo, Katsunori Ikami, Kentaro Iida, Takao Terano:
QUALTES: A Domain Specific Tool for Electric Power Stations.
1703-1703
- F. Hartmann:
Process Control by an Expert System at The Grandpuits Refinery.
1704-1704
- 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
- Rodney S. Daughtrey, David Michael Brady:
ALEPS: The Automated Logistics Element Planning System.
1706
Copyright © Fri Mar 12 17:16:00 2010
by Michael Ley (ley@uni-trier.de)
