Sydney, New South Wales, Australia · 24-30 August 1991
Edited by John Mylopoulos and Ray Reiter
No papers match this filter.
Architectures & Languages
Communication and Inference through Situations
Pages 76–81
Automated Reasoning
A Resolution Method for Temporal Logic
Pages 99–103
Formalizing and Using Persistency
Pages 105–109
Ordering-Based Strategies for Horn Clauses
Pages 118–124
A Model Elimination Calculus for Generalized Clauses
Pages 126–130
Consolution and its Relation with Resolution
Pages 132–135
An Inference Rule for Hypothesis Generation
Pages 152–156
Consequence-Finding Based on Ordered Linear Resolution
Pages 158–163
Proof Transformation with Built-in Equality Predicate
Pages 165–170
Learning Admissible Heuristics while Solving Problems
Pages 184–190
Using Aspiration Windows for Minimax Algorithms
Pages 192–196
Moving Target Search
Pages 204–210
Composing Real-Time Systems
Pages 212–216
Bottleneck Identification Using Process Chronologies
Pages 218–223
A Formal Model for Classical Planning
Pages 246–250
Localized Search for Multiagent Planning
Pages 252–257
Parallel Non-Binary Planning in Polynomial Time
Pages 268–272
Complexity Results for Planning
Pages 274–278
A Message Passing Algorithm for Plan Recognition
Pages 280–284
The Downward Refinement Property
Pages 286–292
Contexts for Nonmonotonic RMSes
Pages 300–304
On Semantics of TMS
Pages 306–308
Where the Really Hard Problems Are
Pages 331–339
Cognitive Modeling
How Situated is Cognition?
Pages 341–345
Plan Debugging in an Intentional System
Pages 353–358
Reasoning Visually about Spatial Interactions
Pages 360–364
A Cognitive Model of Figure Segregation
Pages 366–371
An MFIS for Computing a Raw Cognitive Map
Pages 373–379
Knowledge Representation
Nonmonotonic Databases and Epistemic Queries
Pages 381–385
Modal Interpretations of Default Logic
Pages 393–397
Constructive Tightly Grounded Autoepistemic Reasoning
Pages 399–404
Query Answering in Circumscription
Pages 426–430
Circumscription and Definability
Pages 432–436
Circumscribing Defaults
Pages 438–444
Tractable Concept Languages
Pages 458–464
Generalizing Term Subsumption Languages to Fuzzy Logic
Pages 472–476
A Model of Events and Processes
Pages 506–510
Parameter Structures for Parametrized Modal Operators
Pages 512–516
Contextual Negations and Reasoning with Contradictions
Pages 532–536
Ex contradictione nihil sequitur
Pages 538–545
Panels
The Role of Chess in Artificial Intelligence Research
Pages 547–551
Multiple Approaches to Multiple Agent Problem Solving
Pages 553–553
AI in Telecommunications
Pages 555–555
Massively Parallel Artificial Intelligence
Pages 557–561
AI and Design
Pages 563–567
Award and Invited Papers
Intelligence Without Reason
Pages 569–594
Logic Programing in Artificial Intelligence
Pages 596–603
Learning Be Knowledge Acquisition
Classifiers: A Theoretical and Empirical Study
Pages 638–643
A Hybrid Genetic Algorithm for Classification
Pages 645–649
Flexible Matching for Noisy Structural Descriptions
Pages 658–663
Theoretical Underpinnings of Version Spaces
Pages 665–669
Empirical Bias for Version Space
Pages 671–676
Reduced Complexity Rule Induction
Pages 678–683
Semantic Model for Induction of First Order Theories
Pages 685–690
Learning with a Helpful Teacher
Pages 705–710
Towards a Model of Grounded Concept Formation
Pages 712–718
Machine Discovery of Effective Admissible Heuristics
Pages 720–724
Learning to Classify Observed Motor Behavior
Pages 732–737
Modelling Experiments in Scientific Discovery
Pages 739–744
Determinate Literals in Inductive Logic Programming
Pages 746–749
Inductive Learning from Good Examples
Pages 751–755
Overprvning Large Decision Trees
Pages 764–768
Learning Structural Decision Trees from Examples
Pages 770–775
Learning Nested Concept Classes with Limited Storage
Pages 777–781
Acquiring Knowledge by Efficient Query Learning
Pages 783–788
The Base Selection Task in Analogical Planning
Pages 790–794
CABOT: An Adaptive Approach to Case-Based Search
Pages 803–808
Constraints on Tree Structure in Concept Formation
Pages 810–815
Cooperative Hybrid Systems
Pages 824–830
Logic Programming
Weak Equivalence for Constraint Sets
Pages 851–855
Fitting Semantics for Conditional Term Rewriting
Pages 857–861
Derivation Procedures for Extended Stable Models
Pages 863–868
Programming in Autoepistemic Logic
Pages 884–888
Indefinite Reasoning with Definite Rules
Pages 890–895
The Incomplete Database
Pages 897–901
Compiling Integrity Checking into Update Procedures
Pages 903–909
Natural Language
Massively Parallel Memory-Based Parsing
Pages 918–923
Incremental Syntactic and Semantic Processing
Pages 925–929
Confirmations and Joint Action
Pages 951–958
POST: Using Probabilities in Language Processing
Pages 960–964
Logic and Feature Structures
Pages 992–995
Interpretation of Definite Noun Phrases
Pages 997–1001
Philosophical Foundations
The Philosophy of Automated Theorem Proving
Pages 1039–1044
Generalised Inference and Inferential Modelling
Pages 1046–1050
The Implications of Paraconsistency
Pages 1052–1058
Actions and Movements
Pages 1060–1064
In Defense of Hyper-Logicist AI
Pages 1066–1071
The Problem of Induction and Machine Learning
Pages 1073–1079
Principles of AI Applications
UMRAO: A Chess Endgame Tutor
Pages 1081–1085
Reasoning about Student Knowledge and Reasoning
Pages 1087–1092
Integration-Kid: A Learning Companion System
Pages 1094–1098
Qualitative Reasoning
When Oscillators Stop Oscillating
Pages 1109–1114
Diagnosing Temporal Misbehavior
Pages 1116–1121
The Hybrid Phenomena Theory
Pages 1138–1142
A Geometric Approach to Total Envisioning
Pages 1150–1156
Computational and Physical Causality
Pages 1171–1175
Reified Temporal Theories and How to Unreify Them
Pages 1177–1182
Characterizing Belief with Minimum Commitment
Pages 1184–1188
On a Tool for Reasoning with Mass Distributions
Pages 1190–1194
Evidential Probability
Pages 1196–1202
Parallel Distributed Belief Networks That Learn
Pages 1210–1217
Vision
A Pictorial Approach to Object Classification
Pages 1257–1262
HyperBF Networks for Real Object Recognition
Pages 1278–1284
Shading-Based Two-View Matching
Pages 1286–1290
Visual Interpretation of Lambertian Surface Deformation
Pages 1299–1303
Qualitative Model Evolution
Pages 1311–1315
Front matter, copyright and publication details
Sponsored by the
International Joint Conferences on Artificial Intelligence, Inc. (IJCAII)
Co-sponsored and hosted by the
National Committee on Artificial Intelligence and
Expert Systems (NCAIES) of the Australian Computer Society (ACS)
With support and cooperation from the
Australian Government and Other Australian Corporations and Institutions
Copyright© 1991 International Joint Conferences on Artificial Intelligence, Inc.
All rights reserved.
Distributed by Morgan Kaufmann Publishers, Inc.
2929 Campus Drive, Suite 260
San Mateo, California 94403 USA
Secretary-Treasurer: Donald E. Walker, Bellcore, MRE 2A379
445 South Street, Box 1910, Morristown, NJ 07960-1910 USA
