5. AAAI 1986: Philadelphia, PA
Tom Kehler (Ed.): Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, PA, August 11-15, 1986. Volume 1: Science. Morgan Kaufmann 1986
Automated Reasoning
Automated Reasoning
- Yishai A. Feldman, Charles Rich: Reasoning with Simplifying Assumptions: A Methodology and Example. 2-7
- Gerhard Brewka: Tweety - Still Flying: Some Remarks on Abnormal Birds Applicable Rules and a Default Prover. 8-12
- Paul Morris, Robert Nado: Representing Actions with an Assumption-Based Truth Maintenance System. 13-20
Automatic Programming
- Donald Cohen: Automatic Compilation of Logical Specifications into Efficient Programs. 21-25
Planning
- Marvin Belzer: A Logic of Deliberation. 38-43
- James G. Schmolze: Physics for Robots. 44-50
- Michael R. Genesereth, Matthew L. Ginsberg, Jeffrey S. Rosenschein: Cooperation without Communication. 51-57
- Edmund H. Durfee, Victor R. Lesser: Incremental Planning to Control a Blackboard-based Problem Solver. 58-64
- Richard Alterman: An Adaptive Planner. 65-69
- Michael P. Georgeff: The Representation of Events in Multiagent Domains. 70-75
- Josh D. Tenenberg: Planning with Abstraction. 76-80
- Richard J. Doyle, David Atkinson, Rajkumar Doshi: Generating Perception Requests and Expectations to Verify the Execution of Plans. 81-88
Qualitative Reasoning and Diagnosis
- Olivier Raiman: Order of Magnitude Reasoning. 100-104
- Brian C. Williams: Doing Time: Putting Qualitative Reasoning on Firmer Ground. 105-112
- Kenneth D. Forbus: Interpreting Measurements of Physical Systems. 113-117
- Reid G. Simmons: Commonsense Arithmetic Reasoning. 118-124
- John Yen: A Reasoning Model Based on an Extended Dempster-Shafer Theory. 125-131
Search
- Jens Christensen, Richard E. Korf: A Unified Theory of Heuristic Evaluation Functions and its Application to Learning. 148-152
- Subir Bhattacharya, Amitava Bagchi: Making Best Use of Available Memory When Searching Game Trees. 163-167
- Daniel Ratner, Manfred K. Warmuth: Finding a Shortest Solution for the N × N Extension of the 15-PUZZLE Is Intractable. 168-172
- Rina Dechter: Learning While Searching in Constraint-Satisfaction-Problems. 178-185
Theorem Proving
- Teodor C. Przymusinski: Query Answering in Circumscriptive and Closed-World Theories. 186-190
- Lawrence J. Henschen, Hyung-Sik Park: Indefinite and GCWA Inference in Indefinite Deductive Databases. 191-197
- Dale Miller, Amy P. Felty: An Integration of Resolution and Natural Deduction Theorem Proving. 198-202
- Dana H. Ballard: Parallel Logical Inference and Energy Minimization. 203-209
Uncertainty and Expert Systems
- Eric Horvitz, David Heckerman, Curtis Langlotz: A Framework for Comparing Alternative Formalisms for Plausible Reasoning. 210-214
- Curtis Langlotz, Edward H. Shortliffe, Lawrence M. Fagan: Using Decision Theory to Justify Heuristics. 215-219
- Gerald Liu: Causal and Plausible Reasoning in Expert Systems. 220-225
- Marshall I. Schor, Timothy Daly, Ho Soo Lee, Beth Tibbitts: Advances in Rete Pattern Matching. 225-232
- Paul Snow: Bayesian Inference without Point Estimates. 233-237
- Peter Haddawy: Implementation of and Experiments with a Variable Precision Logic Inference System. 238-242
- Matthew L. Ginsberg: Multi-Valued Logics. 243-249
Cognitive Modeling and Education
- Sergio Alvarado, Michael G. Dyer, Margot Flowers: Editorial Comprehension in OpEd through Argument Units. 250-256
- 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
- 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
- Thomas Edelson: Can a System Be Intelligent if It Never Gives a Damn? 298-302
- 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
- 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
- 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
- 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, 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
- William Bain: A Case-Based Reasoning System for Subjective Assessment. 523-527
- 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
- Kristian J. Hammond: Learning to Anticipate and Avoid Planning Problems through the Explanation of Failures. 556-560
- Robert J. Hall: Learning by Failing to Explain. 568-573
Natural Language
- Steven L. Lytinen: Dynamically Combining Syntax and Semantics in Natural Language Processing. 574-587
- Eugene Charniak: A Neat Theory of Marker Passing. 584-588
- Kathleen Dahlgren, Joyce P. McDowell: Using Commonsense Knowledge to Disambiguate Prepositional Phrase Modifiers. 589-593
- Philip Johnson, Wendy G. Lehnert: Beyond Exploratory Programming: A Methodology and Environment for Conceptual Natural Language Processing. 594-600
- Lenhart K. Schubert: Are There Preference Trade-offs in Attachment Decisions? 601-605
- Ingrid Zukerman, Judea Pearl: Comprehension-Driven Generation of Meta-Technical Utterances in Math Tutoring. 606-611
- Norman K. Sondheimer, Bernhard Nebel: A Logical-Form and Knowledge-Base Design for Natural Language Generation. 612-618
- Diane J. Litman: Understanding Plan Ellipsis. 619-625
Perception and Robotics
- Tomás Lozano-Pérez: A Simple Motion Planning Algorithm for General Robot Manipulators. 626-631
- R. E. Ellis, Edward M. Riseman, Allen R. Hanson: Tactile Recognition by Probing: Identifying a Polygon on a Plane. 632-637
- Eric Saund: Abstraction and Representation of Continuous Variables in Connectionist Networks. 638-644
- Hussein Ibrahim, John R. Kender, David Elliot Shaw: SIMD Tree Algorithms for Image Correlation. 645-651
- Harit P. Trivedi: On the Reconstruction of a Scene from Two Unregistered Images. 652-656
- David Heeger: Depth and Flow From Motion Energy. 657-663
- John R. Kender, Earl Smith: Shape from Darkness: Deriving Surface Information from Dynamic Shadows. 664-669
- Stephen T. Barnard: A Stochastic Approach to Stereo Vision. 676-680
- Yiannis Aloimonos, Isidore Rigoutsos: Determining the 3-D Motion of a Rigid Surface Patch Without Correspondence under Perspective Projection. 681-688
- Grahame B. Smith: A Stereo Integral Equation. 689-694
- Alex Pentland: Parts: Structured Descriptions of Shape. 695-701
- Michael Leyton: Constraint-Theorems on the Prototypification of Shape. 702-706
- Michael Kass: Linear Image Features in Stereopsis. 707-713
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203624 by the dblp team