|
Conferences in DBLP
- S. Kamal Abdali, Jan Vytopil
Generalization Heuristics for Theorems Related to Recursively Defined Functions. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:1-5 [Conf]
- Peter M. Andreae
Constraint Limited Generalization: Acquiring Procedures From Examples. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:6-10 [Conf]
- Agustin A. Araya
Learning Problem Classes by Means of Experimentation and Generalization. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:11-15 [Conf]
- Dana H. Ballard
Task Frames in Robot Manipulation. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:16-22 [Conf]
- Andrew Blake
Reconstructing a Visible Surface. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:23-26 [Conf]
- John H. Boose
Personal Construct Theory and the Transfer of Human Expertise. [Citation Graph (5, 0)][DBLP] AAAI, 1984, pp:27-33 [Conf]
- Ronald J. Brachman, Hector J. Levesque
The Tractability of Subsumption in Frame-Based Description Languages. [Citation Graph (10, 0)][DBLP] AAAI, 1984, pp:34-37 [Conf]
- Cynthia A. Brown
A Self-Modifying Theorem Prover. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:38-41 [Conf]
- Norman Carver, Victor R. Lesser, Daniel L. McCue
Focusing in Plan Recognition. [Citation Graph (1, 0)][DBLP] AAAI, 1984, pp:42-48 [Conf]
- William J. Clancey
Classification Problem Solving. [Citation Graph (1, 0)][DBLP] AAAI, 1984, pp:49-55 [Conf]
- Donald Cohen
A Forward Inference Engine to Aid in Understanding Specifications. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:56-60 [Conf]
- Garrison W. Cottrell
A Model of Lexical Access of Ambiguous Words. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:61-67 [Conf]
- Henry W. Davis, Randy B. Pollack, Thomas Sudkamp
Towards a Better Understanding of Bidirectional Search. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:68-72 [Conf]
- Michael F. Deering
Hardware and Software Architectures for Efficient AI. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:73-78 [Conf]
- Johan de Kleer
Choices Without Backtracking. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:79-85 [Conf]
- Johan de Kleer, Daniel G. Bobrow
Qualitative Reasoning With Higher-Order Derivatives. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:86-91 [Conf]
- Renato de Mori, Yu F. Mong
A System of Plans for Connected Speech Recognition. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:92-95 [Conf]
- Thomas G. Dietterich
Learning About Systems That Contain State Variables. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:96-100 [Conf]
- Gavan Duffy, John C. Mallery
Referential Determinism and Computational Efficiency: Posting Constraints from Deep Structure. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:101-105 [Conf]
- Robert G. Farrell, John R. Anderson, Brian J. Reiser
An Interactive Computer-Based Tutor for LISP. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:106-109 [Conf]
- Stefan Feyock
Syntax Programming. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:110-115 [Conf]
- Charles Forgy, Anoop Gupta, Allen Newell, Robert G. Wedig
Initial Assessment of Architectures for Production Systems. [Citation Graph (2, 0)][DBLP] AAAI, 1984, pp:116-120 [Conf]
- Michael P. Georgeff
A Theory of Action for MultiAgent Planning. [Citation Graph (1, 0)][DBLP] AAAI, 1984, pp:121-125 [Conf]
- Matthew L. Ginsberg
Non-Monotonic Reasoning Using Dempster's Rule. [Citation Graph (1, 0)][DBLP] AAAI, 1984, pp:126-129 [Conf]
- James H. Griesmer, Se June Hong, Maurice Karnaugh, John K. Kastner, Marshall I. Schor, Robert L. Ennis, David A. Klein, Keith R. Milliken, Hugo M. Van Woerkom
YES/MVS: A Continuous Real Time Expert System. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:130-136 [Conf]
- Joseph Y. Halpern, David A. McAllester
Likelihood, Probability, and Knowledge. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:137-141 [Conf]
- Walter Hamscher, Randall Davis
Diagnosing Circuits With State: An Inherently Underconstrained Problem. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:142-147 [Conf]
- Graeme Hirst
A Semantic Process for Syntactic Disambiguation. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:148-152 [Conf]
- Eva Hudlicka, Victor R. Lesser
Meta-Level Control Through Fault Detection and Diagnosis. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:153-161 [Conf]
- W. Lewis Johnson, Elliot Soloway
Intention-Based Diagnosis of Programming Errors. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:162-168 [Conf]
- Aravind K. Joshi, Bonnie L. Webber, Ralph M. Weischedel
Living Up To Expectations: Computing Expert Responses. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:169-175 [Conf]
- Donald W. Kosy, Ben P. Wise
Self-Explanatory Financial Planning Models. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:176-181 [Conf]
- Vipin Kumar
A General Bottom-up Procedure for Searching And/Or Graphs. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:182-187 [Conf]
- John E. Laird, Paul S. Rosenbloom, Allen Newell
Towards Chunking as a General Learning Mechanism. [Citation Graph (1, 0)][DBLP] AAAI, 1984, pp:188-192 [Conf]
- Pat Langley, Stellan Ohlsson
Automated Cognitive Modeling. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:193-197 [Conf]
- Hector J. Levesque
A Logic of Implicit and Explicit Belief. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:198-202 [Conf]
- Robert Levinson
A Self-Organizing Retrieval System for Graphs. [Citation Graph (2, 0)][DBLP] AAAI, 1984, pp:203-206 [Conf]
- Tod S. Levitt
Domain Independent Object Description and Decomposition. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:207-211 [Conf]
- Guo-Jie Li, Benjamin W. Wah
How to Cope With Anomalies in Parallel Approximate Branch-and-Bound Algorithms. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:212-215 [Conf]
- Shin-Yee Lu, Harry E. Stephanou
A Set-Theoretic Framework for the Processing of Uncertain Knowledge. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:216-221 [Conf]
- Steven L. Lytinen
Frame Selection in Parsing. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:222-225 [Conf]
- Jock D. Mackinlay, Michael R. Genesereth
Expressiveness of Languages. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:226-232 [Conf]
- Anthony S. Maida
Processing Entailments and Accessing Facts in a Uniform Frame System. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:233-236 [Conf]
- David H. Marimont
A Representation for Image Curves. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:237-242 [Conf]
- Elaine Marsh, Henry Hamburger, Ralph Grishman
A Production Rule System for Message Summarization. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:243-246 [Conf]
- Michael L. Mauldin
Maintaining Diversity in Genetic Search. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:247-250 [Conf]
- Steven Minton
Constraint-Based Generalization: Learning Game-Playing Plans From Single Examples. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:251-254 [Conf]
- Matthew Morgenstern
Constraint Equations: A Concise Compilable Representation for Quantified Constraints in Semantic Networks. [Citation Graph (2, 0)][DBLP] AAAI, 1984, pp:255-259 [Conf]
- Paul O'Rorke
Generalization for Explanation-Based Schema Acquisition. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:260-263 [Conf]
- Jasmina Pavlin, Daniel D. Corkill
Selective Abstraction of AI System Activity. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:264-268 [Conf]
- Alex Pentland
Shading Into Texture. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:269-273 [Conf]
- George Politowski, Ira Pohl
D-Node Retargeting in Bidirectional Heuristic Search. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:274-277 [Conf]
- Bruce W. Porter, Dennis F. Kibler
Learning Operator Transformations. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:278-282 [Conf]
- Raman Rajagopalan
Qualitative Modeling in the Turbojet Engine Domain. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:283-287 [Conf]
- Edwina L. Rissland, Eduardo M. Valcarce, Kevin D. Ashley
Explaining and Arguing With Examples. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:288-294 [Conf]
- Yoav Shoham, Drew V. McDermott
Knowledge Inversion. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:295-299 [Conf]
- Salvatore J. Stolfo
Five Parallel Algorithms for Production System Execution on the DADO Machine. [Citation Graph (5, 0)][DBLP] AAAI, 1984, pp:300-307 [Conf]
- Thomas M. Strat
Continuous Belief Functions for Evidential Reasoning. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:308-313 [Conf]
- Demetri Terzopoulos
Efficient Multiresolution Algorithms for Computing Lightness, Shape-From-Shading, and Optical Flow. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:314-317 [Conf]
- Charles E. Thorpe
Path Relaxation: Path Planning for a Mobile Robot. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:318-321 [Conf]
- David S. Touretzky
Implicit Ordering of Defaults in Inheritance Systems. [Citation Graph (1, 0)][DBLP] AAAI, 1984, pp:322-325 [Conf]
- Richard S. Wallace
Three Findpath Problems. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:326-329 [Conf]
- Christoph Walther
A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:330-334 [Conf]
- David L. Waltz, Jordan B. Pollack
Phenomenologically Plausible Parsing. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:335-339 [Conf]
- Jon A. Webb, Edward Pervin
The Shape of Subjective Contours. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:340-343 [Conf]
- Stephen J. Westfold
Very-High-Level Programming of Knowledge Representation Schemes. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:344-349 [Conf]
- Brian C. Williams
The Use of Continuity in a Qualitative Physics. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:350-354 [Conf]
- Beverly Park Woolf, David D. McDonald
Context-Dependent Transitions in Tutoring Discourse. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:355-361 [Conf]
- Alan L. Yuille, Tomaso Poggio
Fingerprints Theorems. [Citation Graph (0, 0)][DBLP] AAAI, 1984, pp:362-365 [Conf]
|