5. AAAI 1986:
Philadelphia,
PA
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia,
PA, August 11-15, 1986. Morgan Kaufmann, 1986, Two Volumes, Volume 1: Science
Automated Reasoning
Automated Reasoning
Automatic Programming
Planning
Qualitative Reasoning and Diagnosis
Search
Theorem Proving
Uncertainty and Expert Systems
Cognitive Modeling and Education
- Sergio Alvarado, Michael G. Dyer, Margot Flowers:
Editorial Comprehension in OpEd through Argument Units.
250-256
- Charles Martin, Christopher Riesbeck:
Uniform Parsing and Inferencing for Learning.
257-261
- Noel E. Sharkey, Richard F. E. Sutcliffe, Wayne Wobcke:
Mixing Binary and Continuous Connection Schemes for Knowledge Access.
262-266
- Kristian J. Hammond:
CHEF: A Model of Case-Based Planning.
267-271
- Brian Falkenhainer, Kenneth D. Forbus, Dedre Gentner:
The Structure-Mapping Engine.
272-277
- Stuart C. Shapiro, William J. Rapaport:
SNePS Considered as a Fully Intensional Propositional Semantic Network.
278-283
- Stuart J. Russell:
Quantitative Analysis of Analogy.
284-288
- Edwina L. Rissland, Kevin D. Ashley:
Hypotheticals as Heuristic Device.
289-297
- Thomas Edelson:
Can a System Be Intelligent if It Never Gives a Damn?
298-302
- M. J. Coombs, R. T. Hartley:
Debugging User Conceptions of Interpretation Processes.
303-307
- Wanda J. Orlikowski, Vasant Dhar:
Imposing Structure on Linear Programming Problems: An Empirical Analysis of Expert and Novice Models.
308-312
- Barbara White, John Frederiksen:
Intelligent Tutoring Systems Based Upon Qualitative Model Evolutions.
313-319
- David Littman, Jeannine Pinto, Elliot Soloway:
An Analysis of Tutorial Reasoning about Programming Bugs.
320-327
Knowledge Representation
- Steve Hanks, Drew V. McDermott:
Default Reasoning, Nonmonotonic Logics, and the Frame Problem.
328-333
- Johannes de Haan, Lenhart K. Schubert:
Inference in a Topically Organized Semantic Net.
334-338
- Judea Pearl:
On the Logic of Probabilistic Dependencies.
339-343
- Peter F. Patel-Schneider:
A Four-Valued Semantics for Frame-Based Description Languages.
344-348
- Simon Kasif:
On the Parallel Complexity of Some Constraint Satisfaction Problems.
349-353
- Peter B. Ladkin:
Primitives and Units for Time Specification.
353-359
- Peter B. Ladkin:
Time Representation: A Taxonomy of Internal Relations.
360-366
- Bruce Leban, David McDonald, David Forster:
A Representation for Collections of Temporal Intervals.
367-371
- Hon Wai Chun:
A Representation for Temporal Sequence and Duration in Massively Parallel Networks.
372-376
- Marc B. Vilain, Henry A. Kautz:
Constraint Propagation Algorithms for Temporal Reasoning.
377-382
- Jean-Francois Rit:
Propagating Temporal Constraints for Scheduling.
383-388
- Yoav Shoham:
Chronological Ignorance: Time, Nonmonotonicity, Necessity and Causal Theories.
389-393
- Frank Brown:
A Comparison of the Commonsense and Fixed Point Theories of Nonmonotonicity.
394-400
- Henry A. Kautz:
The Logic of Persistence.
401-405
- Vladimir Lifschitz:
Pointwise Circumscription: Preliminary Report.
406-410
- John A. Barnden:
A Viewpoint Distinction in the Representation of Propositional Attitudes.
411-415
- Donald Perlis:
Self-Reference, Knowledge, Belief, and Modality.
416-420
- Marianne Winslett:
Is Belief Revision Harder Than You Thought?
421-427
- Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
What Can Machines Know? On the Epistemic Properties of Machines.
428-435
Learning
- Allen Ginsberg:
A Metalinguistic Approach to the Construction of Knowledge Base Refinement Systems.
436-441
- Won D. Lee, Sylvian R. Ray:
Rule Refinement Using the Probabilistic Rule Generator.
442-447
- David C. Wilkins, Bruce G. Buchanan:
On Debugging Rule Sets When Reasoning Under Uncertainty.
448-454
- Mieczyslaw M. Kokar:
Discovering Functional Formulas through Changing Representation Base.
455-459
- Nicholas S. Flann, Thomas G. Dietterich:
Selecting Appropriate Representations for Learning from Examples.
460-466
- David Mutchler:
Optimal Allocation of Very Limited Search Resources.
467-471
- Philip D. Laird:
Inductive Inference by Refinement.
472-476
- Stuart J. Russell:
Preliminary Steps Toward the Automation of Induction.
477-484
- David Haussler:
Quantifying the Inductive Bias in Concept Learning (Extended Abstract).
485-489
- Patricia Cheng, Jaime G. Carbonell:
The FERMI System: Inducing Iterative Macro-Operators from Experience.
490-495
- Jeffrey C. Schlimmer, Douglas H. Fisher:
A Case Study of Incremental Concept Induction.
496-501
- Jeffrey C. Schlimmer, Richard H. Granger:
Beyond Incremental Processing: Tracking Concept Drift.
502-507
- Bernhard Nordhausen:
Conceptual Clustering Using Relational Information.
508-512
- Randy Jones:
Generating Predictions to Aid the Scientific Discovery Process.
513-517
- Devika Subramanian, Joan Feigenbaum:
Factorization in Experiment Generation.
518-522
- William Bain:
A Case-Based Reasoning System for Subjective Assessment.
523-527
- Donald Rose, Pat Langley:
STAHLp: Belief Revision in Scientific Discovery.
528-532
- Michael Lebowitz:
Not the Path to Perdition: The Utility of Similarity-Based Learning.
533-537
- Richard J. Doyle:
Constructing and Refining Causal Explanations from an Inconsistent Domain Theory.
538-544
- Michael J. Pazzani, Michael G. Dyer, Margot Flowers:
The Role of Prior Causal Theories in Generalization.
545-550
- Raymond J. Mooney, Scott Bennett:
A Domain Independent Explanation-Based Generalizer.
551-555
- Kristian J. Hammond:
Learning to Anticipate and Avoid Planning Problems through the Explanation of Failures.
556-560
- Paul S. Rosenbloom, John E. Laird:
Mapping Explanation-Based Generalization onto Soar.
561-567
- Robert J. Hall:
Learning by Failing to Explain.
568-573
Natural Language
Perception and Robotics
Copyright © Sun Mar 14 22:54:07 2010
by Michael Ley (ley@uni-trier.de)
