Conferences in DBLP
Nelleke Aiello A Comparative Study of Control Strategies for Expert Systems: Age Implementation of Three Variations of PUFF. [Citation Graph (0, 0)][DBLP ] Conf ] Elizabeth Allen YAPS: A Production Rule System Meets Objects. [Citation Graph (1, 0)][DBLP ] Conf ] Joan Bachenko , Donald Hindle , Eileen Fitzpatrick Constraining a Deterministic Parser. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Balzer , David Dyer , Matthew Morgenstern , Robert Neches Specification-Based Computing Environments. [Citation Graph (2, 0)][DBLP ] Conf ] Harry G. Barrow Proving the Correctness of Digital Hardware Designs. [Citation Graph (0, 0)][DBLP ] Conf ] D. Paul Benjamin , Malcolm C. Harrison A Production System for Learning Plans From an Expert. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Besnard , Rene Quiniou , Patrice Quinton A Theorem-Prover for a Decidable Subset of Default Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Ronald J. Brachman , Hector J. Levesque , Richard Fikes KRYPTON: Integrating Terminology and Assertion. [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Brooks Two Results Concerning Ambiguity in Shape From Shading. [Citation Graph (0, 0)][DBLP ] Conf ] Rodney A. Brooks Find-Path for a PUMA-Class Robot. [Citation Graph (0, 0)][DBLP ] Conf ] Mark H. Burstein A Model of Learning by Incremental Analogical Reasoning and Debugging. [Citation Graph (0, 0)][DBLP ] Conf ] Murray Campbell , Hans J. Berliner A Chess Program That Chunks. [Citation Graph (0, 0)][DBLP ] Conf ] John F. Canny A Variational Approach to Edge Detection. [Citation Graph (0, 0)][DBLP ] Conf ] Sandra Carberry Tracking User Goals in an Information-Seeking Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Jaime G. Carbonell Derivational Analogy and Its Role in Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene Charniak The Bayesian Basis of Common Sense Medical Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] William J. Clancey The Advantages of Abstract Control Knowledge in Expert System Design. [Citation Graph (3, 0)][DBLP ] Conf ] James Clifford QE-III: A Formal Approach to Natural Language Ouerying. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony G. Cohn Improving the Expressiveness of Many Sorted Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Randall Davis Diagnosis Via Causal Reasoning: Paths of Interaction and the Locality Principle. [Citation Graph (1, 0)][DBLP ] Conf ] Rina Dechter , Judea Pearl The Optimality of A* Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Sarah A. Douglas , Thomas P. Moran Learning Operator Semantics by Analogy. [Citation Graph (0, 0)][DBLP ] Conf ] David W. Etherington , Raymond Reiter On Inheritance Hierarchies With Exceptions. [Citation Graph (7, 0)][DBLP ] Conf ] Scott E. Fahlman , Geoffrey E. Hinton , Terrence J. Sejnowski Massively Parallel Architectures for AI: NETL, Thistle, and Boltzmann Machines. [Citation Graph (1, 0)][DBLP ] Conf ] Anne v. d. L. Gardner The Design of a Legal Analysis Program. [Citation Graph (0, 0)][DBLP ] Conf ] Michael R. Genesereth An Overview of Meta-Level Architecture. [Citation Graph (2, 0)][DBLP ] Conf ] Michael P. Georgeff Communication and Interaction in Multi-Agent Planning. [Citation Graph (1, 0)][DBLP ] Conf ] Neil M. Goldman Three Dimensions of Design Development. [Citation Graph (0, 0)][DBLP ] Conf ] Bradley A. Goodman Repairing Miscommunication: Relaxation in Reference. [Citation Graph (0, 0)][DBLP ] Conf ] Richard H. Granger , Kurt P. Eiselt , Jennifer K. Holbrook STRATEGIST: A Program That Models Strategy-Driven and Content-Driven Inference Behavior. [Citation Graph (0, 0)][DBLP ] Conf ] Kristian J. Hammond Planning and Goal Interaction: The Use of Past Solutions in Present Situations. [Citation Graph (1, 0)][DBLP ] Conf ] Walter Hamscher Using Structural and Functional Information in Diagnostic Design. [Citation Graph (0, 0)][DBLP ] Conf ] Diane Warner Hasling Abstract Explanations of Strategy in a Diagnostic Consultation System. [Citation Graph (0, 0)][DBLP ] Conf ] Carl Hewitt , Peter de Jong Analyzing the Roles of Descriptions and Actions in Open Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Robert A. Hummel A Design Method for Relaxation Labeling Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel P. Huttenlocher , Victor W. Sue Phonotactic and Lexical Constraints in Speech Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Elaine Kant , Allen Newell An Automatic Algorithm Designer: An Initial Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Richard M. Keller Learning by Re-Expressing Concepts for Efficient Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] John R. Kender Surface Constraints From Linear Extents. [Citation Graph (0, 0)][DBLP ] Conf ] Dennis F. Kibler , Bruce W. Porter Episodic Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Jin Kim , John P. McDermott TALIB: An IC Layout Design Assistant. [Citation Graph (0, 0)][DBLP ] Conf ] Madhur Kohli , Jack Minker Intelligent Control Using Integrity Constraints. [Citation Graph (3, 0)][DBLP ] Conf ] Richard E. Korf Operator Decomposability: A New Type of Problem Structure. [Citation Graph (0, 0)][DBLP ] Conf ] Darwin T. Kuan , Robert J. Drazovich Model-Based Interpretation of Range Imagery. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin Kuipers Modeling Human Knowledge of Routes: Partial Knowledge and Individual Variation. [Citation Graph (0, 0)][DBLP ] Conf ] Vipin Kumar , Laveen N. Kanal The Composite Decision Process: A Unifying Formulation for Heuristic Search, Dynamic Programming and Branch & Bound Procedures. [Citation Graph (0, 0)][DBLP ] Conf ] John C. Kunz Analysis of Physiological Behavior Using a Causal Model Based on First Principles. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Louis Lassez , Michael J. Maher The Denotational Semantics of Horn Clauses as a Production System. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Lebowitz RESEARCHER: An Overview. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas B. Lenat , John Seely Brown Why AM and Eurisko Appear to Work. [Citation Graph (0, 0)][DBLP ] Conf ] Henry Lieberman An Object-Oriented Simulator for the Apiary. [Citation Graph (0, 0)][DBLP ] Conf ] James J. Little An Iterative Method for Reconstructing Convex Polyhedra From External Guassian Images. [Citation Graph (0, 0)][DBLP ] Conf ] William J. Long Reasoning About State From Causation and Time in a Medical Domain. [Citation Graph (0, 0)][DBLP ] Conf ] David G. Lowe , Thomas O. Binford Perceptual Organization as a Basis for Visual Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] William C. Mann An Overview of the Penman Text Generation System. [Citation Graph (0, 0)][DBLP ] Conf ] Drew V. McDermott Data Dependencies on Inequalities. [Citation Graph (0, 0)][DBLP ] Conf ] Kathleen McKeown Recursion in TEXT and Its Use in Language Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Tom M. Mitchell , Louis I. Steinberg , Smadar T. Kedar-Cabelli , Van E. Kelly , Jeffrey Shulman , Timothy Weinrich An Intelligent Aid for Circuit Redesign. [Citation Graph (0, 0)][DBLP ] Conf ] Jack Mostow A Problem-Solver for Making Advice Operational. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Norvig Six Problems for Story Understanders. [Citation Graph (0, 0)][DBLP ] Conf ] Gordon S. Novak Knowledge-Based Programming Using Abstract Data Types. [Citation Graph (1, 0)][DBLP ] Conf ] Bernard Nudel Solving the General Consistent Labeling (or Constraint Satisfaction) Problem: Two Algorithms and Their Expected Complexities. [Citation Graph (1, 0)][DBLP ] Conf ] Jane Terry Nutter Default Reasoning Using Monotonic Logic: A Modest Proposal. [Citation Graph (0, 0)][DBLP ] Conf ] Tokuji Okada , Takeo Kanade Appropriate Lengths Between Phalanges of Multijointed Fingers for Stable Grasping. [Citation Graph (0, 0)][DBLP ] Conf ] Paul O'Rorke Reasons for Beliefs in Understanding: Applications of Non-Monotonic Dependencies to Story Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Martha Stone Palmer Inference-Driven Semantic Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Jasmina Pavlin Predicting the Performance of Distributed Knowledge-Based Systems: A Modeling Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Pazzani Interactive Script Instantiation. [Citation Graph (0, 0)][DBLP ] Conf ] Elaine Pettit , Kathleen M. Swigger An Analysis of Genetic-Based Pattern Tracking and Cognitive-Based Component Tracking Models of Adaptation. [Citation Graph (0, 0)][DBLP ] Conf ] James A. Reggia , Dana S. Nau , Pearl Y. Wang A New Inference Method for Frame-Based Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew L. Reibman , Bruce W. Ballard Non-Minimax Search Strategies for Use Against Fallible Opponents. [Citation Graph (0, 0)][DBLP ] Conf ] Larry A. Rendell A Doubly Layered, Genetic Penetrance Learning System. [Citation Graph (0, 0)][DBLP ] Conf ] Elaine Rich Default Reasoning as Likelihood Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Salzberg Generating Hypotheses to Explain Prediction Failures. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Schoen , Reid G. Smith IMPULSE: A Display Oriented Editor for STROBE. [Citation Graph (0, 0)][DBLP ] Conf ] Paul D. Scott Learning: The Construction of A Posteriori Knowledge Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Reid G. Simmons The Use of Qualitative and Quantitative Simulations. [Citation Graph (0, 0)][DBLP ] Conf ] James R. Slagle , Michael Gaynor Expert System Consultation Control Strategy. [Citation Graph (0, 0)][DBLP ] Conf ] David E. Smith Finding All of the Solutions to a Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Smolensky Schema Selection and Stochastic Inference in Modular Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Edward P. Stabler Jr. Deterministic and Bottom-Up Parsing in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Craig Stanfill The Decomposition of a Large Domain: Reasoning About Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Mark E. Stickel Theory Resolution: Building in Nonequational Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Eswaran Subrahmanian An Analysis of a Welfare Eligibility Determination Interview: A Planning Approach. [Citation Graph (0, 0)][DBLP ] Conf ] William R. Swartout The GIST Behavior Explainer. [Citation Graph (1, 0)][DBLP ] Conf ] Henry S. Thompson MCHART: A Flexible, Modular Chart Parsing System. [Citation Graph (0, 0)][DBLP ] Conf ] Richard M. Tong , Daniel G. Shapiro , Brian P. McCune , Jeffrey S. Dean A Rule-Based Approach to Information Retrieval: Some Results and Comments. [Citation Graph (0, 0)][DBLP ] Conf ] Chun-Hung Tzeng , Paul Walton Purdom Jr. A Theory of Game Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt VanLehn Human Procedural Skill Acquisition: Theory, Model and Psychological Validation. [Citation Graph (0, 0)][DBLP ] Conf ] Ralph M. Weischedel Mapping Between Semantic Representations Using Horn Clauses. [Citation Graph (0, 0)][DBLP ] Conf ] Terry E. Weymouth , J. S. Griffith , Allen R. Hanson , Edward M. Riseman Rule Based Strategies for Image Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick H. Winston , Boris Katz , Thomas O. Binford , Michael R. Lowry Learning Physical Descriptions From Functional Definitions, Examples, and Precedents. [Citation Graph (1, 0)][DBLP ] Conf ] 