default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th AAAI 1988: St. Paul, Minnesota
- Howard E. Shrobe, Tom M. Mitchell, Reid G. Smith:
Proceedings of the 7th National Conference on Artificial Intelligence, St. Paul, MN, USA, August 21-26, 1988. AAAI Press / The MIT Press 1988, ISBN 0-262-51055-3
AI and Education
- Robert G. Farrell:
Facilitating Self-Education by Questioning Assumptive Reasoning. 2-7
Automated Reasoning
Automatic Programming
- David M. Steier, Allen Newell:
Integrating Multiple Sources of Knowledge Into Designer Soar, an Automatic Algorithm Designer. 8-13 - Michael R. Lowry:
Invariant Logic: A Calculus for Problem Reformulation. 14-18 - Stephen Fickas, P. Nagarajan:
Being Suspicious: Critiquing Problem Specifications. 19-24 - Mark F. Orelup, John R. Dixon, Paul R. Cohen, Melvin K. Simmons:
Dominic II: Meta-Level Control in Iterative Redesign. 25-30
Constraints
- Andrew Gelman, Susan Altman, Matt Pallakoff, Ketan Doshi, Catherine Manago, Thomas C. Rindfleisch, Bruce G. Buchanan:
FRM: An Intelligent Assistant for Financial Resource Management. 31-36 - Rina Dechter, Avi Dechter:
Belief Maintenance in Dynamic Constraint Networks. 37-42
Planning
- John C. Hogge:
Prevention Techniques for a Temporal Planner. 43-48 - Thomas L. Dean, Mark S. Boddy:
An Analysis of Time-Dependent Planning. 49-54 - Edwin P. D. Pednault:
Extending Conventional Planning Techniques to Handle Actions with Context-Depen dent Effects. 55-59 - Leslie Pack Kaelbling:
Goals as Parallel Program Specifications. 60-64 - Edmund H. Durfee, Victor R. Lesser:
Predictability Versus Responsiveness: Coordinating Problem Solvers in Dynamic Domains. 65-71 - Thomas J. Laffey, Scott M. Weitzenkamp, Jackson Y. Read, Simon A. Kao, James L. Schmidt:
Intelligent Real-Time Monitoring. 72-76 - Peng Si Ow, Stephen F. Smith, Alfred Thirlez:
Reactive Plan Revision. 77-82 - Jose A. Ambros-Ingerson, Sam Steel:
Integrating Planning, Execution and Monitoring. 83-88 - Marianne Winslett:
Reasoning about Action Using a Possible Models Approach. 89-93 - Reid G. Simmons:
A Theory of Debugging Plans and Interpretations. 94-99 - John S. Anderson, Arthur M. Farley:
Plan Abstraction Based on Operator Generalization. 100-104 - Yasuyuki Maeda, Katsuya Shinohara:
Geometric Reasoning and Organized Optimization for Automated Process Planning. 105-110
Rule-Based Reasoning
- Eric Horvitz:
Reasoning under Varying and Uncertain Resource Constraints. 111-116 - James Bowen, Jianchu Kang:
Conflict Resolution in Fuzzy Forward-Chaining Production Systems. 117-121
Search
- Vipin Kumar, K. Ramesh, V. Nageshwara Rao:
Parallel Best-First Search of State-Space Graphs: A Summary of Results. 122-127 - Chris Ferguson, Richard E. Korf:
Distributed Tree Search and Its Application to Alpha-Beta Pruning. 128-132 - Steven Bradtke, Wendy G. Lehnert:
Some Experiments with Case-Based Search. 133-138 - Richard E. Korf:
Real-Tme Heuristic Search: New Results. 139-144 - K. V. Viswanathan, A. Bagchi:
An Exact Best-First Search Procedure for the Constrained Rectangular Guillotine Knapsack Problem. 145-149 - Rina Dechter, Judea Pearl:
Tree-Clustering Schemes for Constraint-Processing. 150-154 - Ramin Zabih, David A. McAllester:
A Rearrangement Search Strategy for Determining Propositional Satisfiability. 155-160
Theorem Proving
- Stephanie A. Miller, Lenhart K. Schubert:
Using Specialists to Accelerate General Reasoning. 161-165 - Nachum Dershowitz, G. Sivakumar:
Goal-Directed Equation Solving. 166-170 - Chris Groeneboer, James P. Delgrande:
Tableau-Based Theorem Proving In Normal Conditional Logics. 171-176 - Peter Jackson, Han Reichgelt:
A General Proof Method for Modal Predicate Logic without the Barcan Formula. 177-181
Truth Maintenance Systems
- Caroline N. Koff, Nicholas S. Flann, Thomas G. Dietterich:
An Efficient ATMS for Equivalence Relations. 182-187 - Johan de Kleer:
A General Labeling Algorithm for Assumption-Based Truth Maintenance. 188-192 - Kenneth D. Forbus, Johan de Kleer:
Focusing the ATMS. 193-198 - Michael Dixon, Johan de Kleer:
Massively Parallel Assumption-Based Truth Maintenance. 199-204
Uncertainty
- Debra K. Zarley, Yen-Teh Hsia, Glenn Shafer:
Evidential Reasoning Using DELEF. 205-209 - Kathryn B. Laskey, Paul E. Lehner:
Belief Maintenance: An Integrated Approach to Uncertainty Management. 210-214 - Mary McLeish:
A Note on Probabilistic Logic. 215-221
Cognitive Modeling
- Steven L. Lytinen, Carol E. Moon:
Learning a Second Language. 222-226 - John F. Reeves:
Ethical Understanding: Recognizing and Using Belief Conflict in Narrative Processing. 227-232 - Douglas H. Fisher:
A Computational Account of Basic Level and Typicality Effects. 233-238 - Kevin D. Ashley, Edwina L. Rissland:
Waiting on Weighting: A Symbolic Least Commitment Approach. 239-244 - Katia P. Sycara:
Resolving Goal Conflicts via Negotiation. 245-250 - David B. Leake:
Evaluating Explanations. 251-255 - Phyllis Koton:
Reasoning about Evidence in Causal Explanations. 256-263
Common Sense Reasoning
Qualitative Reasoning
- Brian C. Williams:
MINIMA: A Symbolic Approach to Qualitative Algebraic Reasoning. 264-269 - Paul Nielsen:
A Qualitative Approach to Mechanical Constraint. 270-274 - Peter Struss:
Global Filters for Qualitative Behaviors. 275-279 - Kenneth Man-kam Yip:
Generating Global Behaviors using Deep knowledge of Local Dynamics. 280-285 - Wood W. Lee, Benjamin Kuipers:
Non-Intersection of Trajectories in Qualitative Phase Space: A Global Constraint for Qualitative Simulation. 286-290 - David S. Weld:
Exaggeration. 291-295 - Seshashayee S. Murthy:
Qualitative Reasoning at Multiple Resolutions. 296-300 - Brian Falkenhainer, Kenneth D. Forbus:
Setting up Large-Scale Qualitative Models. 301-306 - Yumi Iwasaki, Inderpal S. Bhandari:
Formal Basis for Commonsense Abstraction of Dynamic Systems. 307-312 - Yumi Iwasaki:
Causal Ordering in a Mixed Structure. 313-318 - Jean-Luc Dormoy:
Controlling Qualitative Resolution. 319-323 - Benjamin Kuipers, Daniel Berleant:
Using Incomplete Quantitative Knowledge In Qualitative Reasoning. 324-329
Design
- Jean-Luc Dormoy, Olivier Raiman:
Assembling a Device. 330-335 - Sarosh Talukdar, James M. Rehg, Rob Woodbury, Alberto Elfes:
Upgrading Design Systems. 336-341 - Karl T. Ulrich, Warren P. Seering:
Function Sharing in Mechanical Design. 342-346 - Leo Joskowicz, Sanjaya Addanki:
From Kinematics to Shape: An Approach to Innovative Design. 347-352
Diagnosis
- Danny A. Pearce:
The Induction of Fault Diagnosis Systems from Qualitative Models. 353-357 - Peng Wu:
Design for Testability. 358-363 - Nancy E. Reed, Elizabeth R. Stuck, James B. Moen:
Specialized Strategies: An Altenative to First Principles in Diagnostic Problem Solving. 364-368 - Kathy H. Abbott:
Robust Operative Diagnosis as Problem Solving in a Hypothesis Space. 369-379
Knowledge Representation
Knowledge Representation
- Peter G. Selfridge:
How to Print a File: An Expert System Approach to Software Knowledge Representation. 380-385 - David B. Searls:
Representing Genetic Information with Formal Grammars. 386-391 - Jeffrey Van Baalen, Randall Davis:
Overview of an Approach to Representation Design. 392-397 - Michael P. Wellman, Reid G. Simmons:
Mechanisms for Reasoning about Sets. 398-402
Inheritance
- Robert M. MacGregor:
A Deductive Pattern Matcher. 403-408 - Lin Padgham:
A Model and Representation for Type Information and Its Use in Reasoning with Defaults. 409-414 - Paul R. Cohen, Cynthia L. Loiselle:
Beyond ISA: Structures for Plausible Inference In Semantic Networks. 415-420 - Brian A. Haugh:
Tractable Theories of Multiple Defeasible Inheritance in Ordinary Nonmonotonic Logics. 421-426 - John F. Horty, Richmond H. Thomason:
Mixing Strict and Defeasible Inheritance. 427-432 - David S. Touretzky, Richmond H. Thomason:
Nonmonotonic Inheritance and Generic Reflexives. 433-438
Nonmonotonic Logic
- Kurt Konolige:
Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning. 439-443 - Teodor C. Przymusinski:
On the Relationship Between Logic Programming and Nonmonotonic Reasoning. 444-448 - Hector Geffner:
On the Logic of Defaults. 449-454 - Michael Gelfond
, Vladimir Lifschitz:
Compiling Circumscriptive Theories into Logic Programs. 455-449 - Li-Yan Yuan, Cheng Hui Wang:
On Reducing Parallel Circumscription. 450-454 - Phokion G. Kolaitis, Christos H. Papadimitriou:
Some Computational Aspects of Circumscription. 455-469 - Matthew L. Ginsberg:
A Circumscriptive Theorem Prover. 470-474
Nonstandard Logics
- Mukesh Dalal:
Investigations into a Theory of Knowledge Base Revision. 475-479 - Anthony J. Bonner:
A Logic for Hypothetical Reasoning. 480-484 - Peter F. Patel-Schneider:
Adding Number Restrictions to a Four-Valued Terminological Logic. 485-490 - Laurent Catach:
Normal Multimodal Logics. 491-495
Temporal Reasoning
- Karen L. Myers, David E. Smith:
The Persistence of Derived Information. 496-500 - Steve Hanks:
Representing and Computing Temporally Scoped Beliefs. 501-505 - Paul Morris:
Stable Closures, Defeasible Logic and Contradiction Tolerant Reasoning. 506-511 - Peter B. Ladkin:
Satisfying First-Order Constraints About Time Intervals. 512-517 - Leora Morgenstern, Lynn Andrea Stein:
Why Things Go Wrong: A Formal Theory of Causal Reasoning. 518-523 - Thomas L. Dean, Keiji Kanazawa:
Probabilistic Temporal Reasoning. 524-529
Learning and Knowledge Acquisition
Learning
- Brian Falkenhainer:
The Utility of Difference-Based Reasoning. 530-535 - Kristian J. Hammond, Timothy M. Converse, Mitchell Marks:
Learning from Opportunities: Storing and Re-using Execution-Time Optimizations. 536-540 - Ralph Barletta, William Mark:
Explanation-Based Indexing of Cases. 541-546 - Subrata Roy, Jack Mostow:
Parsing to Learn Fine Gralned Rules. 547-551 - Bruce G. Buchanan, John Sullivan, Tze-Pin Cheng, Scott H. Clearwater:
Simulation-Assisted Inductive Learning. 552-557 - Kurt Ammon:
The Automatic Acquisition of Proof Methods. 558-563
Analytic Learning
- Steven Minton:
Quantitative Results Concerning the Utility of Explanation-Based Learning. 564-569 - Thomas Ellman:
Approximate Theory Formation: An Explanation-Based Approach. 570-574 - Michael S. Braverman, Stuart J. Russell:
IMEX: Overcoming Intactability In Explanation Based Learning. 575-579 - Jonathan Amsterdam:
Some Philosophical Problems with Formal Learning Theory. 580-584 - Allen Ginsberg:
Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy. 585-589 - Allen Ginsberg:
Theory Revision via Prior Operationalization. 590-595
Empirical Learning
- John J. Grefenstette:
Credit Assignment in Genetic Learning Systems. 596-600 - Paul E. Utgoff:
Perceptron Trees: A Case Study In Hybrid Concept Representations. 601-606 - Peter C. Cheeseman, Matthew Self, James Kelly, Will Taylor, Don Freeman, John C. Stutz:
Bayesian Classification. 607-611 - Carlo Berzuini:
Combining Symbolic Learning Techniques and Statistical Regression Analysis. 612-617 - John E. Laird:
Recovery from Incorrect knowledge in Soar. 618-623
Formal Results in Learning
- Edwin P. D. Pednault:
Infering Probabilistic Theofies from Data. 624-628 - Leslie G. Valiant:
Functionality in Neural Nets. 629-634 - Ronald L. Rivest, Robert H. Sloan:
Learning Complicated Concepts Reliably and Usefully. 635-640 - Stuart J. Russell:
Tree-Structured Bias. 641-645
Knowledge Acquisition
- David C. Wilkins:
Knowledge Base Refinement Using Apprenticeship Learning Techniques. 646-653
Machine Architectures and Computer Languages for AI
- Howard E. Shrobe, John G. Aspinall, Neil L. Mayle:
Towards a Virtual Parallel Inference Engine. 654-659 - Pascal Van Hentenryck, Jean-Philippe Carillon:
Generality versus Specificity: An Experience with AI and OR Techniques. 660-664 - D. D. Sharma, N. S. Sridharan:
Knowledge-Based Real-Time Control: A Parallel Processing Perspective. 665-670
Architectures and Languages for Problem Solving
- Daniel D. Corkill, Kevin Q. Gallagher:
Tuning a Blackboard-Based Application: A Case Study Using GBB. 671-676 - Laxmikant V. Kalé:
A Tree Representation for Parallel Problem Solving. 677-681 - Michael J. Swain, Paul R. Cooper:
Parallel Hardware for Constraint Satisfaction. 682-686
Production Systems
- Anoop Gupta, Milind Tambe:
Suitability of Message Passing Computers for Implementing Production Systems. 687-692 - P. Pandurang Nayak, Anoop Gupta, Paul S. Rosenbloom:
Comparison of the Rete and Treat Production Matchers for Soar. 693-698 - Toru Ishida:
Optimizing Rules in Production System Programs. 699-704 - Franz Barachini, Norbert Theuretzbacher:
The Challenge of Real-Time Process Control for Production Systems. 705-711
Natural Language
Syntax
- Mary P. Harper:
Representing Pronouns in Logical Form: Computational Constraints and Linguistic Evidence. 712-717 - Samuel S. Epstein:
Principle-Based Interpretation of Natural Language Quantifiers. 718-723
Speech
- Hideto Tomabechi, Masaru Tomita:
The Integration of Unification-Based Syntax/Semantics and Memory-Based Pragmatics for Real-Time Understanding of Noisy Continuous Speech Input. 724-728 - Alexander G. Hauptmann, Sheryl R. Young, Wayne H. Ward:
Using Dialog-Level Knowledge Sources to Improve Speech Recognition. 729-733 - Renato de Mori, Yoshua Bengio, Régis Cardin:
Data-Driven Execution of Multi-Layered Networks for Automatic Speech Recognition. 734-738
Dialogue
- Paul S. Jacobs, Uri Zernik:
Acquiring Lexical Knowledge from Text: A Case Study. 739-744 - Fei Song, Robin Cohen:
The Interpretation of Temporal Relations in Narrative. 745-750 - Galina Datskovsky Moerdler, Kathleen R. McKeown:
Beyond Semantic Ambiguity. 751-755 - David N. Chin:
Exploiting User Expertise in Answer Expression. 756-761
Robotics
Robotics
- Stephen J. Buckley:
Compliance Viewed as Programming a Damped Spring. 762-767 - Sharon A. Stansfield:
Reasoning About Grasping. 768-773 - Benjamin Kuipers, Yung-Tai Byun:
A Robust, Qualitative Method for Robot Spatial Learning. 774-779 - Nico Boneschanscher, Hans van der Drift, Stephen J. Buckley, Russell H. Taylor:
Subassembly Stability. 780-785
Integrated Robotics
- Ernest Davis:
Inferring Ignorance from the Locality of Visual Perception. 786-790 - Jahir Pabon, David C. Gossard:
Connectionist Networks for Learning Coordinated Motion in Autonomous Systems. 791-795 - Ian Horswill, Rodney A. Brooks:
Situated Vision in a Dynamic World: Chasing Objects. 796-801
User Interfaces
- Gerhard Fischer, Christian Rathke:
Knowledge-Based Spreadsheets. 802-807 - Yigal Arens, Lawrence Miller, Stuart C. Shapiro, Norman K. Sondheimer:
Automatic Construction of User-Interface Displays. 808-813 - John Yen, Robert Neches, Michael DeBellis:
Specification by Reformulation: A Paradigm for Building Integrated User Support Environments. 814-818 - Jeannette G. Neal, Zuzana Krifka Dobes, Keith E. Bettinger, Jong S. Byoun:
Multi-Modal References in Human-Computer Dialogue. 819-825
Vision
- Alex Pentland:
On the Extraction of Shape Information from Shading. 826-830 - Andrea Califano:
Feature Recognition Using Correlated Information Contained in Multiple Neighborboods. 831-836 - Ching-Huei Wang, Paul W. Palumbo, Sargur N. Srihari:
Performance of a System to Locate Address Blocks on Mail Pieces. 837-843
Invited Talks and Panels
- Michael L. Brodie:
Future Intelligent Information Systems: AI and Database Technologies Working Together. 844-845 - Harold Cohen:
How to Draw Three People in a Botanical Garden. 846-
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 2025-11-11 22:53 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:
