![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
6th AAAI 1987: Seattle, WA
- Kenneth D. Forbus, Howard E. Shrobe:
Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, WA, USA, July 1987. Morgan Kaufmann 1987
AI Architecture
- Donald C. Allen, Seth A. Steinberg, Lawrence A. Stabile:
Recent Developments in Butterfly™ Lisp. 2-6 - David Billstrom, Joseph Brandenburg, John Teeter:
CCLISP™ on the iPSC™ Concurrent Computer. 7-12 - P. Daniel Cheng, J. Y. Yuang:
A Parallel Resolution Procedure Based on Connection Graph. 13-17 - Daniel D. Corkill, Kevin Q. Gallagher, Philip M. Johnson:
Achieving Flexibility, Efficiency, and Generality in Blackboard Architectures. 18-23 - Nicholas S. Flann, Thomas G. Dietterich, Dan R. Corpon:
Forward Chaining Logic Programming with the ATMS. 24-29 - M. Vaughan Johnson Jr., Barbara Hayes-Roth:
Integrating Diverse Reasoning Methods in the BB1 Blackboard Control Architecture. 30-35 - Michael A. Kelly, Rudolph E. Seviora:
A Multiprocessor Architecture for Production System Matching. 36-41 - Daniel P. Miranker:
TREAT: A Better Match Algorithm for AI Production System Matching. 42-47 - Steve Rowley, Howard E. Shrobe, Robert Cassels, Walter Hamscher:
Joshua: Uniform Access to Heterogeneous Knowledge Structures, or why Joshing Is Better than Conniving or Planning. 48-52 - Vijay A. Saraswat:
CP as a General-Purpose Constraint-Language. 53-58 - Ramin Zabih, David A. McAllester, David Chapman:
Non-Deterministic Lisp with Dependency-directed Backtracking. 59-65
AI & Education
- David Servan-Schreiber:
From Intelligent Tutoring to Computerized Psychotherapy. 66-71 - Kathleen M. Swigger, Hugh Burns, Harry Loveland, Terresa Jackson:
An Intelligent Tutoring System for Interpreting Ground Tracks. 72-76 - Y. M. Visetti, Philippe Dague:
Plan Inference and Student Modeling in ICAI. 77-81 - Beverly Park Woolf, Pat Cunningham:
Building a Community Memory for Intelligent Tutoring Systems. 82-89
Automated Reasoning
- Bruce Abramson, Richard E. Korf:
A Model of Two-Player Evaluation Functions. 90-94 - Thierry Boy de la Tour, Ricardo Caferra:
Proof Analogy in Interactive Theorem Proving: A Method to Express and Use It via Second Order Pattern Matching. 95-99 - Ping-Ching Chi, Dana S. Nau:
Comparing Minimax and Product in a Variety of Games. 100-104 - Avi Dechter, Rina Dechter:
Removing Redundancies in Constraint Networks. 105-109 - Alan Garvey, Craig Cornelius, Barbara Hayes-Roth:
Computational Costs versus Benefits of Control Reasoning. 110-115 - Raymond D. Gumb:
Filming a Terrain under Uncertainty Using Temporal and Probahilistic Reasoning. 116-120 - David Heckerman, Eric Horvitz:
On the Expressiveness of Rule-based Systems for Reasoning with Uncertainty. 121-126 - Van E. Kelly, Uwe Nonnenmann:
Inferring Formal Software Specifications from Episodic Descriptions. 127-132 - Richard E. Korf:
Real-Time Heuristic Search: First Results. 133-138 - Fangzhen Lin:
Reasoning in the Presence of Inconsistency. 139-143 - Peiya Liu, Ruey-Juin Chang:
A New Structural Induction Scheme for Proving Properties of Mutually Recursive Concepts. 144-148 - Robert McCartney:
Synthesizing Algorithms with Performance Constraints. 149-154 - Zohar Manna, Richard J. Waldinger:
The Deductive Synthesis of Imperative LISP Programs. 155-160 - Neil V. Murray, Erik Rosenthal:
Path Dissolution: A Strongly Complete Rule of Inference. 161-166 - Charles J. Petrie:
Revised Dependencydirected Backtracking for Default Reasoning. 167-172 - Gregory M. Provan:
Efficiency Analysis of Multiple-Context TMSs in Scene Representation. 173-177 - V. Nageshwara Rao, Vipin Kumar, K. Ramesh:
A Parallel Implementation of Iterative-Deepening-A*. 178-182 - Raymond Reiter, Johan de Kleer:
Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report. 183-189
Planning
- Carol A. Broverman, W. Bruce Croft:
Reasoning about Exceptions during Plan Execution Monitoring. 190-195 - Thomas L. Dean, Mark S. Boddy:
Incremental Causal Reasoning. 196-201 - R. James Firby:
An Investigation into Reactive Planning in Complex Domains. 202-206 - Michael Gelfond
:
On Stratified Autoepistemic Theories. 207-211 - Matthew L. Ginsberg, David E. Smith:
Possible Worlds and the Qualification Problem. 212-217 - Brian A. Haugh:
Simple Causal Minimizations for Temporal Persistence and Projection. 218-223 - Caroline C. Hayes:
Using Goal Interactions to Guide Planning. 224-228 - John C. Hogge:
Compiling Plan Operators from Domains Expressed in Qualitative Process Theory. 229-233 - Peter B. Ladkin:
Models of Axioms for Time Intervals. 234-239 - Amy L. Lansky, David S. Fogelsong:
Localized Representation and Planning Methods for Parallel Domains. 240-245 - Richard N. Pelavin, James F. Allen:
A Model for Concurrent Actions Having Temporal Extent. 246-250 - Edward P. K. Tsang:
The Consistent Labeling Problem in Temporal Reasoning. 251-255 - Raúl E. Valdés-Pérez:
The Satisfiability of Temporal Constraint Networks. 256-260 - Marianne Winslett:
Validating Generalized Plans in the Presence of Incomplete Information. 261-267
Cognitive Modeling
- Philip E. Agre, David Chapman:
Pengi: An Implementation of a Theory of Activity. 268-272 - Kevin D. Ashley, Edwina L. Rissland:
Compare and Contrast: A Test of Expertise. 273-278 - Dana H. Ballard:
Modular Learning in Neural Networks. 279-284 - Hsinchun Chen, Vasant Dhar:
Reducing Indeterminism in Consultation: A Cognitive Model of User/Librarian Interactions. 285-289 - Gary L. Drescher:
A Mechanism for Early Piagetian Learning. 290-294 - Robert Kass, Tim Finin:
Rules for the Implicit Acquisition of Knowledge about the User. 295-300 - Wendy G. Lehnert:
Case-based Problem Solving with a Large Knowledge Base of Learned Cases. 301-306 - H. Van Dyke Parunak, James Kindrick, Bruce W. Irish:
Material Handling: A Conservative Domain for Neural Connectivity and Propagation. 307-311 - Ashwin Ram:
AQUA: Asking Questions and Understanding Answers. 312-316 - Lisa F. Rau:
Information Retrieval from Never-Ending Stories. 317-321 - Janice Skorstad, Brian Falkenhainer, Dedre Gentner:
Analogical Processing: A Simulation and Empirical Corroboration. 322-326 - Ingrid Zukerman:
Goal-based Generation of Motivational Expressions in a Learning Environment. 327-333
Default Reasoning
- Gary C. Borchardt:
Incremental Inference: Getting Multiple Agents to Agree on What to Do Next. 334-339 - James P. Delgrande:
An Approach to Default Reasoning Based on a First-Order Conditional Logic. 340-345 - Mark Derthick:
Counterfactual Reasoning with Direct Models. 346-351 - David W. Etherington:
More on Inheritance Hierarchies with Exceptions: Default Theories and Inferential Distance. 352-357 - John F. Horty, Richmond H. Thomason, David S. Touretzky:
A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks. 358-363 - Vladimir Lifschitz:
Circumscriptive Theories: A Logic-based Framework for Knowledge Representation (Preliminary Report). 364-368 - Judea Pearl:
Embracing Causality in Formal Reasoning. 369-373 - Judea Pearl, Thomas Verma:
The Logic of Representing Dependencies by Directed Graphs. 374-379 - Chern H. Seet:
Default Reasoning through Belief Revision Strategy. 380-384 - Wlodek Zadrozny:
A Theory of Default Reasoning. 385-393
Knowledge Representation
- James R. Allard, William Kaemmerer:
The Goal/Subgoal Knowledge Representation for Real-Time Process Monitoring. 394-398 - Russ B. Altman, Bruce G. Buchanan:
Partial Compilation of Strategic Knowledge. 399-404 - Ey-Chih Chow:
Representing Databases in Frames. 405-409 - Philip R. Cohen, Hector J. Levesque:
Intention = Choice + Commitment. 410-415 - Thomas Y. Galloway:
TAXI: A Taxonomic Assistant. 416-420 - Ashok K. Goel, Neelam Soundararajan, B. Chandrasekaran:
Complexity in Classificatory Reasoning. 421-425 - Hector J. Levesque:
All I Know: An Abridged Report. 426-431 - Michael R. Lowry:
Algorithm Synthesis through Problem Reformulation. 432-436 - Paul Morris:
Curing Anomalous Extensions. 437-442 - Robert Nado, Richard Fikes:
Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults. 443-448 - Jane Terry Nutter:
Assimilation: A Strategy for Implementing Self-Reorganizing Knowledge Bases. 449-455
Machine Learning & Knowledge Acquisition
- Margaret E. Connell, Paul E. Utgoff:
Learning to Control a Dynamic Physical System. 456-460 - Douglas H. Fisher:
Improving Inference through Conceptual Clustering. 461-465 - David Haussler:
Learning Conjunctive Concepts in Structural Domains. 466-470 - Max Henrion, Daniel R. Cooley:
An Experimental Comparison of Knowledge Engineering for Expert Systems and for Decision Analysis. 471-476 - Smadar T. Kedar-Cabelli:
Formulating Concepts According to Purpose. 477-481 - Richard M. Keller:
Defining Operationality for Explanation-based Learning. 482-487 - Georg Klinker, Casey Boyd, Serge Genetet, John P. McDermott:
A KNACK for Knowledge Acquisition. 488-493 - Armand Prieditis, Jack Mostow:
PROLEARN: Towards a Prolog Interpreter that Learns. 494-498 - Paul S. Rosenbloom, John E. Laird, Allen Newell:
Knowledge Level Learning in Soar. 499-504 - Stuart J. Russell, Benjamin N. Grosof:
A Declarative Approach to Bias in Concept Learning. 505-510 - Jeffrey C. Schlimmer:
Learning and Representation Change. 511-515 - Jude W. Shavlik, Gerald DeJong:
BAGGER: An EBL System that Extends and Generalizes Explanations. 516-520 - Sholom M. Weiss, Robert S. Galen, Prasad Tadepalli
:
Optimizing the Predictive Value of Diagnostic Decision Rules. 521-527
Natural Language
- Robin Cohen:
Interpreting Clues in Conjunction with Processing Restrictions in Arguments and Discourse. 528-533 - Bonnie J. Dorr:
UNITRAN: An Interlingual Approach to Machine Translation. 534-539 - Kurt P. Eiselt:
Recovering from Erroneous Inferences. 540-544 - Eduard H. Hovy:
Interpretation in Generation. 545-549 - Aravind K. Joshi:
Word-Order Variation in Natural Language Generation. 550-555 - Candace E. Kalish, Matthew B. Cox:
Porting and Extensible Natural Language Interface: A Case History. 556-560 - Peter Norvig:
Inference in Text Understanding. 561-565 - James Pustejovsky, Sabine Bergler:
The Acquisition of Conceptual Structure for the Lexicon. 566-570 - Elaine Rich, Jim Barnett, Kent Wittenburg, David A. Wroblewski:
Ambiguity Procrastination. 571-576 - Craig Stanfill:
Memory-based Reasoning Applied to English Pronunciation. 577-581 - David A. Wroblewski:
Nondestructive Graph Unification. 582-589
Engineering Problem Solving
- John W. Collins, Kenneth D. Forbus:
Reasoning about Fluids via Molecular Collections. 590-594 - Bruce D'Ambrosio:
Extending the Mathematics in Qualitative Process Theory. 595-599 - Philippe Dague, Olivier Raiman, Philippe Deves:
Troubleshooting: When Modeling Is the Trouble. 600-605 - Ajay Gupta:
Explanation-based Failure Recovery. 606-610 - Leo Joskowicz:
Shape and Function in Mechanical Devices. 611-615 - Mieczyslaw M. Kokar:
Critical Hypersurfaces and the Quantity Space. 616-620 - Benjamin Kuipers:
Abstraction by Time-Scale in Qualitative Simulation. 621-625 - Michael L. Mavrovouniotis, George Stephanopoulos:
Reasoning with Orders of Magnitude and Approximate Relations. 626-630 - Sanjay Mittal, Felix Frayman:
Making Partial Choices in Constraint Reasoning Problems. 631-636 - Seshashayee S. Murthy, Sanjaya Addanki:
PROMPT: An Innovative Design Tool. 637-642 - Toyoaki Nishida, Shuji Doshita:
Reasoning about Discontinuous Change. 643-648 - Elisha Sacks:
Hierarchical Reasoning about Inequalities. 649-654 - Elisha Sacks:
Piecewise Linear Reasoning. 655-661 - Michael P. Wellman:
Probabilistic Semantics for Qualitative Influences. 662-664 - Kenneth Man-kam Yip:
Extracting Qualitative Dynamics from Numerical Experiments. 665-671
Robotics
- Jeffrey M. Becker, Fred L. Garrett:
An Architecture for Intelligent Task Automation. 672-676 - Michael P. Georgeff, Amy L. Lansky:
Reactive Reasoning and Planning. 677-682 - Fred Lakin:
Visual Grammars for Visual Languages. 683-688 - Tod S. Levitt, Daryl T. Lawton, David M. Chelberg, Philip C. Nelson:
Qualitative Landmark-based Path Planning and Following. 689-694 - David R. Strip:
Insertions Using Geometric Analysis and Hybrid Force-Position Control on a PUMA 560 with VAL II. 695-699
Vision
- John L. Barron, Allan D. Jepson, John K. Tsotsos:
The Sensitivity of Motion and Structure Computations. 700-705 - Pascal Fua, Andrew J. Hanson:
Using Generic Geometric Models for Intelligent Shape Extraction. 706-711 - Andres Huertas, William Cole, Ramakant Nevatia:
Detecting Runways in Aerial Images. 712-717 - Jonathan J. Hull:
Hypothesis Testing in a Computational Theory of Visual Word Recognition. 718-722 - Mark L. Moerdler, John R. Kender:
An Integrated System that Unifies Multiple Shape from Texture Algorithms. 723-727 - K. Prasdny:
Similitude-Invariant Pattern Recognition Using Parallel Distributed Processing. 728-732 - Franc Solina, Ruzena Bajcsy:
Range Image Interpretation of Mail Pieces with Superquadrics. 733-737 - Minas E. Spetsakis, Yiannis Aloimonos:
Closed Form Solution to the Structure from Motion Problem from Line Correspondences. 738-743 - Muralidhara Subbarao:
Bounds on Translational and Angular Velocity Components from First Order Derivatives of Image Flow. 744-748 - Richard Szeliski:
Regularization Uses Fractal Priors. 749-754 - Demetri Terzopoulos, Andrew P. Witkin, Michael Kass:
Energy Constraints on Deformable Models: Recovering Shape and Non-Rigid Motion. 755-760 - William B. Thompson, Michael T. Checky, William Kaemmerer:
Shadow Stereo-Locating Object Boundaries Using Shadows. 761-766 - Deborah Walters, Ganapathy Krishnan:
Perceptual Significance Hierarchy: A Computer Vision Theory for Color Separation. 767-771 - William M. Wells III:
Visual Estimation of 3-D Line Segments from Motion - A Mobile Robot Vision System. 772-777
Expert Systems
- B. Chandrasekaran, William F. Punch III:
Data Validation during Diagnosis: A Step beyond Traditional Sensor Validation. 778-782 - Paul R. Cohen, Michael Greenberg, Jefferson DeLisio:
MU: A Development Environment for Prospective Reasoning Systems. 783-788 - Keith L. Downing:
Diagnostic Improvement through Qualitative Sensitivity Analysis and Aggregation. 789-793 - O. Eliyahu, Lev Zaidenberg, Moshe Ben-Bassat:
CAMEX - An Expert System for Process Planning on CNC Machines. 794-798 - Robert J. Hall, Richard H. Lathrop, Robert S. Kirk:
A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits. 799-803 - H. Craig Howard, Daniel R. Rehak:
KADBASE - A Prototype Expert System-Database Interface for Integrated CAE Environments. 804-808 - William Kaemmerer, James R. Allard:
An Automated Reasoning Technique for Providing Moment-by-Moment Advice Concerning the Operation of a Process. 809-813 - Gary S. Kahn, Al Kepner, Jeff Pepper:
TEST: A Model-driven Application Shell. 814-818 - Sharon J. Laskowski, Emily J. Hofmann:
Script-based Reasoning for Situation Monitoring. 819-823 - Elliot Soloway, Judy Bachant, Keith Jensen:
Assessing the Maintainability of XCON-in-RIME: Coping with the Problems of a VERY Large Rule-Base. 824-829 - Louis I. Steinberg:
Design as Refinement Plus Constraint Propagation: The VEXED Experience. 830-835
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.