List of contents of the Proceedings of the

23'rd International Joint Conference on Artificial Intelligence, 1993 (IJCAI-93)

Edited by Ruzena Bajcsy

Published by

c-ijcai-93-3
K. Eshghi:
A Tractable Class of Abduction Problems.
Pages 3-8.

c-ijcai-93-9
Gerd Brewka and K. Konolige:
An Abductive Framework for General Logic Programs and Other Nonmonotonic Systems.
Pages 9-15.

c-ijcai-93-18
O. Raiman, J. de Kleer, and V. Saraswat:
Critical Reasoning.
Pages 18-23.

c-ijcai-93-24
D. B. Leake:
Focusing Construction and Selection of Abductive Hypotheses.
Pages 24-29.

c-ijcai-93-32
Werner Stephan and Susanne Biundo:
A New Logical Framework for Deductive Planning.
Pages 32-38.

c-ijcai-93-39
M. Cadoli:
Semantical and Computational Aspects of Horn Approximations.
Pages 39-44.

c-ijcai-93-46
T.-H. Ngair:
A New Algorithm for Incremental Prime Implicate Generation.
Pages 46-51.

c-ijcai-93-52
M. Fujita, J. Slaney, and F. Bennett:
Automatic Generation of Some Results in Finite Algebra.
Pages 52-57.

c-ijcai-93-60
C. Weidenbach:
Extending the Resolution Method with Sorts.
Pages 60-65.

c-ijcai-93-66
L. Cholvy:
Proving Theorems in a Multi-Source Environment.
Pages 66-71.

c-ijcai-93-74
R. Caferra and S. Demri:
Cooperation between Direct Method and Translation Method in Non Classical Logics: Some Results in Propositional S5.
Pages 74-79.

c-ijcai-93-80
A. Nonnengart:
First-Order Modal Logic Theorem Proving and Functional Simulation.
Pages 80-85.

c-ijcai-93-88
A. Bouhoula and M. Rusinowitch:
Automatic Case Analysis in Proof by Induction.
Pages 88-94.

c-ijcai-93-95
C. Walther:
Combining Induction Axioms by Machine.
Pages 95-100.

c-ijcai-93-102
K. Inoue, Y. Ohta, R. Hasegawa, and M. Nakashima:
Bottom-Up Abduction by Model Generation.
Pages 102-108.

c-ijcai-93-109
J. Slaney:
SCOTT: A Model-Guided Theorem Prover.
Pages 109-114.

c-ijcai-93-116
D. A. Basin and T. Walsh:
Difference Unification.
Pages 116-122.

c-ijcai-93-123
R. Letz:
On the Polynomial Transparency of Resolution.
Pages 123-129.

c-ijcai-93-132
A. Ligeza:
A Note on Backward Dual Resolution and Its Application to Proving Completeness of Rule-Based Systems.
Pages 132-137.

c-ijcai-93-138
A. Y. Levy and Y. Sagiv:
Exploiting Irrelevance Reasoning to Guide Problem Solving.
Pages 138-144.

c-ijcai-93-146
I. J. Haimowitz and I. S. Kohane:
Automated Trend Detection with Alternate Temporal Hypotheses.
Pages 146-151.

c-ijcai-93-152
Mike Williamson and Steve Hanks:
Exploiting Domain Structure to Achieve Efficient Temporal Reasoning.
Pages 152-157.

c-ijcai-93-160
Murray Shanahan:
Explanation in the Situation Calculus.
Pages 160-165.

c-ijcai-93-166
C. Dousson, P. Gaborit, and Malik Ghallab:
Situation Recognition: Representation and Algorithms.
Pages 166-172.

c-ijcai-93-175
J. R. J. Schirra and E. Stopp:
ANTLIMA: A Listener Model with Mental Images.
Pages 175-180.

c-ijcai-93-181
E. Furse and R. Nicolson:
Perception and Experience in Problem Solving.
Pages 181-186.

c-ijcai-93-188
K. O'Hara and N. Shadbolt:
AI Models as a Variety of Psychological Explanation.
Pages 188-193.

c-ijcai-93-194
C. Elliott:
Using the Affective Reasoner to Support Social Simulations.
Pages 194-200.

c-ijcai-93-202
L. Shastri:
A Computational Model of Tractable Reasoning: Taking Inspiration from Cognition.
Pages 202-207.

c-ijcai-93-208
T. E. Lange and C. M. Wharton:
Dynamic Memories: Analysis of an Integrated Conprehension and Episodic Memory Retrieval Model.
Pages 208-213.

c-ijcai-93-217
A. L. Köll and H. Kaindl:
Bidirectional Best-First Search with Bounded Error: Summary of Results.
Pages 217-223.

c-ijcai-93-224
P. David:
When Functional and Bijective Constraints Make a CSP Polynomial.
Pages 224-229.

c-ijcai-93-232
O. Lhomme:
Consistency Techniques for Numeric CSPs.
Pages 232-238.

c-ijcai-93-239
R. J. Wallace:
Why AC-3 Is Almost Always Better than AC-4 for Establishing Arc Consistency in CSPs.
Pages 239-245.

c-ijcai-93-248
A. Reinefeld:
Complete Solution of the Eight-Puzzle and the Benefit of Node Ordering in IDa.
Pages 248-253.

c-ijcai-93-254
E. C. Freuder and P. D. Hubbe:
Using Inferred Disjunctive Constraints to Decompose Constraint Satisfaction Problems.
Pages 254-260.

c-ijcai-93-262
P. Prosser:
Domain Filtering Can Degrade Intelligent Backtracking Search.
Pages 262-267.

c-ijcai-93-268
K. Ho, P. N. Hilfinger, and H. W. Guesgen:
Optimistic Parallel Discrete Relaxation.
Pages 268-273.

c-ijcai-93-276
R. R. Bakker, F. Dikker, F. Tempelman, and P. M. Wognum:
Diagnosing and Solving Over-Determined Constraint Satisfaction Problems.
Pages 276-281.

c-ijcai-93-282
A. Haselböck:
Exploiting Interchangeabilities in Constraint Satisfaction Problems.
Pages 282-287.

c-ijcai-93-290
B. Selman and H. Kautz:
Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems.
Pages 290-295.

c-ijcai-93-296
H. Beringer and B. de Backer:
Satisfiability of Boolean Formulas over Linear Constraints.
Pages 296-301.

c-ijcai-93-305
R. Alterman and R. Zito-Wolf:
Agents, Habitats, and Routine Behavior.
Pages 305-310.

c-ijcai-93-311
G. Weiß:
Learning to Coordinate Actions in Multi-Agents Systems.
Pages 311-316.

c-ijcai-93-318
A. S. Rao and M. P. Georgeff:
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems.
Pages 318-324.

c-ijcai-93-325
H.-D. Burkhard:
Liveness and Fairness Properties in Multi-Agent Systems.
Pages 325-330.

c-ijcai-93-332
U. M. Schwuttke and A. G. Quan:
Enhancing Performance of Cooperating Agents in Real-Time Diagnostic Systems.
Pages 332-337.

c-ijcai-93-338
S. J. Russell, D. Subramanian, and R. Parr:
Provably Bounded Optimal Agents.
Pages 338-344.

c-ijcai-93-346
K. Matsubayashi and M. Tokoro:
A Collaboration Mechanism on Positive Interactions in Multi-Agent Environments.
Pages 346-351.

c-ijcai-93-352
E.-I. Osawa:
A Scheme for Agent Collaboration in Open Multiagent Environments.
Pages 352-358.

c-ijcai-93-360
K. Decker and V. Lesser:
An Approach to Analyzing the Need for Meta-Level Communication.
Pages 360-366.

c-ijcai-93-367
B. Grosz and S. Kraus:
Collaborative Plans for Group Activities.
Pages 367-373.

c-ijcai-93-376
G. Lakemeyer:
All They Know: A Study in Multi-Agent Autoepistemic Reasoning (Preliminary Report).
Pages 376-381.

c-ijcai-93-382
J. Wainer:
Epistemic Extension of Propositional Preference Logics.
Pages 382-387.

c-ijcai-93-390
K. Konolige and M. E. Pollack:
A Representationalist Theory of Intention.
Pages 390-395.

c-ijcai-93-396
P. J. Gmytrasiewicz and E. H. Durfee:
Elements of a Utilitarian Theory of Knowledge and Action.
Pages 396-402.

c-ijcai-93-404
M. Henz, G. Smolka, and J. Würtz:
Oz: A Programming Language for Multi-Agent Systems.
Pages 404-409.

c-ijcai-93-410
W. Xianchang, C. Huowang, Z. Qingping, and L. Wei:
A. A Logic System Based on Shared Common Knowledge Views.
Pages 410-414.

c-ijcai-93-416
G. Zlotkin and J. S. Rosenschein:
A Domain Theory for Task Oriented Negotiation.
Pages 416-422.

c-ijcai-93-423
E. Ephrati and J. S. Rosenschein:
Multi-Agent Planning as a Dynamic Search for Social Consensus.
Pages 423-429.

c-ijcai-93-432
Brian Knight:
Are Many Reactive Agents Better Than a Few Deliberative Ones?.
Pages 432-437.

c-ijcai-93-438
S. E. Lander and V. R. Lesser:
Understanding the Role of Negotiation in Distributed Search Among Heterogeneous Agents.
Pages 438-444.

c-ijcai-93-447
K.-K. Yum and T. R. Richards:
Classification Networks: A Knowledge Representation Scheme for Curriculum Prescription.
Pages 447-452.

c-ijcai-93-453
R. Allen, J. Idt, and L. Trilling:
Constraint Based Automatic Construction and Manipulation of Geometric Figures.
Pages 453-458.

c-ijcai-93-460
M. Bauer, Susanne Biundo, Dietmar Dengler, J. Köhler, and G. Paul:
PHI: A Logic-Based Tool for Intelligent Help Systems.
Pages 460-466.

c-ijcai-93-467
M. Ikeda, Y. Kono, and R. Mizoguchi:
Nonmonotonic Model Inference: A Formalization of Student Modeling.
Pages 467-473.

c-ijcai-93-477
P. Meseguer:
Expert System Validation through Knowledge Base Refinement.
Pages 477-482.

c-ijcai-93-483
L. Vignollet and R. Lelouche:
Test Case Generation Using KBS Strategy.
Pages 483-488.

c-ijcai-93-490
Y. Moses and M. Tennenholtz:
Off-Line Reasoning for On-Line Efficiency.
Pages 490-495.

c-ijcai-93-496
J. Bouaud:
TREE: The Heuristic Driven Join Strategy of a RETE-Like Matcher.
Pages 496-502.

c-ijcai-93-504
B. R. Gaines:
A Class Library Implementation of a Principled Open Architecture Knowledge Representation Server with Plug-In Data Types.
Pages 504-509.

c-ijcai-93-510
H. Eriksson:
Specification and Generation of Custom-Tailored Knowledge-Acquisition Tools.
Pages 510-515.

c-ijcai-93-519
Craig Boutilier:
Revision Sequences and Nested Conditionals.
Pages 519-525.

c-ijcai-93-526
T. Eiter and G. Gottlob:
The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions.
Pages 526-531.

c-ijcai-93-534
S. Dixon and N.Y. Foo:
Connections Between the ATMS and AGM Belief Revision.
Pages 534-539.

c-ijcai-93-540
Alvaro Del Val:
Syntactic Characterizations of Belief Change Operators.
Pages 540-545.

c-ijcai-93-548
F. Giunchiglia, L. Serafini, E. Giunchiglia, and M. Frixione:
Non-Omniscient Belief as Context-Based Reasoning.
Pages 548-554.

c-ijcai-93-555
J. McCarthy:
Notes on Formalizing Context.
Pages 555-560.

c-ijcai-93-563
Fahiem Bacchus, A. J. Grove, J. Y. Halpern, and Daphne Koller:
Statistical Foundations for Default Reasoning.
Pages 563-569.

c-ijcai-93-570
G. Gottlob:
The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic.
Pages 570-575.

c-ijcai-93-578
S. Brass:
On the Semantics of Supernormal Defaults.
Pages 578-583.

c-ijcai-93-584
F. Voorbraak:
Preference-Based Semantics for Nonmonotonic Logics.
Pages 584-589.

c-ijcai-93-592
J. W. Guan and D. A. Bell:
A Generalization of the Dempster-Shafer Theory.
Pages 592-597.

c-ijcai-93-598
P. Smets:
Quantifying Beliefs by Belief Functions: An Axiomatic Justification.
Pages 598-603.

c-ijcai-93-606
David Poole:
Average-Case Analysis of a Search Algorithm for Estimating Prior and Posterior Probabilities in Bayesian Networks with Extreme Probabilities.
Pages 606-612.

c-ijcai-93-613
D. Roth:
On the Hardness of Approximate Reasoning.
Pages 613-618.

c-ijcai-93-620
Didier Dubois and H. Prade:
Belief Revision and Updates in Numerical Formalisms: An Overview, with New Results for the Possibilistic Framework.
Pages 620-625.

c-ijcai-93-626
Z. Zdrahal:
Second Order Measures for Uncertainty Processing.
Pages 626-631.

c-ijcai-93-634
T. Eiter, G. Gottlob, and Y. Gurevich:
Curb Your Theory! A Circumscriptive Approach for Inclusive Interpretation of Disjunctive Information.
Pages 634-639.

c-ijcai-93-640
S. Benferhat, C. Cayrol, Didier Dubois, J. Lang, and H. Prade:
Inconsistency Management and Prioritized Syntax-Based Entailment.
Pages 640-645.

c-ijcai-93-648
Alfonso Gerevini and Len Schubert:
Efficient Temporal Reasoning through Timegraphs.
Pages 648-654.

c-ijcai-93-655
R. A. Morris, W. D. Shoaff, and L. Khatib:
Path Consistency in a Network of Non-Convex Intervals.
Pages 655-660.

c-ijcai-93-662
L. Padgham and Yan Zhang:
A Terminological Logic with Defaults: A Definition and an Application.
Pages 662-668.

c-ijcai-93-669
F. Baader and B. Hollunder:
How to Prefer More Specific Defaults in Terminological Default Logic.
Pages 669-674.

c-ijcai-93-676
U. Straccia:
Default Inheritance Reasoning in Hybrid KL-ONE-Style Logics.
Pages 676-681.

c-ijcai-93-682
R. Al-Asady and A. Narayanan:
More Notes on ``A Clash of Intuitions''.
Pages 682-687.

c-ijcai-93-690
H.-J. Ohlbach and F. Baader:
A Multi-Dimensional Terminological Knowledge Representation Language.
Pages 690-695.

c-ijcai-93-696
C. Mellish and Ray Reiter:
Using Classification as a Programming Language.
Pages 696-701.

c-ijcai-93-704
M. Bucheit, F. M. Donini, and Marco Schaerf:
Decidable Reasoning in Terminological Knowledge Representation Systems.
Pages 704-709.

c-ijcai-93-710
R. Dionne, E. Mays, and F. J. Oles:
The Equivalence of Model-Theoretic and Structural Subsumption in Description Logics.
Pages 710-716.

c-ijcai-93-718
Yan Zhang and N. Y. Foo:
Reasoning about Persistence: A Theory of Actions.
Pages 718-723.

c-ijcai-93-724
G. N. Kartha:
Soundness and Completeness Theorems for Three Formalizations of Action.
Pages 724-729.

c-ijcai-93-732
Alvaro del Val and Yoav Shoham:
Deriving Properties of Belief Update from Theories of Action (II).
Pages 732-737.

c-ijcai-93-738
Erik Sandewall:
The Range of Applicability of Nonmonotonic Logics for the Inertia Problem.
Pages 738-743.

c-ijcai-93-747
M. Benda:
AI Adventures Worth Writing Home About.
Pages 747-750.

c-ijcai-93-751
L. Gasser:
Social Knowledge and Social Action: Heterogeneity in Practice.
Pages 751-757.

c-ijcai-93-758
I. M. Havel:
Artificial Thought and Emergent Mind.
Pages 758-766.

c-ijcai-93-767
H. Inoue:
Vision Based Robot Behavior: Tools and Testbeds for Real World AI Research.
Pages 767-773.

c-ijcai-93-774
S. J. Lederman:
The Intelligent Hand: An Experimental Approach to Human Object Recognition and Implications for Robotic Design.
Pages 774-785.

c-ijcai-93-786
N. Otsu:
Toward Flexible Intelligence: MITI's New Program of Real World Computing.
Pages 786-791.

c-ijcai-93-792
J. S. Rosenschein:
Consenting Agents: Negotiation Mechanisms for Multi-Agent Systems.
Pages 792-799.

c-ijcai-93-800
D. Subramanian:
Conceptual Design and Artificial Intelligence.
Pages 800-809.

c-ijcai-93-810
J. van Benthem:
The Logic of Cognitive Action.
Pages 810.

c-ijcai-93-813
H. Kitano:
Challenges of Massive Parallelism.
Pages 813-834.

c-ijcai-93-839
M. Tarver:
A Language for Implementing Arbitrary Logics.
Pages 839-844.

c-ijcai-93-845
P. Basso:
Conditional Causal Logic: A Formal Theory of the Meaning Generating Processes in a Cognitive System.
Pages 845-850.

c-ijcai-93-852
P. M. Dung:
On the Acceptability of Arguments ans Its Fundamental Role in Nonmonotonic Reasoning and Logic Programming.
Pages 852-857.

c-ijcai-93-860
S. M. Sripada:
A Metalogic Programming Approach to Reasoning about Time in Knowledge Bases.
Pages 860-865.

c-ijcai-93-866
Chitta Baral and Michael Gelfond:
Representing Concurrent Actions in Extended Logic Programming.
Pages 866-871.

c-ijcai-93-874
P. M. Hill:
A Parameterised Module System for Constructing Typed Logic Programs.
Pages 874-880.

c-ijcai-93-881
E. Ciapessoni, E. Corsetti, M. Migliorati, and E. Ratto:
Logical Specification of Real-Time Granular Systems in an Object Oriented Language.
Pages 881-886.

c-ijcai-93-889
P. Langley and W. Iba:
Average-Case Analysis of a Nearest Neighbor Algorithm.
Pages 889-894.

c-ijcai-93-895
T. L. Bailey and Charles Elkan:
Estimating the Accuracy of Learned Concepts.
Pages 895-900.

c-ijcai-93-902
E. L. Rissland, D. B. Skalak, and M. T. Friedman:
Case Retrieval through Multiple Indexing and Heuristic Search.
Pages 902-908.

c-ijcai-93-909
H. Shimazu, H. Kitano, and A. Shibata:
Retrieving Cases from Relational Data-Bases: Another Stride Towards Corporate-Wide Case-Base Systems.
Pages 909-914.

c-ijcai-93-916
T. Ellman:
Abstraction via Approximate Symmetry.
Pages 916-921.

c-ijcai-93-922
S. Minton:
An Analytic Learning System for Specializing Heuristics.
Pages 922-926.

c-ijcai-93-930
S. B. Thrun and T. M. Mitchell:
Integrating Inductive Neural Network Learning and Explanation-Based Learning.
Pages 930-936.

c-ijcai-93-937
M. Botta and A. Giordana:
SMART+: A Multi-Strategy Learning Tool.
Pages 937-943.

c-ijcai-93-946
H. Ragavan, L. Rendell, M. Shaw, and A. Tessmer:
Complex Concept Acquisition through Directed Search and Feature Caching.
Pages 946-951.

c-ijcai-93-952
L. Rendell and H. Ragavan:
Improving the Design of Induction Methods by Analyzing Algorithm Functionality and Data-Based Concept Complexity.
Pages 952-958.

c-ijcai-93-960
H. Iba, T. Higuchi, H. de Garis, and T. Sato:
Evolutionary Learning Strategy Using Bug-Based Search.
Pages 960-966.

c-ijcai-93-967
J. Paredis:
Genetic State-Space Search for Constrained Optimization Problems.
Pages 967-972.

c-ijcai-93-974
S. Markovitch and Y. Sella:
Learning of Resource Allocation Strategies for Game Playing.
Pages 974-979.

c-ijcai-93-980
B. Bredeweg and C. Schut:
Reducing Ambiguity by Learning Assembly Specific Behaviour.
Pages 980-985.

c-ijcai-93-988
W. W. Cohen:
Efficient Pruning Methods for Separate-and-Conquer Rule Learning Systems.
Pages 988-994.

c-ijcai-93-995
S. Kobayashi, K. Hori, and S. Ohsuga:
Learning Decision Lists over Tree Patterns and Its Application.
Pages 995-1000.

c-ijcai-93-1002
D. Heath, S. Kasif, and S. Salzberg:
Induction of Oblique Decision Trees.
Pages 1002-1007.

c-ijcai-93-1008
J.-G. Ganascia:
TDIS: An Algebraic Formalization.
Pages 1008-1013.

c-ijcai-93-1016
T. Van de Merckt:
Decision Trees in Numerical Attribute Spaces.
Pages 1016-1021.

c-ijcai-93-1022
U. M. Fayyad and K. B. Irani:
Multi-Interval Discretization of Continuous-Valued Attributes for Classification Learning.
Pages 1022-1027.

c-ijcai-93-1030
S. Lapointe, C. Ling, and S. Matwin:
Constructive Inductive Logic Programming.
Pages 1030-1036.

c-ijcai-93-1037
L. De Raedt, N. Lavrac, and S. Dzeroski:
Multiple Predicate Learning.
Pages 1037-1042.

c-ijcai-93-1044
F. Bergadano and D. Gunetti:
An Interactive System to Learn Functional Logic Programs.
Pages 1044-1049.

c-ijcai-93-1050
R. M. Cameron-Jones and J. R. Quinlan:
Avoiding Pitfalls When Learning Recursive Theories.
Pages 1050-1055.

c-ijcai-93-1058
L. De Raedt and M. Bruynooghe:
A Theory of Clausal Discovery.
Pages 1058-1063.

c-ijcai-93-1072
S. M. Weiss and N. Indurkhya:
Rule-Based Regression.
Pages 1072-1078.

c-ijcai-93-1079
A. Bramanti-Gregor and H. W. Davis:
The Statistical Learning of Accurate Heuristics.
Pages 1079-1085.

c-ijcai-93-1088
W.-M. Shen:
Learning Finite Automata Using Local Distinguishing Experiments.
Pages 1088-1093.

c-ijcai-93-1094
L. P. Kaelbling:
Learning to Achieve Goals.
Pages 1094-1098.

c-ijcai-93-1100
C. Leckie and I. Zukerman:
An Inductive Approach to Learning Search Control Rules for Planning.
Pages 1100-1105.

c-ijcai-93-1106
J. M. Zelle and R. J. Mooney:
Combining FOIL and EBG to Speed-Up Logic Programs.
Pages 1106-1111.

c-ijcai-93-1114
J. Diederich and M. Wasserschaff:
Recurrent Neural Networks for Sequence Production.
Pages 1114-1119.

c-ijcai-93-1120
P. Laird and R. Saul:
Sequence Extrapolation.
Pages 1120-1125.

c-ijcai-93-1128
J. Wogulis and M. J. Pazzani:
A Methodology for Evaluating Theory Revision Systems: Results with Audrey II.
Pages 1128-1134.

c-ijcai-93-1135
P. T. Baffes and R. J. Mooney:
Symbolic Revision of Theories with M-of-N Rules.
Pages 1135-1140.

c-ijcai-93-1143
C. X. F. Ling, M. Marinov, and S. Cherwenka:
A Symbolic Model for Learning the Past-Tenses of English Verbs.
Pages 1143-1149.

c-ijcai-93-1150
T. Utsuro, Y. Matsumoto, and M. Nagao:
Verbal Case Frame Acquisition from Bilingual Corpora.
Pages 1150-1156.

c-ijcai-93-1158
V. O. Mittal and C. L. Paris:
Automatic Documentation Generation: The Interaction of Text and Examples.
Pages 1158-1163.

c-ijcai-93-1164
Ray Reiter and C. Mellish:
Optzimizing the Costs and Benefits of Natural Language Generation.
Pages 1164-1169.

c-ijcai-93-1172
D. E. Appelt, J. R. Hobbs, J. Bear, D. Israel, and M. Tyson:
FASTUS: A Finite-State Processor for Information Extraction from Real-World Text.
Pages 1172-1178.

c-ijcai-93-1179
A. Csinger and David Poole:
Hypothetically Speaking: Default Reasoning and Discourse-Structure.
Pages 1179-1184.

c-ijcai-93-1186
K. Nagao:
Abduction and Dynamic Preference in Plan-Based Dialogue Understanding.
Pages 1186-1192.

c-ijcai-93-1193
K. Hasida, K. Nagao, and T. Miyata:
Joint Utterance: Intrasequential Speaker/Hearer Switch as an Emergent Phenomenon.
Pages 1193-1199.

c-ijcai-93-1202
I. Zukerman and R. McConachy:
Generating Concise Discourse That Addresses a User's Inferences.
Pages 1202-1207.

c-ijcai-93-1208
D. Suthers:
Preferences for Model Selection in Explanation.
Pages 1208-1213.

c-ijcai-93-1216
P. Merlo:
For an Incremental Computation of Intrasentential Coreference.
Pages 1216-1221.

c-ijcai-93-1222
Enrico Franconi, A. Giorgi, and F. Pianesi:
Tense and Aspect: A Mereological Approach.
Pages 1222-1228.

c-ijcai-93-1230
M. Zancanaro, O. Stock, and C. Strapparava:
Dialogue Cohesion Sharing and Adjusting in an Enhanced Multimodal Environment.
Pages 1230-1236.

c-ijcai-93-1237
C. Baudin, J. G. Underwood, and V. Baya:
Using Device Models to Facilitate the Retrieval of Multimedia Design Information.
Pages 1237-1243.

c-ijcai-93-1246
T. Pattabhiraman and N. Cercone:
Decision-Theoretic Salience Interactions in Language Generation.
Pages 1246-1252.

c-ijcai-93-1253
Y. Arens, E. Hovy, and S. van Mulken:
Structure and Rules in Automated Multimedia Presentation Planning.
Pages 1253-1259.

c-ijcai-93-1262
R. K. Srihari and C. M. Baltus:
Incorporating Syntactic Constraints in Recognizing Handwritten Sentences.
Pages 1262-1268.

c-ijcai-93-1268
K. Nagao, K. Hasida, and T. Miyata:
Understanding Spoken Natural Language with Omni-Directional Information Flow.
Pages 1268-1274.

c-ijcai-93-1276
H. Kitano:
A Comprehensive and Practical Model of Memory-Based Machine Translation.
Pages 1276-1282.

c-ijcai-93-1283
E. Sumita, K. Oi, O. Furuse, H. Iida, T. Higuchi, N. Takahashi, and H. Kitano:
Example-Based Machine Translation on Massively Parallel Processors.
Pages 1283-1288.

c-ijcai-93-1290
D. Wu:
Approximating Maximum-Entropy Ratings for Evidential Parsing and Semantic Interpretation.
Pages 1290-1296.

c-ijcai-93-1297
C. H. Hwang and L. K. Schubert:
Meeting the Interlocking Needs of LF-Computation, Deindexing, and Inference: An Organic Approach to General NLU.
Pages 1297-1302.

c-ijcai-93-1304
Paolo Terenziani:
Integrating Linguistic and Pragmatic Temporal Information in Natural Language Understanding: The Case of ``When Sentences''.
Pages 1304-1309.

c-ijcai-93-1310
J. J. Quantz:
Interpretation as Exception Minimization.
Pages 1310-1315.

c-ijcai-93-1319
M. W. Craven and J. W. Shavlik:
Learning to Represent Codons: A Challenge Problem for Constructive Induction.
Pages 1319-1324.

c-ijcai-93-1325
M. P. Evett, W. A. Andersen, and J. A. Hendler:
Massively Parallel Support for Efficient Knowledge Representation.
Pages 1325-1330.

c-ijcai-93-1332
B. El Ayeb and S. Wang:
Computing Effect-to-Cause/Cause-to-Effect Diagnoses within NdL.
Pages 1332-1338.

c-ijcai-93-1339
E. Merlo, I. McAdam, and R. De Mori:
Source Code Informal Information Analysis Using Connectionist Models.
Pages 1339-1344.

c-ijcai-93-1346
C. Jacquemin:
A Coincidence Detection Network for Spatio-Temporal Coding: Application to Nominal Composition.
Pages 1346-1351.

c-ijcai-93-1352
A. Beringer, S. Hölldobler, and F. Furfeß:
Spatial Reasoning and Connectionist Inference.
Pages 1352-1357.

c-ijcai-93-1360
D. W. Opitz and J. W. Shavlik:
Heuristically Expanding Knowledge-Based Neural Networks.
Pages 1360-1365.

c-ijcai-93-1366
C. McMillan, M. C. Mozer, and P. Smolensky:
Dynamic Conflict Resolution in a Connectionist Rule-Based System.
Pages 1366-1371.

c-ijcai-93-1374
E. Fink and Q. Yang:
Characterizing and Automatically Finding Primary Effects in Planning.
Pages 1374-1379.

c-ijcai-93-1380
S. Kambhampati:
On the Utility of Systematicity: Understanding Tradeoffs between Redundancy and Commitment in Partial-Order Planning.
Pages 1380-1385.

c-ijcai-93-1388
A. Barrett and D. S. Weld:
Characterizing Subgoal Interactions for Planning.
Pages 1388-1393.

c-ijcai-93-1394
G. H. Ogasawara and S. J. Russell:
Planning Using Multiple Execution Architectures.
Pages 1394-1399.

c-ijcai-93-1402
S. Zilberstein and S. J. Russell:
Anytime Sensing, Planning and Action: A Practical Model for Robot Control.
Pages 1402-1407.

c-ijcai-93-1408
M. Drummond, K. Swanson, J. Bresina, and Richard Levinson:
Reaction-First Search.
Pages 1408-1414.

c-ijcai-93-1416
M. Zweben, Ernest Davis, B. Daun, and M. Deale:
Informedness vs. Computational Cost of Heuristics in Iterative Repair Scheduling.
Pages 1416-1422.

c-ijcai-93-1423
A. K. Sen and A. Bagchi:
Non-Order-Preserving Evaluation Functions: Recursive Graph-Search Methods for Job Sequencing Problems.
Pages 1423-1428.

c-ijcai-93-1430
Christer Bäckström and Bernhard Nebel:
Complexity Results for SAS+ Planning.
Pages 1430-1435.

c-ijcai-93-1436
Bernhard Nebel and J. Köhler:
Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective.
Pages 1436-1441.

c-ijcai-93-1445
P. Bose and S. A. Rajamoney:
Compositional Model-Based Design.
Pages 1445-1450.

c-ijcai-93-1451
B. Faltings and K. Sun:
Computer-Aided Creative Mechanism Design.
Pages 1451-1457.

c-ijcai-93-1460
C. Böttcher and O. Dressler:
Diagnosis Process Dynamics: Ho|ding the Diagnostic Trackhound in Leash.
Pages 1460-1465.

c-ijcai-93-1466
G. Friedrich:
Theory Diagnoses: A Concise Characterization of Faulty Systems.
Pages 1466-1471.

c-ijcai-93-1474
G. Biswas and X. Yu:
A Formal Modeling Scheme for Continuous Systems: Focus on Diagnosis.
Pages 1474-1479.

c-ijcai-93-1480
M. Riese:
Diagnosis of Communicating Systems: Dealing with Incompleteness and Uncertainty.
Pages 1480-1485.

c-ijcai-93-1488
R. Rymon:
Goal-Directed Diagnosis: Diagnostic Reasoning in Exploratory-Corrective Domains.
Pages 1488-1493.

c-ijcai-93-1494
L. Console, G. Friedrich, and D. T. Dupre:
Model-Based Diagnosis Meets Error Diagnosis in Logic Programs.
Pages 1494-1499.

c-ijcai-93-1502
T. R. Gruber and P. O. Gautier:
Machine-Generated Explanations of Engineering Models: A Compositional Modeling Approach.
Pages 1502-1508.

c-ijcai-93-1509
P. Dague:
Symbolic Reasoning with Relative Orders of Magnitude.
Pages 1509-15114.

c-ijcai-93-1516
Y. Iwasaki, R. Fikes, M. Vescovi, and B. Chandrasekaran:
How Things Are Intended to Work: Capturing Functional Knowledge in Device Design.
Pages 1516-1522.

c-ijcai-93-1523
R. Leitch and Q. Shen:
Prioritising Behaviours in Qualitative Simulation.
Pages 1523-1528.

c-ijcai-93-1530
W. Grossmann and H. Werthner:
A Stochastic Approach to Qualitative Simulation Using Markov Processes.
Pages 1530-1535.

c-ijcai-93-1536
K. Bousson and L. Travé-Massuyès:
Fuzzy Causal Simulation in Process Engineering.
Pages 1536-1541.

c-ijcai-93-1544
L. Latecki and R. Röhrig:
Orientation and Qualitative Angle for Spatial Reasoning.
Pages 1544-.1549.

c-ijcai-93-1550
A. Galton:
Towards an Integrated Logic of Space, Time, and Motion.
Pages 1550-1555.

c-ijcai-93-1558
K. Han and A. Gelsey:
Qualitative Modeling of RNA Structure.
Pages 1558-1562.

c-ijcai-93-1564
F. du Verdier:
Solving Geometric Constraint Satisfaction Problems for Spatial Planning.
Pages 1564-1569.

c-ijcai-93-1573
G. Funka-Lea and R. Bajcsy:
Active Color Image Analysis for Recognizing Shadows.
Pages 1573-1578.

c-ijcai-93-1579
R. Howarth and H. Buxton:
Selective Attention in Dynamic Vision.
Pages 1579-1584.

c-ijcai-93-1586
R. Basri and E. Rivlin:
Homing Using Combinations of Model Views.
Pages 1586-1591.

c-ijcai-93-1592
T. Fraichard and C. Laugier:
Dynamic Trajectory Planning, Path-Velocity Decomposition and Adjacent Paths.
Pages 1592-1597.

c-ijcai-93-1600
Y. Kuniyoshi and H. Inoue:
Qualitative Recognition of Ongoing Human Action Sequences.
Pages 1600-1609.

c-ijcai-93-1610
C. Pelachaud, M.-L. Viaud, and H. Yahia:
Rule-Structured Facial Animation System.
Pages 1610-1615.

c-ijcai-93-1618
J. Miura and Y. Shirai:
An Uncertainty Model of Stereo Vision and Its Application to Vision-Motion Planning of Robot.
Pages 1618-1623.

c-ijcai-93-1624
C. Fermüller and Y. Aloimonos:
Recognizing 3-D Motion.
Pages 1624-1630.

c-ijcai-93-1632
S. Tsuji and Renwei Li:
Making Cognitive Map of Outdoor Environment.
Pages 1632-1638.

c-ijcai-93-1639
G. Dudek, P. Freedman, and S. Hadjres:
Using Local Information in a Non-Local Way for Mapping Graph-Like Worlds.
Pages 1639-1645.

c-ijcai-93-1648
G. Dudek, M. Jenkin, E. Milios, and D. Wilkes:
Map Validation and Self-Location in a Graph-Like World.
Pages 1648-1653.

c-ijcai-93-1654
B. Crespi, C. Furlanello, and L. Stringa:
Memory-Based Navigation.
Pages 1654-1658.

c-ijcai-93-1661
M. J. Black, Y. Aloimonos, C. M. Brown, Ian Horswill, J. Malik, G. Sandini, and M. J. Tarr:
Action, Representation, and Purpose: Re-Evaluating the Foundations of Computational Vision (Panel).
Pages 1661-1666.

c-ijcai-93-1667
R. C. Schank:
AI, Multimedia, and Education (Panel).
Pages 1667-1672.

c-ijcai-93-1673
J. Yen, P. Bonissone, Didier Dubois, H. Prade, C. Freksa, E. H. Ruspini, R. Lopez de Mantaras, and L. A. Zadeh:
Fuzzy Logic and AI (Panel).
Pages 1673-1676.

c-ijcai-93-1677
H. Kitano, W. von Hahn, L. Hunter, R. Oka, B. Wah, and T. Yokoi:
Grand Challenge AI Applications (Panel).
Pages 1677-1683.

c-ijcai-93-1684
B. Grosz, S. Hirai, T. Rist, D. Scott, and B. Webber:
Instructions: Language and Behaviour (Panel).
Pages 1684-1689.

c-ijcai-93-1690
F. Barachini, W. Remmele, F. Hattori, G. Vessonder, and G. Pauthner:
Telecom & AI: The Emperor's New Clothes? (Panel).
Pages 1690-1692.

c-ijcai-93-1693
S. J. Dickinson, R. Bergevin, I. Biederman, J.-O. Eklundh, R. Munck-Fairwood, and A. Pentland:
The Use of Geons for Generic 3-D Object Recognition (Panel).
Pages 1693-1699.

c-ijcai-93-1703
T. Suzuki, R. Kudo, K. Ikami, J. Iida, and T. Terano:
QUALTES: A Domain Specific Tool for Electric Power Stations (Video).
Pages 1703.

c-ijcai-93-1704
F. Hartmann:
Process Control by an Expert System at the Grandpuits Refinery (Video).
Pages 1704.

c-ijcai-93-1705
G. Kikui, M. Seligman, T. Takezawa, T. Morimoto, M. Suzuki, K. Kita, M. Nagata, T. Tashiro, H. Tropf, S. Sagayama, J. Takami, K. Ohkura, and A. Kurematsu:
A Spoken Language Translation System: ASURA (Video).
Pages 1705.

c-ijcai-93-1964
K. M. Ali and M. J. Pazzani:
HYDRA: A Noise-Tolerant Relational Concept Learning Algorithm.
Pages 1964-1070.

30-Jul-97 12:09