7. AAAI 1988:
St. Paul, Minnesota Howard E. Shrobe , Tom M. Mitchell , Reid G. Smith (Eds.):
Proceedings of the 7th National Conference on Artificial Intelligence. St. Paul, MN, August 21-26, 1988.
AAAI Press / The MIT Press 1988, ISBN 0-262-51055-3 AI and Education
export record as
dblp key:
Robert G. Farrell :
Facilitating Self-Education by Questioning Assumptive Reasoning.
2-7
Automated Reasoning
Automatic Programming
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Constraints
export record as
dblp key:
export record as
dblp key:
Planning
export record as
dblp key:
John C. Hogge :
Prevention Techniques for a Temporal Planner.
43-48
export record as
dblp key:
export record as
dblp key:
Edwin P. D. Pednault :
Extending Conventional Planning Techniques to Handle Actions with Context-Depen dent Effects.
55-59
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/aaai/Ambros-IngersonS88 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Rule-Based Reasoning
export record as
dblp key:
Eric Horvitz :
Reasoning under Varying and Uncertain Resource Constraints.
111-116
export record as
dblp key:
Search
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
K. V. Viswanathan ,
A. Bagchi :
An Exact Best-First Search Procedure for the Constrained Rectangular Guillotine Knapsack Problem.
145-149
export record as
dblp key:
export record as
dblp key:
Theorem Proving
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Truth Maintenance Systems
export record as
dblp key:
export record as
dblp key:
Johan de Kleer :
A General Labeling Algorithm for Assumption-Based Truth Maintenance.
188-192
export record as
dblp key:
export record as
dblp key:
Uncertainty
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Cognitive Modeling
export record as
dblp key:
export record as
dblp key:
John F. Reeves :
Ethical Understanding: Recognizing and Using Belief Conflict in Narrative Processing.
227-232
export record as
dblp key:
Douglas H. Fisher :
A Computational Account of Basic Level and Typicality Effects.
233-238
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Phyllis Koton :
Reasoning about Evidence in Causal Explanations.
256-263
Common Sense Reasoning
Qualitative Reasoning
export record as
dblp key:
Brian C. Williams :
MINIMA: A Symbolic Approach to Qualitative Algebraic Reasoning.
264-269
export record as
dblp key:
Paul Nielsen :
A Qualitative Approach to Mechanical Constraint.
270-274
export record as
dblp key:
Peter Struss :
Global Filters for Qualitative Behaviors.
275-279
export record as
dblp key:
Kenneth Man-kam Yip :
Generating Global Behaviors using Deep knowledge of Local Dynamics.
280-285
export record as
dblp key:
Wood W. Lee ,
Benjamin Kuipers :
Non-Intersection of Trajectories in Qualitative Phase Space: A Global Constraint for Qualitative Simulation.
286-290
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/aaai/FalkenhainerF88 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Design
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Diagnosis
export record as
dblp key:
D. A. Pearce :
The Induction of Fault Diagnosis Systems from Qualitative Models.
353-357
export record as
dblp key:
Peng Wu :
Design for Testability.
358-363
export record as
dblp key:
export record as
dblp key:
Kathy H. Abbott :
Robust Operative Diagnosis as Problem Solving in a Hypothesis Space.
369-379
Knowledge Representation
Knowledge Representation
export record as
dblp key:
Peter G. Selfridge :
How to Print a File: An Expert System Approach to Software Knowledge Representation.
380-385
export record as
dblp key:
David B. Searls :
Representing Genetic Information with Formal Grammars.
386-391
export record as
dblp key:
export record as
dblp key:
Inheritance
export record as
dblp key:
export record as
dblp key:
Lin Padgham :
A Model and Representation for Type Information and Its Use in Reasoning with Defaults.
409-414
export record as
dblp key:
export record as
dblp key:
Brian A. Haugh :
Tractable Theories of Multiple Defeasible Inheritance in Ordinary Nonmonotonic Logics.
421-426
export record as
dblp key:
export record as
dblp key:
Nonmonotonic Logic
export record as
dblp key:
Kurt Konolige :
Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning.
439-443
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Nonstandard Logics
export record as
dblp key:
Mukesh Dalal :
Investigations into a Theory of Knowledge Base Revision.
475-479
export record as
dblp key:
export record as
dblp key:
conf/aaai/Patel-Schneider88 export record as
dblp key:
Temporal Reasoning
export record as
dblp key:
Steve Hanks :
Representing and Computing Temporally Scoped Beliefs.
501-505
export record as
dblp key:
Paul Morris :
Stable Closures, Defeasible Logic and Contradiction Tolerant Reasoning.
506-511
export record as
dblp key:
Peter B. Ladkin :
Satisfying First-Order Constraints About Time Intervals.
512-517
export record as
dblp key:
export record as
dblp key:
Learning and Knowledge Acquisition
Learning
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Kurt Ammon :
The Automatic Acquisition of Proof Methods.
558-563
Analytic Learning
export record as
dblp key:
Steven Minton :
Quantitative Results Concerning the Utility of Explanation-Based Learning.
564-569
export record as
dblp key:
Thomas Ellman :
Approximate Theory Formation: An Explanation-Based Approach.
570-574
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Allen Ginsberg :
Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy.
585-589
export record as
dblp key:
Empirical Learning
export record as
dblp key:
export record as
dblp key:
Paul E. Utgoff :
Perceptron Trees: A Case Study In Hybrid Concept Representations.
601-606
export record as
dblp key:
conf/aaai/CheesemanSKTFS88 export record as
dblp key:
Carlo Berzuini :
Combining Symbolic Learning Techniques and Statistical Regression Analysis.
612-617
export record as
dblp key:
John E. Laird :
Recovery from Incorrect knowledge in Soar.
618-623
Formal Results in Learning
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Knowledge Acquisition
export record as
dblp key:
David C. Wilkins :
Knowledge Base Refinement Using Apprenticeship Learning Techniques.
646-653
Machine Architectures and Computer Languages for AI
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Architectures and Languages for Problem Solving
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Production Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Toru Ishida :
Optimizing Rules in Production System Programs.
699-704
export record as
dblp key:
Natural Language
Syntax
export record as
dblp key:
Mary P. Harper :
Representing Pronouns in Logical Form: Computational Constraints and Linguistic Evidence.
712-717
export record as
dblp key:
Samuel S. Epstein :
Principle-Based Interpretation of Natural Language Quantifiers.
718-723
Speech
export record as
dblp key:
Hideto Tomabechi ,
Masaru Tomita :
The Integration of Unification-Based Syntax/Semantics and Memory-Based Pragmatics for Real-Time Understanding of Noisy Continuous Speech Input.
724-728
export record as
dblp key:
export record as
dblp key:
Dialogue
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
David N. Chin :
Exploiting User Expertise in Answer Expression.
756-761
Robotics
Robotics
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/aaai/BoneschanscherDBT88
Integrated Robotics
export record as
dblp key:
Ernest Davis :
Inferring Ignorance from the Locality of Visual Perception.
786-790
export record as
dblp key:
export record as
dblp key:
User Interfaces
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Vision
export record as
dblp key:
Alex Pentland :
On the Extraction of Shape Information from Shading.
826-830
export record as
dblp key:
Andrea Califano :
Feature Recognition Using Correlated Information Contained in Multiple Neighborboods.
831-836
export record as
dblp key:
Invited Talks and Panels
export record as
dblp key:
Michael L. Brodie :
Future Intelligent Information Systems: AI and Database Technologies Working Together.
844-845
export record as
dblp key:
Harold Cohen :
How to Draw Three People in a Botanical Garden.
846-
data released under the ODC-BY 1.0 license
