Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th IJCAI 1993: Chambéry, France
- Ruzena Bajcsy:
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
- Kave Eshghi:
A Tractable Class of Abduction Problems. 3-8 - Gerhard Brewka, Kurt Konolige:
An Abductive Framework for General Logic Programs and other Nonmonotonic Systems. 9-17
Abduction II
- Olivier Raiman, Johan de Kleer, Vijay A. Saraswat:
Critical Reasoning. 18-23 - David B. Leake:
Focusing Construction and Selection of Abductive Hypotheses. 24-31
Deductive Planning and Theory Approximation
- Werner Stephan, Susanne Biundo:
A New Logical framework for Deductive Planning. 32-38 - Marco Cadoli:
Semantical and Computational Aspects of Horn Approximations. 39-45
Theorem Proving I
- Teow-Hin Ngair:
A New Algorithm for Incremental Prime Implicate Generation. 46-51 - Masayuki Fujita, John K. Slaney, Frank Bennett:
Automatic Generation of Some Results in Finite Algebra. 52-59
Theorem Proving II
- Christoph Weidenbach:
Extending the Resolution Method with Sorts. 60-65 - Laurence Cholvy:
Proving Theorems in a Multi-Source Environment. 66-73
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
- Adel Bouhoula, Michaël Rusinowitch:
Automatic Case Analysis in Proof by Induction. 88-94 - Christoph Walther:
Combining Induction Axioms by Machine. 95-101
Theorem Proving V
- Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Makoto Nakashima:
Bottom-up Abduction by Model Generation. 102-108 - John K. Slaney:
SCOTT: A Model-Guided Theorem Prover. 109-115
Theorem Proving VI
- David A. Basin, Toby Walsh:
Difference Unification. 116-122 - Reinhold Letz:
On the Polynomial Transparency of Resolution. 123-131
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
- Ira J. Haimowitz, Isaac S. Kohane:
Automated Trend Detection with Alternate Temporal Hypotheses. 146-151 - Mike Williamson, Steve Hanks:
Exploiting Domain structure to Achieve Efficient Temporal Reasoning. 152-159
Time and Action II
- Murray Shanahan:
Explanation in the Situation Calculus. 160-165 - Christophe Dousson, Paul Gaborit, Malik Ghallab:
Situation Recognition: Representation and Algorithms. 166-174
Cognitive Modeling
Cognitive Modeling I
- Jörg R. J. Schirra, Eva Stopp:
ANTLIMA - A Listener Model with Mental Images. 175-180 - Edmund Furse, Rod Nicolson:
Perception and Experience in Problem Solving. 181-187
Cognitive Modeling II
- Kieron O'Hara, Nigel Shadbolt:
AI Models as a Variety of Psychological Explanation. 188-193 - Clark Elliott:
Using the Affective Reasoner to Support Social Simulations. 194-201
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
- Andreas L. Köll, Hermann Kaindl:
Bidirectional Best-First Search with Bounded Error: Summary of Results. 217-223 - Philippe David:
When Functional and Bijective Constraints Make a CSP Polynomial. 224-231
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
- Alexander Reinefeld:
Complete Solution of the Eight-Puzzle and the Benefit of Node Ordering in IDA. 248-253 - Eugene C. Freuder, Paul D. Hubbe:
Using Inferred Disjunctive Constraints To Decompose Constraint Satisfaction Problems. 254-261
Constraint Satisfaction Strategies II
- Patrick Prosser:
Domain Filtering can Degrade Intelligent Backtracking Search. 262-267 - Kinson Ho, Paul N. Hilfinger, Hans W. Guesgen:
Optimistic Parallel biscrete Relaxation. 268-275
Overdetermination and Interchangeability
- R. R. Bakker, F. Dikker, F. Tempelman, P. M. Wognum:
Diagnosing and Solving Over-Determined Constraint Satisfaction Problems. 276-281 - Alois Haselböck:
Exploiting Interchangeabilities in Constraint-Satisfaction Problems. 282-289
Satisfiability
- Bart Selman, Henry A. Kautz:
Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems. 290-295 - Henri Beringer, Bruno De Backer:
Satisfiability of Boolean Formulas over Linear Constraints. 296-304
Distributed AI
Agent Learning
- Richard Alterman, Roland Zito-Wolf:
Agents Habitats and Routine Behavior. 305-310 - Gerhard Weiss:
Learning to Coordinate Actions in Multi-Agent-Systems. 311-317
Analysis of Multi-Agent Systems I
- Anand S. Rao, Michael P. Georgeff:
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems. 318-324 - Hans-Dieter Burkhard:
Liveness and Fairness Properties in Multi-Agent Systems. 325-331
Analysis of Multi-Agent Systems II
- Ursula M. Schwuttke, Alan G. Quan:
Enhancing Performance of Cooperating Agents in Real-Time Diagnostic Systems. 332-337 - Stuart J. Russell, Devika Subramanian, Ronald Parr:
Provably Bounded Optimal Agents. 338-345
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
- Keith Decker, Victor R. Lesser:
An Approach to Analyzing the Need for Meta-Level Communication. 360-366 - Barbara J. Grosz, Sarit Kraus:
Collaborative Plans for Group Activities. 367-375
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
- Kurt Konolige, Martha E. Pollack:
A Representationalist Theory of Intention. 390-395 - Piotr J. Gmytrasiewicz, Edmund H. Durfee:
Elements of a Utilitarian Theory of Knowledge and Action. 396-403
Multi-Agent Logic Programming
- Martin Henz, Gert Smolka, Jörg Würtz:
Oz - A Programming Language for Multi-Agent Systems. 404-409 - Xianchang Wang, Huowang Chen, Quingping Zhao, Wei Li:
W - A Logic System Based on the Shared Common Knowledge Views. 410-415
Mult-Agent Negotiation I
- Gilad Zlotkin, Jeffrey S. Rosenschein:
A Domain Theory for Task Oriented Negotiation. 416-422 - Eithan Ephrati, Jeffrey S. Rosenschein:
Multi-Agent Planning as a Dynamic Search for Social Consensus. 423-431
Multi-Agent Negotiation II
- Kevin Knight:
Are Many Reactive Agents Better Than a Few Deliberative Ones? 432-437 - Susan E. Lander, Victor R. Lesser:
Understanding the Role of Negotiation in Distributed Search Among Heterogereous Agents. 438-446
Intelligent Tuoring Systems
Intelligent Tuoring Systems I
- Kwok-Keung Yum, Thomas J. Richards:
Classification Networks: A Knowledge Representation Scheme for Curriculum Prescription. 447-452 - Richard Allen, Jeanne Idt, Laurent Trilling:
Constraint Based Automatic Construction and Manipulation of Geometric Figures. 453-459
Intelligent Tuoring Systems II
- Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul:
PHI - A Logic-Based Tool for Intelligent Help Systems. 460-466 - Mitsuru Ikeda, Yasuyuki Kono, Riichiro Mizoguchi:
Nonmonotonic Model Inference-A Formalization of Student Modeling. 467-476
Knowledge Base Technology
Knowledge Base Technology I
- Pedro Meseguer:
Expert System Validation through Knowledge Base Refinement. 477-482 - Laurence Vignollet, Ruddy Lelouche:
Test Case Generation using KBS Strategy. 483-489
Knowledge Base Technology II
- Yoram Moses, Moshe Tennenholtz:
Off-line Reasoning for On-line Efficiency. 490-495 - Jacques Bouaud:
TREE: the Heuristic Driven Join Strategy of a RETE-Like Matcher. 496-503
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
- Craig Boutilier:
Revision Sequences and Nested Conditionals. 519-525 - Thomas Eiter, Georg Gottlob:
The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions. 526-533
Belief Revision II
- Simon Dixon, Norman Y. Foo:
Connections Between the ATMS and AGM Belief Revision. 534-539 - Alvaro del Val:
Syntactic Characterizations of Belief Change Operators. 540-547
Contexts
- Fausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, Marcello Frixione:
Non-Omniscient Belief as Context-Based Resoning. 548-554 - John McCarthy:
Notes on Formalizing Context. 555-562
Default Logics I
- Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
Statistical Foundations for Default Reasoning. 563-569 - Georg Gottlob:
The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic. 570-577
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
- J. W. Guan, David A. Bell:
Generalization of the Dempster-Shafer Theory. 592-597 - Philippe Smets:
Quantifying Beliefs by Belief Functions: An Axiomatic Justification. 598-605
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
- Thomas Eiter, Georg Gottlob, Yuri Gurevich:
Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information. 634-639 - Salem Benferhat, Claudette Cayrol, Didier Dubois, Jérôme Lang, Henri Prade:
Inconsistency Management and Prioritized Syntax-Based Entailment. 640-647
Temporal Reasoning
- Alfonso Gerevini, Lenhart K. Schubert:
Efficient Temporal Reasoning through Timegraphs. 648-654 - Robert A. Morris, William D. Shoaff, Lina Khatib:
Path Consistency in a Network of Non-Convex Intervals. 655-661
Terminological Logic I
- Lin Padgham, Tingting Zhang:
A Terminological Logic with Defaults: A Definition and an Application. 662-668 - Franz Baader, Bernhard Hollunder:
How to Prefer More Specific Defaults in Terminological Default Logic. 669-675
Terminological Logic II
- Umberto Straccia:
Default Inheritance Reasoning in Hybrid KL-ONE-Style Logics. 676-681 - Raad Al-Asady, A. Narayanan:
More Notes on "A Clash of Intuitions". 682-689
Terminological Logic III
- Hans Jürgen Ohlbach:
A Multi-Dimensional Terminological Knowledge Representation Language. 690-695 - Chris Mellish, Ehud Reiter:
Using Classification as a Programming Language. 696-703
Terminological Logic IV
- Martin Buchheit, Francesco M. Donini, Andrea Schaerf:
Decidable Reasoning in Terminological Knowledge Representation Systems. 704-709 - Robert Dionne, Eric Mays, Frank J. Oles:
The Equivalence of Model-Theoretic and Structural Subsumption in Description Logics. 710-717
Theory of Action I
- Yan Zhang, Norman Y. Foo:
Reasoning About Persistence: A Theory of Actions. 718-723 - G. Neelakantan Kartha:
Soundness and Completeness Theorems for Three Formalizations of Action. 724-731
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
- Suryanarayana M. Sripada:
A Metalogic Programming Approach to Reasoning about Time in Knowledge Bases. 860-865 - Chitta Baral, Michael Gelfond
:
Representing Concurrent Actions in Extended Logic Programming. 866-873
Logic Programming II
- Patricia M. Hill:
A Parameterised Module System for Constructing Typed Logic Programs. 874-880 - Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto:
Logical Specification of Real-Time Granular Systems in an Object Oriented Language. 881-888
Machine Learning
Analysis
- Pat Langley, Wayne Iba:
Average-Case Analysis of a Nearest Neighbor Algorithm. 889-894 - Timothy L. Bailey, Charles Elkan:
Estimating the Accuracy of Learned Concepts. 895-901
Case Based Reasoning
- Edwina L. Rissland, David B. Skalak, M. Timur Friedman:
Case Retrieval through Multiple Indexing and Heuristic Search. 902-908 - Hideo Shimazu, Hiroaki Kitano, Akihiro Shibata:
Retrieving Cases from Relational Data-Bases: Another Stride Towards Corporate-Wide Case-Base Systems. 909-915
Combinatorial Problems
- Thomas Ellman:
Abstraction via Approximate Symmetry. 916-921 - Steven Minton:
An Analytic Learning System for Specializing Heuristics. 922-929
Combined Learning Methods
- Sebastian Thrun, Tom M. Mitchell:
Integrating Inductive Neural Network Learning and Explanation-Based Learning. 930-936 - Marco Botta, Attilio Giordana:
SMART+: A Multi-Strategy Learning Tool. 937-945
Complex Concept Acquisition
- Harish Ragavan, Larry A. Rendell, Michael J. Shaw, Antoinette Tessmer:
Complex Concept Acquisition through Directed Search and Feature Caching. 946-951 - Larry A. Rendell, Harish Ragavan:
Improving the Design of Induction Methods by Analyzing Algorithm Functionality and Data-Based Concept Complexity. 952-959
Genetic Algorithms
- Hitoshi Iba, Tetsuya Higuchi, Hugo de Garis, Taisuke Sato:
Evolutionary Learning Strategy using Bug-Based Search. 960-966 - Jan Paredis:
Genetic State-Space Search for Constrained Optimization Problems. 967-973
Improving Behavior
- Shaul Markovitch, Yaron Sella:
Learning of Resource Allocation Strategies for Game Playing. 974-979 - Bert Bredeweg, Cis Schut:
Reducing Ambiguity by Learning Assembly Specific Behaviour. 980-987
Induction
- William W. Cohen:
Efficient Pruning Methods for Separate-and-Conquer Rule Learning Systems. IJCAI 1993: 988-994 - Satoshi Kobayashi, Koichi Hori, Setsuo Ohsuga:
Learning Decision Lists over Tree Patterns and Its Application. IJCAI 1993: 995-1001