default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd AAAI 1983: Washington, D.C.
- Michael R. Genesereth:
Proceedings of the National Conference on Artificial Intelligence, Washington, D.C., USA, August 22-26, 1983. AAAI Press 1983, ISBN 0-262-51052-9
Knowledge Representation and Problem Solving
- Michael R. Genesereth:
An Overview of Meta-Level Architecture. 119-124 - David E. Smith:
Finding All of the Solutions to a Problem. 373-377 - Michael P. Georgeff:
Communication and Interaction in Multi-Agent Planning. 125-129 - Drew V. McDermott:
Data Dependencies on Inequalities. 266-269 - Ronald J. Brachman, Hector J. Levesque, Richard Fikes:
KRYPTON: Integrating Terminology and Assertion. 31-35 - Jean-Louis Lassez, Michael J. Maher:
The Denotational Semantics of Horn Clauses as a Production System. 229-231 - Mark E. Stickel:
Theory Resolution: Building in Nonequational Theories. 391-397 - Anthony G. Cohn:
Improving the Expressiveness of Many Sorted Logic. 84-87 - Eugene Charniak:
The Bayesian Basis of Common Sense Medical Diagnosis. 70-73 - Carl Hewitt, Peter de Jong:
Analyzing the Roles of Descriptions and Actions in Open Systems. 162-167 - Harry G. Barrow:
Proving the Correctness of Digital Hardware Designs. 17-21 - Murray Campbell, Hans J. Berliner:
A Chess Program That Chunks. 49-53 - Craig Stanfill:
The Decomposition of a Large Domain: Reasoning About Machines. 387-390 - William J. Long:
Reasoning About State From Causation and Time in a Medical Domain. 251-254 - Reid G. Simmons:
The Use of Qualitative and Quantitative Simulations. 364-368 - Elaine Kant, Allen Newell:
An Automatic Algorithm Designer: An Initial Implementation. 177-181 - David W. Etherington, Raymond Reiter:
On Inheritance Hierarchies With Exceptions. 104-108 - Elaine Rich:
Default Reasoning as Likelihood Reasoning. 348-351 - Jane Terry Nutter:
Default Reasoning Using Monotonic Logic: A Modest Proposal. 297-300 - Philippe Besnard, Rene Quiniou, Patrice Quinton:
A Theorem-Prover for a Decidable Subset of Default Logic. 27-30 - Jaime G. Carbonell:
Derivational Analogy and Its Role in Problem Solving. 64-69
Cognitive Modeling
- Neil M. Goldman:
Three Dimensions of Design Development. 130-133 - Peter Norvig:
Six Problems for Story Understanders. 284-287 - Kristian J. Hammond:
Planning and Goal Interaction: The Use of Past Solutions in Present Situations. 148-151 - Mark H. Burstein:
A Model of Learning by Incremental Analogical Reasoning and Debugging. 45-48 - Benjamin Kuipers:
Modeling Human Knowledge of Routes: Partial Knowledge and Individual Variation. 216-219 - Richard H. Granger, Kurt P. Eiselt, Jennifer K. Holbrook:
STRATEGIST: A Program That Models Strategy-Driven and Content-Driven Inference Behavior. 139-147 - Sarah A. Douglas, Thomas P. Moran:
Learning Operator Semantics by Analogy. 100-103 - Eswaran Subrahmanian:
An Analysis of a Welfare Eligibility Determination Interview: A Planning Approach. 398-401
Vision and Robotics
- John F. Canny:
A Variational Approach to Edge Detection. 54-58 - John R. Kender:
Surface Constraints From Linear Extents. 187-190 - James J. Little:
An Iterative Method for Reconstructing Convex Polyhedra From External Guassian Images. 247-250 - Michael J. Brooks:
Two Results Concerning Ambiguity in Shape From Shading. 36-39 - David G. Lowe, Thomas O. Binford:
Perceptual Organization as a Basis for Visual Recognition. 255-260 - Darwin T. Kuan, Robert J. Drazovich:
Model-Based Interpretation of Range Imagery. 210-215 - Robert A. Hummel:
A Design Method for Relaxation Labeling Applications. 168-171 - Tokuji Okada, Takeo Kanade:
Appropriate Lengths Between Phalanges of Multijointed Fingers for Stable Grasping. 301-305 - Rodney A. Brooks:
Find-Path for a PUMA-Class Robot. 40-44 - Terry E. Weymouth, J. S. Griffith, Allen R. Hanson, Edward M. Riseman:
Rule Based Strategies for Image Interpretation. 429-432
Natural Language
- Kathleen R. McKeown:
Recursion in TEXT and Its Use in Language Generation. 270-273 - Bradley A. Goodman:
Repairing Miscommunication: Relaxation in Reference. 134-138 - Sandra Carberry:
Tracking User Goals in an Information-Seeking Environment. 59-63 - Paul O'Rorke:
Reasons for Beliefs in Understanding: Applications of Non-Monotonic Dependencies to Story Processing. 306-309 - Michael Lebowitz:
RESEARCHER: An Overview. 232-235 - Daniel P. Huttenlocher, Victor W. Sue:
Phonotactic and Lexical Constraints in Speech Recognition. 172-176 - Edward P. Stabler Jr.:
Deterministic and Bottom-Up Parsing in Prolog. 383-386 - Henry S. Thompson:
MCHART: A Flexible, Modular Chart Parsing System. 408-410 - Martha Stone Palmer:
Inference-Driven Semantic Analysis. 310-313 - Ralph M. Weischedel:
Mapping Between Semantic Representations Using Horn Clauses. 424-428 - Joan Bachenko, Donald Hindle, Eileen Fitzpatrick:
Constraining a Deterministic Parser. 8-11 - James Clifford:
QE-III: A Formal Approach to Natural Language Ouerying. 79-83 - William C. Mann:
An Overview of the Penman Text Generation System. 261-265 - Michael J. Pazzani:
Interactive Script Instantiation. 320-326
Learning
- Dennis F. Kibler, Bruce W. Porter:
Episodic Learning. 191-196 - Kurt VanLehn:
Human Procedural Skill Acquisition: Theory, Model and Psychological Validation. 420-423 - D. Paul Benjamin, Malcolm C. Harrison:
A Production System for Learning Plans From an Expert. 22-26 - Richard E. Korf:
Operator Decomposability: A New Type of Problem Structure. 206-209 - Paul Smolensky:
Schema Selection and Stochastic Inference in Modular Environments. 378-382 - Douglas B. Lenat, John Seely Brown:
Why AM and Eurisko Appear to Work. 236-240 - Patrick H. Winston, Boris Katz, Thomas O. Binford, Michael R. Lowry:
Learning Physical Descriptions From Functional Definitions, Examples, and Precedents. 433-439 - Jack Mostow:
A Problem-Solver for Making Advice Operational. 279-283 - Steven Salzberg:
Generating Hypotheses to Explain Prediction Failures. 352-355 - Richard M. Keller:
Learning by Re-Expressing Concepts for Efficient Recognition. 182-186 - Paul D. Scott:
Learning: The Construction of A Posteriori Knowledge Structures. 359-363 - Larry A. Rendell:
A Doubly Layered, Genetic Penetrance Learning System. 343-347 - Elaine Pettit, Kathleen M. Swigger:
An Analysis of Genetic-Based Pattern Tracking and Cognitive-Based Component Tracking Models of Adaptation. 327-332
Expert Systems
- Anne v. d. L. Gardner:
The Design of a Legal Analysis Program. 114-118 - William J. Clancey:
The Advantages of Abstract Control Knowledge in Expert System Design. 74-78 - William R. Swartout:
The GIST Behavior Explainer. 402-407 - Nelleke Aiello:
A Comparative Study of Control Strategies for Expert Systems: Age Implementation of Three Variations of PUFF. 1-4 - Richard M. Tong, Daniel G. Shapiro, Brian P. McCune, Jeffrey S. Dean:
A Rule-Based Approach to Information Retrieval: Some Results and Comments. 411-415 - James R. Slagle, Michael W. Gaynor:
Expert System Consultation Control Strategy. 369-372 - Randall Davis:
Diagnosis Via Causal Reasoning: Paths of Interaction and the Locality Principle. 88-94 - James A. Reggia, Dana S. Nau, Pearl Y. Wang:
A New Inference Method for Frame-Based Expert Systems. 333-337 - John C. Kunz:
Analysis of Physiological Behavior Using a Causal Model Based on First Principles. 225-228 - Tom M. Mitchell, Louis I. Steinberg, Smadar T. Kedar-Cabelli, Van E. Kelly, Jeffrey S. Shulman, Timothy Weinrich:
An Intelligent Aid for Circuit Redesign. 274-278 - Jin Kim, John P. McDermott:
TALIB: An IC Layout Design Assistant. 197-201 - Walter Hamscher:
Using Structural and Functional Information in Diagnostic Design. 152-156 - Diane Warner Hasling:
Abstract Explanations of Strategy in a Diagnostic Consultation System. 157-161
Search
- Chun-Hung Tzeng, Paul Walton Purdom Jr.:
A Theory of Game Trees. 416-419 - Rina Dechter, Judea Pearl:
The Optimality of A* Revisited. 95-99 - Bernard Nudel:
Solving the General Consistent Labeling (or Constraint Satisfaction) Problem: Two Algorithms and Their Expected Complexities. 292-296 - Vipin Kumar, Laveen N. Kanal:
The Composite Decision Process: A Unifying Formulation for Heuristic Search, Dynamic Programming and Branch & Bound Procedures. 220-224 - Andrew L. Reibman, Bruce W. Ballard:
Non-Minimax Search Strategies for Use Against Fallible Opponents. 338-342 - Madhur Kohli, Jack Minker:
Intelligent Control Using Integrity Constraints. 202-205 - Jasmina Pavlin:
Predicting the Performance of Distributed Knowledge-Based Systems: A Modeling Approach. 314-319
Support Hardware and Software
- Scott E. Fahlman, Geoffrey E. Hinton, Terrence J. Sejnowski:
Massively Parallel Architectures for AI: NETL, Thistle, and Boltzmann Machines. 109-113 - Elizabeth Allen:
YAPS: A Production Rule System Meets Objects. 5-7 - Robert Balzer, David Dyer, Matthew Morgenstern, Robert Neches:
Specification-Based Computing Environments. 12-16 - Henry Lieberman:
An Object-Oriented Simulator for the Apiary. 241-246 - Gordon S. Novak:
Knowledge-Based Programming Using Abstract Data Types. 288-291 - Eric Schoen, Reid G. Smith:
IMPULSE: A Display Oriented Editor for STROBE. 356-358
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-12-13 20:18 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:
