Conferences in DBLP
Robert G. Farrell Facilitating Self-Education by Questioning Assumptive Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] David M. Steier , Allen Newell Integrating Multiple Sources of Knowledge Into Designer Soar, an Automatic Algorithm Designer. [Citation Graph (0, 0)][DBLP ] Conf ] Michael R. Lowry Invariant Logic: A Calculus for Problem Reformulation. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen Fickas , P. Nagarajan Being Suspicious: Critiquing Problem Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Mark F. Orelup , John R. Dixon , Paul R. Cohen , Melvin K. Simmons Dominic II: Meta-Level Control in Iterative Redesign. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Gelman , Susan Altman , Matt Pallakoff , Ketan Doshi , Catherine Manago , Thomas C. Rindfleisch , Bruce G. Buchanan FRM: An Intelligent Assistant for Financial Resource Management. [Citation Graph (0, 0)][DBLP ] Conf ] Rina Dechter , Avi Dechter Belief Maintenance in Dynamic Constraint Networks. [Citation Graph (0, 0)][DBLP ] Conf ] John C. Hogge Prevention Techniques for a Temporal Planner. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Dean , Mark S. Boddy An Analysis of Time-Dependent Planning. [Citation Graph (2, 0)][DBLP ] Conf ] Edwin P. D. Pednault Extending Conventional Planning Techniques to Handle Actions with Context-Depen dent Effects. [Citation Graph (0, 0)][DBLP ] Conf ] Leslie Pack Kaelbling Goals as Parallel Program Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Edmund H. Durfee , Victor R. Lesser Predictability Versus Responsiveness: Coordinating Problem Solvers in Dynamic Domains. [Citation Graph (1, 0)][DBLP ] Conf ] Thomas J. Laffey , Scott M. Weitzenkamp , Jackson Y. Read , Simon A. Kao , James L. Schmidt Intelligent Real-Time Monitoring. [Citation Graph (0, 0)][DBLP ] Conf ] Peng Si Ow , Stephen F. Smith , Alfred Thirlez Reactive Plan Revision. [Citation Graph (1, 0)][DBLP ] Conf ] Jose A. Ambros-Ingerson , Sam Steel Integrating Planning, Execution and Monitoring. [Citation Graph (1, 0)][DBLP ] Conf ] Marianne Winslett Reasoning about Action Using a Possible Models Approach. [Citation Graph (6, 0)][DBLP ] Conf ] Reid G. Simmons A Theory of Debugging Plans and Interpretations. [Citation Graph (1, 0)][DBLP ] Conf ] John S. Anderson , Arthur M. Farley Plan Abstraction Based on Operator Generalization. [Citation Graph (1, 0)][DBLP ] Conf ] Yasuyuki Maeda , Katsuya Shinohara Geometric Reasoning and Organized Optimization for Automated Process Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Horvitz Reasoning under Varying and Uncertain Resource Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] James Bowen , Jianchu Kang Conflict Resolution in Fuzzy Forward-Chaining Production Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Vipin Kumar , K. Ramesh , V. Nageshwara Rao Parallel Best-First Search of State-Space Graphs: A Summary of Results. [Citation Graph (0, 0)][DBLP ] Conf ] Chris Ferguson , Richard E. Korf Distributed Tree Search and Its Application to Alpha-Beta Pruning. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Bradtke , Wendy G. Lehnert Some Experiments with Case-Based Search. [Citation Graph (0, 0)][DBLP ] Conf ] Richard E. Korf Real-Tme Heuristic Search: New Results. [Citation Graph (0, 0)][DBLP ] Conf ] K. V. Viswanathan , A. Bagchi An Exact Best-First Search Procedure for the Constrained Rectangular Guillotine Knapsack Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Rina Dechter , Judea Pearl Tree-Clustering Schemes for Constraint-Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Ramin Zabih , David A. McAllester A Rearrangement Search Strategy for Determining Propositional Satisfiability. [Citation Graph (0, 0)][DBLP ] Conf ] Stephanie A. Miller , Lenhart K. Schubert Using Specialists to Accelerate General Reasoning. [Citation Graph (1, 0)][DBLP ] Conf ] Nachum Dershowitz , G. Sivakumar Goal-Directed Equation Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Chris Groeneboer , James P. Delgrande Tableau-Based Theorem Proving In Normal Conditional Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Jackson , Han Reichgelt A General Proof Method for Modal Predicate Logic without the Barcan Formula. [Citation Graph (0, 0)][DBLP ] Conf ] Caroline N. Koff , Nicholas S. Flann , Thomas G. Dietterich An Efficient ATMS for Equivalence Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Johan de Kleer A General Labeling Algorithm for Assumption-Based Truth Maintenance. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth D. Forbus , Johan de Kleer Focusing the ATMS. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Dixon , Johan de Kleer Massively Parallel Assumption-Based Truth Maintenance. [Citation Graph (0, 0)][DBLP ] Conf ] Debra K. Zarley , Yen-Teh Hsia , Glenn Shafer Evidential Reasoning Using DELEF. [Citation Graph (0, 0)][DBLP ] Conf ] Kathryn B. Laskey , Paul E. Lehner Belief Maintenance: An Integrated Approach to Uncertainty Management. [Citation Graph (0, 0)][DBLP ] Conf ] Mary McLeish A Note on Probabilistic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Steven L. Lytinen , Carol E. Moon Learning a Second Language. [Citation Graph (0, 0)][DBLP ] Conf ] John F. Reeves Ethical Understanding: Recognizing and Using Belief Conflict in Narrative Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas H. Fisher A Computational Account of Basic Level and Typicality Effects. [Citation Graph (1, 0)][DBLP ] Conf ] Kevin D. Ashley , Edwina L. Rissland Waiting on Weighting: A Symbolic Least Commitment Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Katia P. Sycara Resolving Goal Conflicts via Negotiation. [Citation Graph (3, 0)][DBLP ] Conf ] David B. Leake Evaluating Explanations. [Citation Graph (0, 0)][DBLP ] Conf ] Phyllis Koton Reasoning about Evidence in Causal Explanations. [Citation Graph (0, 0)][DBLP ] Conf ] Brian C. Williams MINIMA: A Symbolic Approach to Qualitative Algebraic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Nielsen A Qualitative Approach to Mechanical Constraint. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Struss Global Filters for Qualitative Behaviors. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth Man-kam Yip Generating Global Behaviors using Deep knowledge of Local Dynamics. [Citation Graph (0, 0)][DBLP ] Conf ] Wood W. Lee , Benjamin Kuipers Non-Intersection of Trajectories in Qualitative Phase Space: A Global Constraint for Qualitative Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] David S. Weld Exaggeration. [Citation Graph (0, 0)][DBLP ] Conf ] Seshashayee S. Murphy Qualitative Reasoning at Multiple Resolutions. [Citation Graph (0, 0)][DBLP ] Conf ] Brian Falkenhainer , Kenneth D. Forbus Setting up Large-Scale Qualitative Models. [Citation Graph (0, 0)][DBLP ] Conf ] Yumi Iwasaki , Inderpal S. Bhandari Formal Basis for Commonsense Abstraction of Dynamic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Yumi Iwasaki Causal Ordering in a Mixed Structure. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Luc Dormoy Controlling Qualitative Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin Kuipers , Daniel Berleant Using Incomplete Quantitative Knowledge In Qualitative Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Luc Dormoy , Olivier Raiman Assembling a Device. [Citation Graph (0, 0)][DBLP ] Conf ] Sarosh Talukdar , James M. Rehg , Rob Woodbury , Alberto Elfes Upgrading Design Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Karl T. Ulrich , Warren P. Seering Function Sharing in Mechanical Design. [Citation Graph (0, 0)][DBLP ] Conf ] Leo Joskowicz , Sanjaya Addanki From Kinematics to Shape: An Approach to Innovative Design. [Citation Graph (0, 0)][DBLP ] Conf ] D. A. Pearce The Induction of Fault Diagnosis Systems from Qualitative Models. [Citation Graph (1, 0)][DBLP ] Conf ] Peng Wu Design for Testability. [Citation Graph (0, 0)][DBLP ] Conf ] Nancy E. Reed , Elizabeth R. Stuck , James B. Moen Specialized Strategies: An Altenative to First Principles in Diagnostic Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Kathy H. Abbott Robust Operative Diagnosis as Problem Solving in a Hypothesis Space. [Citation Graph (0, 0)][DBLP ] Conf ] Peter G. Selfridge How to Print a File: An Expert System Approach to Software Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] David B. Searls Representing Genetic Information with Formal Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey Van Baalen , Randall Davis Overview of an Approach to Representation Design. [Citation Graph (0, 0)][DBLP ] Conf ] Michael P. Wellman , Reid G. Simmons Mechanisms for Reasoning about Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Robert M. MacGregor A Deductive Pattern Matcher. [Citation Graph (7, 0)][DBLP ] Conf ] Lin Padgham A Model and Representation for Type Information and Its Use in Reasoning with Defaults. [Citation Graph (0, 0)][DBLP ] Conf ] Paul R. Cohen , Cynthia L. Loiselle Beyond ISA: Structures for Plausible Inference In Semantic Networks. [Citation Graph (1, 0)][DBLP ] Conf ] Brian A. Haugh Tractable Theories of Multiple Defeasible Inheritance in Ordinary Nonmonotonic Logics. [Citation Graph (0, 0)][DBLP ] Conf ] John F. Horty , Richmond H. Thomason Mixing Strict and Defeasible Inheritance. [Citation Graph (0, 0)][DBLP ] Conf ] David S. Touretzky , Richmond H. Thomason Nonmonotonic Inheritance and Generic Reflexives. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Konolige Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Teodor C. Przymusinski On the Relationship Between Logic Programming and Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Hector Geffner On the Logic of Defaults. [Citation Graph (0, 0)][DBLP ] Conf ] Li-Yan Yuan , Cheng Hui Wang On Reducing Parallel Circumscription. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Gelfond , Vladimir Lifschitz Compiling Circumscriptive Theories into Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Phokion G. Kolaitis , Christos H. Papadimitriou Some Computational Aspects of Circumscription. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew L. Ginsberg A Circumscriptive Theorem Prover. [Citation Graph (0, 0)][DBLP ] Conf ] Mukesh Dalal Investigations into a Theory of Knowledge Base Revision. [Citation Graph (7, 0)][DBLP ] Conf ] Anthony J. Bonner A Logic for Hypothetical Reasoning. [Citation Graph (3, 0)][DBLP ] Conf ] Peter F. Patel-Schneider Adding Number Restrictions to a Four-Valued Terminological Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Catach Normal Multimodal Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Karen L. Myers , David E. Smith The Persistence of Derived Information. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Hanks Representing and Computing Temporally Scoped Beliefs. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Morris Stable Closures, Defeasible Logic and Contradiction Tolerant Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Peter B. Ladkin Satisfying First-Order Constraints About Time Intervals. [Citation Graph (2, 0)][DBLP ] Conf ] Leora Morgenstern , Lynn Andrea Stein Why Things Go Wrong: A Formal Theory of Causal Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Dean , Keiji Kanazawa Probabilistic Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Brian Falkenhainer The Utility of Difference-Based Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Kristian J. Hammond , Timothy M. Converse , Mitchell Marks Learning from Opportunities: Storing and Re-using Execution-Time Optimizations. [Citation Graph (0, 0)][DBLP ] Conf ] Ralph Barletta , William Mark Explanation-Based Indexing of Cases. [Citation Graph (0, 0)][DBLP ] Conf ] Subrata Roy , Jack Mostow Parsing to Learn Fine Gralned Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Bruce G. Buchanan , John Sullivan , Tze-Pin Cheng , Scott H. Clearwater Simulation-Assisted Inductive Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Ammon The Automatic Acquisition of Proof Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Minton Quantitative Results Concerning the Utility of Explanation-Based Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Ellman Approximate Theory Formation: An Explanation-Based Approach. [Citation Graph (1, 0)][DBLP ] Conf ] Michael S. Braverman , Stuart J. Russell IMEX: Overcoming Intactability In Explanation Based Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan Amsterdam Some Philosophical Problems with Formal Learning Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Allen Ginsberg Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy. [Citation Graph (5, 0)][DBLP ] Conf ] Allen Ginsberg Theory Revision via Prior Operationalization. [Citation Graph (1, 0)][DBLP ] Conf ] John J. Grefenstette Credit Assignment in Genetic Learning Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Paul E. Utgoff Perceptron Trees: A Case Study In Hybrid Concept Representations. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Cheeseman , Matthew Self , James Kelly , Will Taylor , Don Freeman , John Stutz Bayesian Classification. [Citation Graph (1, 0)][DBLP ] Conf ] Carlo Berzuini Combining Symbolic Learning Techniques and Statistical Regression Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] John E. Laird Recovery from Incorrect knowledge in Soar. [Citation Graph (0, 0)][DBLP ] Conf ] Edwin P. D. Pednault Infering Probabilistic Theofies from Data. [Citation Graph (0, 0)][DBLP ] Conf ] Leslie G. Valiant Functionality in Neural Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Ronald L. Rivest , Robert H. Sloan Learning Complicated Concepts Reliably and Usefully. [Citation Graph (0, 0)][DBLP ] Conf ] Stuart J. Russell Tree-Structured Bias. [Citation Graph (2, 0)][DBLP ] Conf ] David C. Wilkins Knowledge Base Refinement Using Apprenticeship Learning Techniques. [Citation Graph (1, 0)][DBLP ] Conf ] Howard E. Shrobe , John G. Aspinall , Neil L. Mayle Towards a Virtual Parallel Inference Engine. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Van Hentenryck , Jean-Philippe Carillon Generality versus Specificity: An Experience with AI and OR Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] D. D. Sharma , N. S. Sridharan Knowledge-Based Real-Time Control: A Parallel Processing Perspective. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel D. Corkill , Kevin Q. Callagher Tuning a Blackboard-Based Application: A Case Study Using GBB. [Citation Graph (0, 0)][DBLP ] Conf ] Laxmikant V. Kalé A Tree Representation for Parallel Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Swain , Paul R. Cooper Parallel Hardware for Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] Anoop Gupta , Milind Tambe Suitability of Message Passing Computers for Implementing Production Systems. [Citation Graph (0, 0)][DBLP ] Conf ] P. Pandurang Nayak , Anoop Gupta , Paul S. Rosenbloom Comparison of the Rete and Treat Production Matchers for Soar. [Citation Graph (2, 0)][DBLP ] Conf ] Toru Ishida Optimizing Rules in Production System Programs. [Citation Graph (4, 0)][DBLP ] Conf ] Franz Barachini , Norbert Theuretzbacher The Challenge of Real-Time Process Control for Production Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mary P. Harper Representing Pronouns in Logical Form: Computational Constraints and Linguistic Evidence. [Citation Graph (0, 0)][DBLP ] Conf ] Samuel S. Epstein Principle-Based Interpretation of Natural Language Quantifiers. [Citation Graph (0, 0)][DBLP ] Conf ] Hideto Tomabechi , Masaru Tomita The Integration of Unification-Based Syntax/Semantics and Memory-Based Pragmatics for Real-Time Understanding of Noisy Continuous Speech Input. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander G. Hauptmann , Sheryl R. Young , Wayne H. Ward Using Dialog-Level Knowledge Sources to Improve Speech Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Renato de Mori , Yoshua Bengio , Régis Cardin Data-Driven Execution of Multi-Layered Networks for Automatic Speech Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Paul S. Jacobs , Uri Zernik Acquiring Lexical Knowledge from Text: A Case Study. [Citation Graph (3, 0)][DBLP ] Conf ] Fei Song , Robin Cohen The Interpretation of Temporal Relations in Narrative. [Citation Graph (0, 0)][DBLP ] Conf ] Galina Datskovsky Moerdler , Kathleen McKeown Beyond Semantic Ambiguity. [Citation Graph (0, 0)][DBLP ] Conf ] David N. Chin Exploiting User Expertise in Answer Expression. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen J. Buckley Compliance Viewed as Programming a Damped Spring. [Citation Graph (0, 0)][DBLP ] Conf ] Sharon A. Stansfield Reasoning About Grasping. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin Kuipers , Yung-Tai Byun A Robust, Qualitative Method for Robot Spatial Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Nico Boneschanscher , Hans van der Drift , Stephen J. Buckley , Russell H. Taylor Subassembly Stability. [Citation Graph (0, 0)][DBLP ] Conf ] Ernest Davis Inferring Ignorance from the Locality of Visual Perception. [Citation Graph (0, 0)][DBLP ] Conf ] Jahir Pabon , David C. Gossard Connectionist Networks for Learning Coordinated Motion in Autonomous Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ian Horswill , Rodney A. Brooks Situated Vision in a Dynamic World: Chasing Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Fischer , Christian Rathke Knowledge-Based Spreadsheets. [Citation Graph (0, 0)][DBLP ] Conf ] Yigal Arens , Lawrence Miller , Stuart C. Shapiro , Norman K. Sondheimer Automatic Construction of User-Interface Displays. [Citation Graph (0, 0)][DBLP ] Conf ] John Yen , Robert Neches , Michael DeBellis Specification by Reformulation: A Paradigm for Building Integrated User Support Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Jeannette G. Neal , Zuzana Krifka Dobes , Keith E. Bettinger , Jong S. Byoun Multi-Modal References in Human-Computer Dialogue. [Citation Graph (0, 0)][DBLP ] Conf ] Alex Pentland On the Extraction of Shape Information from Shading. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Califano Feature Recognition Using Correlated Information Contained in Multiple Neighborboods. [Citation Graph (0, 0)][DBLP ] Conf ] Ching-Huei Wang , Paul W. Palumbo , Sargur N. Srihari Performance of a System to Locate Address Blocks on Mail Pieces. [Citation Graph (0, 0)][DBLP ] Conf ] Michael L. Brodie Future Intelligent Information Systems: AI and Database Technologies Working Together. [Citation Graph (1, 0)][DBLP ] Conf ] Harold Cohen How to Draw Three People in a Botanical Garden. [Citation Graph (0, 0)][DBLP ] Conf ] 