default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th AAAI 1986: Philadelphia, PA
- Tom Kehler:
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, PA, USA, 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 - Andrzej Skowron, Alberto Pettorossi:
Factual Knowledge For Developing Concurrent Programs. 26-31
Planning
- Henry A. Kautz, James F. Allen:
Generalized Plan Recognition. 32-37 - 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 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 - Erik Sandewall, Ralph Rönnquist:
A Representation of Action Structures. 89-97
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 - Johan de Kleer, Brian C. Williams:
Reasoning about Multiple Faults. 132-139 - Yun Peng, James A. Reggia:
Plausibility of Diagnostic Hypotheses: The Nature of Simplicity. 140-147
Search
- Jens Christensen, Richard E. Korf:
A Unified Theory of Heuristic Evaluation Functions and its Application to Learning. 148-152 - Richard Treitel, Michael R. Genesereth:
Choosing Directions for Rules. 153-157 - Carol Luckhart, Keki B. Irani:
An Algorithmic Solution of N-Person Games. 158-162 - 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 - Daniel Ratner, Ira Pohl:
Joint and LPA*: Combination of Approximation and Search. 173-177 - 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 P. Langlotz:
A Framework for Comparing Alternative Formalisms for Plausible Reasoning. 210-214 - Curtis P. 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 - 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, Roger 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 Y. White, John Frederiksen:
Intelligent Tutoring Systems Based Upon Qualitative Model Evolutions. 313-319 - David C. 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-François 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 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 M. 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 W. 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
- Steven L. Lytinen:
Dynamically Combining Syntax and Semantics in Natural Language Processing. 574-587 - Jean-Louis Binot, Daniel Ribbens:
Dual Frames: A New Tool for Semantic Parsing. 579-583 - 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 - Randy 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 - Kwangyoen Wohn, Jian Wu:
3-D Motion Recovery From Time-Varying Optical Flows. 670-675 - 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 - Andrew P. Witkin, Demetri Terzopoulos, Michael Kass:
Signal Matching Through Scale Space. 714-719
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-27 23:56 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
