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