Conferences in DBLP
Donald C. Allen , Seth A. Steinberg , Lawrence A. Stabile Recent Developments in Butterfly™ Lisp. [Citation Graph (0, 0)][DBLP ] Conf ] David Billstrom , Joseph Brandenburg , John Teeter CCLISP™ on the iPSC™ Concurrent Computer. [Citation Graph (0, 0)][DBLP ] Conf ] P. Daniel Cheng , J. Y. Yuang A Parallel Resolution Procedure Based on Connection Graph. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel D. Corkill , Kevin Q. Gallagher , Philip M. Johnson Achieving Flexibility, Efficiency, and Generality in Blackboard Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Nicholas S. Flann , Thomas G. Dietterich , Dan R. Corpon Forward Chaining Logic Programming with the ATMS. [Citation Graph (0, 0)][DBLP ] Conf ] M. Vaughan Johnson Jr. , Barbara Hayes-Roth Integrating Diverse Reasoning Methods in the BB1 Blackboard Control Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Michael A. Kelly , Rudolph E. Seviora A Multiprocessor Architecture for Production System Matching. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel P. Miranker TREAT: A Better Match Algorithm for AI Production System Matching. [Citation Graph (22, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Vijay A. Saraswat CP as a General-Purpose Constraint-Language. [Citation Graph (0, 0)][DBLP ] Conf ] Ramin Zabih , David A. McAllester , David Chapman Non-Deterministic Lisp with Dependency-directed Backtracking. [Citation Graph (0, 0)][DBLP ] Conf ] David Servan-Schreiber From Intelligent Tutoring to Computerized Psychotherapy. [Citation Graph (0, 0)][DBLP ] Conf ] Kathleen M. Swigger , Hugh Burns , Harry Loveland , Terresa Jackson An Intelligent Tutoring System for Interpreting Ground Tracks. [Citation Graph (0, 0)][DBLP ] Conf ] Y. M. Visetti , Philippe Dague Plan Inference and Student Modeling in ICAI. [Citation Graph (0, 0)][DBLP ] Conf ] Beverly Park Woolf , Pat Cunningham Building a Community Memory for Intelligent Tutoring Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Bruce Abramson , Richard E. Korf A Model of Two-Player Evaluation Functions. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Ping-Ching Chi , Dana S. Nau Comparing Minimax and Product in a Variety of Games. [Citation Graph (0, 0)][DBLP ] Conf ] Avi Dechter , Rina Dechter Removing Redundancies in Constraint Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Garvey , Craig Cornelius , Barbara Hayes-Roth Computational Costs versus Benefits of Control Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond D. Gumb Filming a Terrain under Uncertainty Using Temporal and Probahilistic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] David Heckerman , Eric Horvitz On the Expressiveness of Rule-based Systems for Reasoning with Uncertainty. [Citation Graph (1, 0)][DBLP ] Conf ] Van E. Kelly , Uwe Nonnenmann Inferring Formal Software Specifications from Episodic Descriptions. [Citation Graph (0, 0)][DBLP ] Conf ] Richard E. Korf Real-Time Heuristic Search: First Results. [Citation Graph (0, 0)][DBLP ] Conf ] Fangzhen Lin Reasoning in the Presence of Inconsistency. [Citation Graph (0, 0)][DBLP ] Conf ] Peiya Liu , Ruey-Juin Chang A New Structural Induction Scheme for Proving Properties of Mutually Recursive Concepts. [Citation Graph (0, 0)][DBLP ] Conf ] Robert McCartney Synthesizing Algorithms with Performance Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Zohar Manna , Richard J. Waldinger The Deductive Synthesis of Imperative LISP Programs. [Citation Graph (3, 0)][DBLP ] Conf ] Neil V. Murray , Erik Rosenthal Path Dissolution: A Strongly Complete Rule of Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Charles J. Petrie Revised Dependencydirected Backtracking for Default Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Gregory M. Provan Efficiency Analysis of Multiple-Context TMSs in Scene Representation. [Citation Graph (0, 0)][DBLP ] Conf ] V. Nageshwara Rao , Vipin Kumar , K. Ramesh A Parallel Implementation of Iterative-Deepening-A*. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond Reiter , Johan de Kleer Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report. [Citation Graph (4, 0)][DBLP ] Conf ] Carol A. Broverman , W. Bruce Croft Reasoning about Exceptions during Plan Execution Monitoring. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Dean , Mark S. Boddy Incremental Causal Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] R. James Firby An Investigation into Reactive Planning in Complex Domains. [Citation Graph (1, 0)][DBLP ] Conf ] Michael Gelfond On Stratified Autoepistemic Theories. [Citation Graph (3, 0)][DBLP ] Conf ] Matthew L. Ginsberg , David E. Smith Possible Worlds and the Qualification Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Brian A. Haugh Simple Causal Minimizations for Temporal Persistence and Projection. [Citation Graph (0, 0)][DBLP ] Conf ] Caroline C. Hayes Using Goal Interactions to Guide Planning. [Citation Graph (0, 0)][DBLP ] Conf ] John C. Hogge Compiling Plan Operators from Domains Expressed in Qualitative Process Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Peter B. Ladkin Models of Axioms for Time Intervals. [Citation Graph (0, 0)][DBLP ] Conf ] Amy L. Lansky , David S. Fogelsong Localized Representation and Planning Methods for Parallel Domains. [Citation Graph (1, 0)][DBLP ] Conf ] Richard N. Pelavin , James F. Allen A Model for Concurrent Actions Having Temporal Extent. [Citation Graph (0, 0)][DBLP ] Conf ] Edward P. K. Tsang The Consistent Labeling Problem in Temporal Reasoning. [Citation Graph (1, 0)][DBLP ] Conf ] Raúl E. Valdés-Pérez The Satisfiability of Temporal Constraint Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Marianne Winslett Validating Generalized Plans in the Presence of Incomplete Information. [Citation Graph (0, 0)][DBLP ] Conf ] Philip E. Agre , David Chapman Pengi: An Implementation of a Theory of Activity. [Citation Graph (2, 0)][DBLP ] Conf ] Kevin D. Ashley , Edwina L. Rissland Compare and Contrast: A Test of Expertise. [Citation Graph (0, 0)][DBLP ] Conf ] Dana H. Ballard Modular Learning in Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Hsinchun Chen , Vasant Dhar Reducing Indeterminism in Consultation: A Cognitive Model of User/Librarian Interactions. [Citation Graph (0, 0)][DBLP ] Conf ] Gary L. Drescher A Mechanism for Early Piagetian Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Kass , Tim Finn Rules for the Implicit Acquisition of Knowledge about the User. [Citation Graph (0, 0)][DBLP ] Conf ] Wendy G. Lehnert Case-based Problem Solving with a Large Knowledge Base of Learned Cases. [Citation Graph (0, 0)][DBLP ] Conf ] H. Van Dyke Parunak , James Kindrick , Bruce W. Irish Material Handling: A Conservative Domain for Neural Connectivity and Propagation. [Citation Graph (1, 0)][DBLP ] Conf ] Ashwin Ram AQUA: Asking Questions and Understanding Answers. [Citation Graph (0, 0)][DBLP ] Conf ] Lisa F. Rau Information Retrieval from Never-Ending Stories. [Citation Graph (0, 0)][DBLP ] Conf ] Janice Skorstad , Brian Falkenhainer , Dedre Gentner Analogical Processing: A Simulation and Empirical Corroboration. [Citation Graph (0, 0)][DBLP ] Conf ] Ingrid Zukerman Goal-based Generation of Motivational Expressions in a Learning Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Gary C. Borchardt Incremental Inference: Getting Multiple Agents to Agree on What to Do Next. [Citation Graph (0, 0)][DBLP ] Conf ] James P. Delgrande An Approach to Default Reasoning Based on a First-Order Conditional Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Derthick Counterfactual Reasoning with Direct Models. [Citation Graph (0, 0)][DBLP ] Conf ] David W. Etherington More on Inheritance Hierarchies with Exceptions: Default Theories and Inferential Distance. [Citation Graph (1, 0)][DBLP ] Conf ] John F. Horty , Richmond H. Thomason , David S. Touretzky A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks. [Citation Graph (3, 0)][DBLP ] Conf ] Vladimir Lifschitz Circumscriptive Theories: A Logic-based Framework for Knowledge Representation (Preliminary Report). [Citation Graph (0, 0)][DBLP ] Conf ] Judea Pearl Embracing Causality in Formal Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Judea Pearl , Thomas Verma The Logic of Representing Dependencies by Directed Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Chern H. Seet Default Reasoning through Belief Revision Strategy. [Citation Graph (0, 0)][DBLP ] Conf ] Wlodek Zadrozny A Theory of Default Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] James R. Allard , William Kaemmerer The Goal/Subgoal Knowledge Representation for Real-Time Process Monitoring. [Citation Graph (0, 0)][DBLP ] Conf ] Russ B. Altman , Bruce G. Buchanan Partial Compilation of Strategic Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Ey-Chih Chow Representing Databases in Frames. [Citation Graph (0, 0)][DBLP ] Conf ] Philip R. Cohen , Hector J. Levesque Intention = Choice + Commitment. [Citation Graph (1, 0)][DBLP ] Conf ] Thomas Y. Galloway TAXI: A Taxonomic Assistant. [Citation Graph (0, 0)][DBLP ] Conf ] Ashok K. Goel , N. Soundararajan , B. Chandrasekaran Complexity in Classificatory Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Hector J. Levesque All I Know: An Abridged Report. [Citation Graph (0, 0)][DBLP ] Conf ] Michael R. Lowry Algorithm Synthesis through Problem Reformulation. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Morris Curing Anomalous Extensions. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Nado , Richard Fikes Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults. [Citation Graph (0, 0)][DBLP ] Conf ] Jane Terry Nutter Assimilation: A Strategy for Implementing Self-Reorganizing Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Margaret E. Connell , Paul E. Utgoff Learning to Control a Dynamic Physical System. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas H. Fisher Improving Inference through Conceptual Clustering. [Citation Graph (7, 0)][DBLP ] Conf ] David Haussler Learning Conjunctive Concepts in Structural Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Max Henrion , Daniel R. Cooley An Experimental Comparison of Knowledge Engineering for Expert Systems and for Decision Analysis. [Citation Graph (1, 0)][DBLP ] Conf ] Smadar T. Kedar-Cabelli Formulating Concepts According to Purpose. [Citation Graph (0, 0)][DBLP ] Conf ] Richard M. Keller Defining Operationality for Explanation-based Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Georg Klinker , Casey Boyd , Serge Genetet , John P. McDermott A KNACK for Knowledge Acquisition. [Citation Graph (0, 0)][DBLP ] Conf ] Armand Prieditis , Jack Mostow PROLEARN: Towards a Prolog Interpreter that Learns. [Citation Graph (0, 0)][DBLP ] Conf ] Paul S. Rosenbloom , John E. Laird , Allen Newell Knowledge Level Learning in Soar. [Citation Graph (0, 0)][DBLP ] Conf ] Stuart J. Russell , Benjamin N. Grosof A Declarative Approach to Bias in Concept Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey C. Schlimmer Learning and Representation Change. [Citation Graph (0, 0)][DBLP ] Conf ] Jude W. Shavlik , Gerald DeJong BAGGER: An EBL System that Extends and Generalizes Explanations. [Citation Graph (0, 0)][DBLP ] Conf ] Sholom M. Weiss , Robert S. Galen , Prasad Tadepalli Optimizing the Predictive Value of Diagnostic Decision Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Robin Cohen Interpreting Clues in Conjunction with Processing Restrictions in Arguments and Discourse. [Citation Graph (0, 0)][DBLP ] Conf ] Bonnie J. Dorr UNITRAN: An Interlingual Approach to Machine Translation. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt P. Eiselt Recovering from Erroneous Inferences. [Citation Graph (0, 0)][DBLP ] Conf ] Eduard H. Hovy Interpretation in Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Aravind K. Joshi Word-Order Variation in Natural Language Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Candace E. Kalish , Matthew B. Cox Porting and Extensible Natural Language Interface: A Case History. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Norvig Inference in Text Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] James Pustejovsky , Sabine Bergler The Acquisition of Conceptual Structure for the Lexicon. [Citation Graph (0, 0)][DBLP ] Conf ] Elaine Rich , Jim Barnett , Kent Wittenburg , David A. Wroblewski Ambiguity Procrastination. [Citation Graph (0, 0)][DBLP ] Conf ] Craig Stanfill Memory-based Reasoning Applied to English Pronunciation. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Wroblewski Nondestructive Graph Unification. [Citation Graph (0, 0)][DBLP ] Conf ] John W. Collins , Kenneth D. Forbus Reasoning about Fluids via Molecular Collections. [Citation Graph (0, 0)][DBLP ] Conf ] Bruce D'Ambrosio Extending the Mathematics in Qualitative Process Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Dague , Olivier Raiman , Philippe Deves Troubleshooting: When Modeling Is the Trouble. [Citation Graph (0, 0)][DBLP ] Conf ] Ajay Gupta Explanation-based Failure Recovery. [Citation Graph (0, 0)][DBLP ] Conf ] Leo Joskowicz Shape and Function in Mechanical Devices. [Citation Graph (0, 0)][DBLP ] Conf ] Mieczyslaw M. Kokar Critical Hypersurfaces and the Quantity Space. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin Kuipers Abstraction by Time-Scale in Qualitative Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Michael L. Mavrovouniotis , George Stephanopoulos Reasoning with Orders of Magnitude and Approximate Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Sanjay Mittal , Felix Frayman Making Partial Choices in Constraint Reasoning Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Seshashayee S. Murthy , Sanjaya Addanki PROMPT: An Innovative Design Tool. [Citation Graph (1, 0)][DBLP ] Conf ] Toyoaki Nishida , Shuji Doshita Reasoning about Discontinuous Change. [Citation Graph (0, 0)][DBLP ] Conf ] Elisha Sacks Hierarchical Reasoning about Inequalities. [Citation Graph (0, 0)][DBLP ] Conf ] Elisha Sacks Piecewise Linear Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Michael P. Wellman Probabilistic Semantics for Qualitative Influences. [Citation Graph (1, 0)][DBLP ] Conf ] Kenneth Man-kam Yip Extracting Qualitative Dynamics from Numerical Experiments. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey M. Becker , Fred L. Garrett An Architecture for Intelligent Task Automation. [Citation Graph (0, 0)][DBLP ] Conf ] Michael P. Georgeff , Amy L. Lansky Reactive Reasoning and Planning. [Citation Graph (2, 0)][DBLP ] Conf ] Fred Lakin Visual Grammars for Visual Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Tod S. Levitt , Daryl T. Lawton , David M. Chelberg , Philip C. Nelson Qualitative Landmark-based Path Planning and Following. [Citation Graph (0, 0)][DBLP ] Conf ] David R. Strip Insertions Using Geometric Analysis and Hybrid Force-Position Control on a PUMA 560 with VAL II. [Citation Graph (0, 0)][DBLP ] Conf ] John L. Barron , Allan D. Jepson , John K. Tsotsos The Sensitivity of Motion and Structure Computations. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Fua , Andrew J. Hanson Using Generic Geometric Models for Intelligent Shape Extraction. [Citation Graph (0, 0)][DBLP ] Conf ] Andres Huertas , William Cole , Ramakant Nevatia Detecting Runways in Aerial Images. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan J. Hull Hypothesis Testing in a Computational Theory of Visual Word Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Mark L. Moerdler , John R. Kender An Integrated System that Unifies Multiple Shape from Texture Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] K. Prasdny Similitude-Invariant Pattern Recognition Using Parallel Distributed Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Franc Solina , Ruzena Bajcsy Range Image Interpretation of Mail Pieces with Superquadrics. [Citation Graph (0, 0)][DBLP ] Conf ] Minas E. Spetsakis , Yiannis Aloimonos Closed Form Solution to the Structure from Motion Problem from Line Correspondences. [Citation Graph (0, 0)][DBLP ] Conf ] Muralidhara Subbarao Bounds on Translational and Angular Velocity Components from First Order Derivatives of Image Flow. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Szeliski Regularization Uses Fractal Priors. [Citation Graph (0, 0)][DBLP ] Conf ] Demetri Terzopoulos , Andrew P. Witkin , Michael Kass Energy Constraints on Deformable Models: Recovering Shape and Non-Rigid Motion. [Citation Graph (0, 0)][DBLP ] Conf ] William B. Thompson , Michael T. Checky , William Kaemmerer Shadow Stereo-Locating Object Boundaries Using Shadows. [Citation Graph (0, 0)][DBLP ] Conf ] Deborah Walters , Ganapathy Krishnan Perceptual Significance Hierarchy: A Computer Vision Theory for Color Separation. [Citation Graph (0, 0)][DBLP ] Conf ] William M. Wells III Visual Estimation of 3-D Line Segments from Motion - A Mobile Robot Vision System. [Citation Graph (0, 0)][DBLP ] Conf ] B. Chandrasekaran , William F. Punch III Data Validation during Diagnosis: A Step beyond Traditional Sensor Validation. [Citation Graph (0, 0)][DBLP ] Conf ] Paul R. Cohen , Michael Greenberg , Jefferson DeLisio MU: A Development Environment for Prospective Reasoning Systems. [Citation Graph (2, 0)][DBLP ] Conf ] Keith L. Downing Diagnostic Improvement through Qualitative Sensitivity Analysis and Aggregation. [Citation Graph (0, 0)][DBLP ] Conf ] O. Eliyahu , L. Zaidenberg , Moshe Ben-Bassat CAMEX - An Expert System for Process Planning on CNC Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Robert J. Hall , Richard H. Lathrop , Robert S. Kirk A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] H. Craig Howard , Daniel R. Rehak KADBASE - A Prototype Expert System-Database Interface for Integrated CAE Environments. [Citation Graph (0, 0)][DBLP ] Conf ] William Kaemmerer , James R. Allard An Automated Reasoning Technique for Providing Moment-by-Moment Advice Concerning the Operation of a Process. [Citation Graph (0, 0)][DBLP ] Conf ] Gary S. Kahn , Al Kepner , Jeff Pepper TEST: A Model-driven Application Shell. [Citation Graph (1, 0)][DBLP ] Conf ] Sharon J. Laskowski , Emily J. Hofmann Script-based Reasoning for Situation Monitoring. [Citation Graph (0, 0)][DBLP ] Conf ] Elliot Soloway , Judy Bachant , Keith Jensen Assessing the Maintainability of XCON-in-RIME: Coping with the Problems of a VERY Large Rule-Base. [Citation Graph (3, 0)][DBLP ] Conf ] Louis I. Steinberg Design as Refinement Plus Constraint Propagation: The VEXED Experience. [Citation Graph (0, 0)][DBLP ] Conf ] 