Conferences in DBLP
Marcello Frixione , Giuseppe Spinelli , Salvatore Gaglio Symbols and Subsymbols for Representing Knowledge: A Catalogue Raisonné. [Citation Graph (0, 0)][DBLP ] Conf ] Nils Dahlbäck A Symbol Is Not a Symbol. [Citation Graph (0, 0)][DBLP ] Conf ] Stuart J. Russell Execution Architectures and Compilation. [Citation Graph (0, 0)][DBLP ] Conf ] Shie-rei Huang , Larry S. Davis Parallel Iterative A* Search: An Admissible Distributed Heuristic Search Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Rosanne M. Fulcomer , William E. Ball Correct Parallel Status Assignment for the Reason Maintenance System. [Citation Graph (0, 0)][DBLP ] Conf ] Curt Powley , Richard E. Korf Single-Agent Parallel Window Search: A Summary of Results. [Citation Graph (0, 0)][DBLP ] Conf ] Subir Bhattacharya , Amitava Bagchi Searching Game Trees in Parallel Using SSS. [Citation Graph (0, 0)][DBLP ] Conf ] William S. Havens , Paul Stephen Rehfuss Platypus: A Constraint-Based Reasoning System. [Citation Graph (0, 0)][DBLP ] Conf ] Paul R. Cooper , Michael J. Swain Domain Dependence in Parallel Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] Hans W. Guesgen A Universal Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Leon Sterling , L. Ümit Yalçinalp Explaining Prolog Based Expert Systems Using a Layered Meta-Interpreter. [Citation Graph (1, 0)][DBLP ] Conf ] Thomas Graf , Pascal Van Hentenryck , Claudine Pradelles , Laurent Zimmer Simulation of Hybrid Circuits in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Z. I. Markov A Framework for Network Modeling in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Michael A. Kelly , Rudolph E. Seviora An Evaluation of DRete on CUPlD for OPSS Matching. [Citation Graph (0, 0)][DBLP ] Conf ] Chinh-Chi Hsu , Feng-Hsu Wang The Search Ahead Conflict Resolution for Parallel Firing of Production Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Lisiane Goffaux , Robert Mathonet A Technique for Customizing Object-Oriented Knowledge Representation Systems, With An Application to Network Problem Management. [Citation Graph (0, 0)][DBLP ] Conf ] Sanjaya Addanki , Roberto Cremonini , J. Scott Penberthy Contexts: Dynamic Identification of Common Parameters in Distributed Analysis of Complex Devices. [Citation Graph (0, 0)][DBLP ] Conf ] Premkumar T. Devanbu , Peter G. Selfridge , Bruce W. Ballard , Ronald J. Brachman A Knowledge-Based Software Information System. [Citation Graph (0, 0)][DBLP ] Conf ] Rudi Lutz Chart Parsing of Flowgraphs. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Perlin Call-Graph Caching: Transforming Programs into Networks. [Citation Graph (0, 0)][DBLP ] Conf ] John Domingue , Marc Eisenstadt A New Metaphor for the Graphical Explanation of Forward-Chaining Rule Execution. [Citation Graph (0, 0)][DBLP ] Conf ] Michael R. Wick , William B. Thompson Reconstructive Explanation: Explanation as Complex Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Alex Kass Adaptation-Based Explanation: Extending Script/Frame Theory to Handle Novel Input. [Citation Graph (0, 0)][DBLP ] Conf ] Yasusi Kanada , Masahiro Sugaya A Vectorization Technique for Prolog without Explosion. [Citation Graph (0, 0)][DBLP ] Conf ] Nikos Drakos Unrestricted And-Parallel Execution of Logic Programs with Dependency Directed Backtracking. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Schend A Sequential View of AND-Parallelism Through Partial AND-Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Tomas Hrycej Unsupervised Learning by Backward Inhibition. [Citation Graph (0, 0)][DBLP ] Conf ] Chung-Jen Ho On Multi-Layered Connectionist Models: Adding Layers vs. Increasing Width. [Citation Graph (0, 0)][DBLP ] Conf ] Vasant Honavar , Leonard Uhr Generation, Local Receptive Fields and Global Convergence Improve Perceptual Learning in Connectionist Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Hideto Tomabechi , Hiroaki Kitano Beyond PDP: The Frequency Modulation Neural Network Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] David Handelman , Stephen Lane , Jack Gelfand Integrating Knowledge-Based System and Neural Network Techniques for Robotic Skill Acquisition. [Citation Graph (1, 0)][DBLP ] Conf ] Edward Rothberg , Anoop Gupta Experiences Implementing a Parallel ATMS on a Shared-Memory Multiprocessor. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen S. Wilson Neural Computing on a One Dimensional SIMD Array. [Citation Graph (0, 0)][DBLP ] Conf ] James Rice The ELINT Application on Poligon: The Architecture and Performance of a Concurrent Blackboard System. [Citation Graph (0, 0)][DBLP ] Conf ] John K. Debenham The Implementation of Expert, Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] F. D. Highland , Christine T. Iwaskiw Knowledge Base Compilation. [Citation Graph (0, 0)][DBLP ] Conf ] Richard H. Stottler , Andrea L. Henke , James A. King Rapid Retrieval Algorithms for Case-Based Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Shashi Shekhar , Soumitra Dutta Minimizing Response Times in Real Time Planning and Search. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara Hayes-Roth , Richard Washington , Rattikorn Hewett , Micheal Hewett , Adam Seiver Intelligent Monitoring and Control. [Citation Graph (1, 0)][DBLP ] Conf ] Richard Washington , Barbara Hayes-Roth Input Data Management in Real-Time AI Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Rajendra T. Dodhiawala , N. S. Sridharan , Peter Raulefs , Cynthia Pickering Real-Time AI Systems: A Definition and An Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Kuo-Chu Chang , Robert M. Fung Node Aggregation for Distributed Inference in Bayesian Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Rina Dechter , Itay Meiri Experimental Evaluation of Preprocessing Techniques in Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene C. Freuder Partial Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] Igor Rivin , Ramin Zabih An Algebraic Approach to Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Johan de Kleer A Comparison of ATMS and CSP Techniques. [Citation Graph (1, 0)][DBLP ] Conf ] Anup K. Sen , Amitava Bagchi Fast Recursive Formulations for Best-First Search That Allow Controlled Use of Memory. [Citation Graph (0, 0)][DBLP ] Conf ] Henry W. Davis , Anna Bramanti-Gregor , Xiaoteng Chen Towards Finding Optimal Solutions with Non-Admissible Heuristics: A New Technique. [Citation Graph (0, 0)][DBLP ] Conf ] Mark S. Fox , Norman M. Sadeh , Can A. Baykan Constrained Heuristic Search. [Citation Graph (1, 0)][DBLP ] Conf ] Peter C. Nelson , Lawrence J. Henschen Multi-Dimensional Heuristic Searching. [Citation Graph (0, 0)][DBLP ] Conf ] Anton Scheucher , Hermann Kaindl The Reason for the Benefits of Minimax Search. [Citation Graph (0, 0)][DBLP ] Conf ] Richard E. Korf Generalized Game Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Stuart J. Russell , Eric Wefald On Optimal Game-Tree Search using Rational Meta-Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Elkan Conspiracy Numbers and Caching for Searching And/Or Trees and Theorem-Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Qiang Yang , Dana S. Nau Preprocessing Search Spaces for Branch and Bound Search. [Citation Graph (0, 0)][DBLP ] Conf ] Vincent J. Digricoli , James J. Lu , V. S. Subrahmanian And-Or Graphs Applied to RUE Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Bundy , Frank van Harmelen , Jane Hesketh , Alan Smaill , Andrew Stevens A Rational Reconstruction and Extension of Recursion Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Dan Benanav Recognizing Unnecessary Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Fausto Giunchiglia , Toby Walsh Abstract Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Lingenfelder Structuring Computer Generated Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] M. J. Shensa A Computational Structure for the Propositional Calculus. [Citation Graph (1, 0)][DBLP ] Conf ] Mehdi T. Harandi , Sanjay Bhansali Program Derivation Using Analogy. [Citation Graph (0, 0)][DBLP ] Conf ] Marco A. Casanova , Ramiro A. de T. Guerreiro , Andrea Silva Logic Programming with General Clauses and Defaults Based on Model Elimination. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Socher-Ambrosius Reducing the Derivation of Redundant Clauses in Reasoning Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Maurice Bruynooghe , Luc De Raedt , Danny De Schreye Explanation Based Program Transformation. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Madden The Specialization and Transformation of Constructive Existence Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Dongming Wang On Wu's Method for Proving Constructive Geometric Theorems. [Citation Graph (0, 0)][DBLP ] Conf ] Domenico Cantone , Eugenio G. Omodeo On the Decidability of Formulae Involving Continuous and Closed Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Elisha Sacks An Approximate Solver for Symbolic Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Xuhua Liu Lock, Linear Lambda-Paramodulation in Operator Fuzzy Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Auffray , Patrice Enjalbert Modal Theorem Proving: An Equational Viewpoint. [Citation Graph (0, 0)][DBLP ] Conf ] Timothy M. Lownie Extending Reflective Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas B. Kane Maximum Entropy in Nilsson's Probabilistic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Bijan Arbab How to Represent Opaque Sentences in First Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew B. Baker , Matthew L. Ginsberg A Theorem Prover for Prioritized Circumscription. [Citation Graph (0, 0)][DBLP ] Conf ] Peter K. Rathmann , Marianne Winslett Circumscribing Equality. [Citation Graph (0, 0)][DBLP ] Conf ] Jim E. Greer , Gordon I. McCalla A Computational Framework for Granularity and its Application to Educational Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Rick Evertsz The Generation of `Critical Problems' by Abstract Interpretations of Student Models. [Citation Graph (0, 0)][DBLP ] Conf ] Sarah A. Douglas , Zheng-Yang Liu Generating Causal Explanation from a Cardio-Vascular Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Victor R. Lesser , Daniel D. Corkill , Robert Whitehair , J. A. Hernandez Focus of Control Through Goal Relationships. [Citation Graph (0, 0)][DBLP ] Conf ] Kristian J. Hammond Opportunistic Memory. [Citation Graph (0, 0)][DBLP ] Conf ] Gregg Collins , Lawrence Birnbaum , Bruce Krulwich An Adaptive Model of Decision-Making in Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Katia P. Sycara Argumentation: Planning Other Agents' Plans. [Citation Graph (0, 0)][DBLP ] Conf ] Edwina L. Rissland , David B. Skalak Combining Case-Based and Rule-Based Reasoning: A Heuristic Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Thost Generating Facts From Opinions with Information Source Models. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin D. Ashley Defining Salience in Case-Based Arguments. [Citation Graph (0, 0)][DBLP ] Conf ] James C. Spohrer , Elliot Soloway Simulating Student Programmers. [Citation Graph (1, 0)][DBLP ] Conf ] Alex Quilici The Correction Machine: Formulating Explanations for User Misconceptions. [Citation Graph (1, 0)][DBLP ] Conf ] Jayant Kalagnanam , Eswaran Subrahmanian Learning to Diagnose by Doing. [Citation Graph (0, 0)][DBLP ] Conf ] Joel D. Martin Focusing Attention for Observational Learning: The Importance of Context. [Citation Graph (0, 0)][DBLP ] Conf ] John A. Barnden Neural-Net Implementation of Complex Symbol-Processing in a Mental Model Approach to Syllogistic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Dekai Wu A Probabilistic Approach to Marker Propagation. [Citation Graph (0, 0)][DBLP ] Conf ] Wesley Braudaway , Chris Tong Automated Synthesis of Constrained Generators. [Citation Graph (0, 0)][DBLP ] Conf ] Steve A. Chien Using and Refining Simplifications: Explanation-Based Learning of Plans in Intractable Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Shell , Jaime G. Carbonell Towards a General Framework for Composing Disjunctive and Iterative Macro-operators. [Citation Graph (0, 0)][DBLP ] Conf ] Seiji Yamada , Sabinro Tsuji Selective Learning of Macro-operators with Perfect Causality. [Citation Graph (0, 0)][DBLP ] Conf ] David Ruby , Dennis F. Kibler Learning Subgoal Sequences for Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Larry A. Rendell A Study of Empirical Learning for an Involved Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Gregg Yost , Allen Newell A Problem Space Approach to Expert System Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Jitu Patel On the Road to Automatic Knowledge Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Brian R. Gaines , Mildred L. G. Shaw Comparing the Conceptual Systems of Experts. [Citation Graph (1, 0)][DBLP ] Conf ] Giulia Pagallo Learning DNF by Decision Trees. [Citation Graph (2, 0)][DBLP ] Conf ] Christopher J. Matheus , Larry A. Rendell Constructive Induction On Decision Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Pankaj Mehra , Larry A. Rendell , Benjamin W. Wah Principled Constructive Induction. [Citation Graph (0, 0)][DBLP ] Conf ] James Wogulis , Pat Langley Improving Efficiency by Learning Intermediate Concepts. [Citation Graph (1, 0)][DBLP ] Conf ] Kenneth Basye , Thomas Dean , Jeffrey Scott Vitter Coping With Uncertainty in Map Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Paul D. Scott , Shaul Markovitch Learning Novel Domains Through Curiosity and Conjecture. [Citation Graph (0, 0)][DBLP ] Conf ] Wei-Min Shen , Herbert A. Simon Rule Creation and Rule Learning Through Environmental Exploration. [Citation Graph (0, 0)][DBLP ] Conf ] Amy Unruh , Paul S. Rosenbloom Abstraction in Problem Solving and Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Jude W. Shavlik Acquiring Recursive Concepts with Explanation-Based Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Prasad Tadepalli Lazy ExplanationBased Learning: A Solution to the Intractable Theory Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Jack Mostow , Armand Prieditis Discovering Admissible Heuristics by Abstracting and Optimizing: A Transformational Approach. [Citation Graph (1, 0)][DBLP ] Conf ] George Drastal , Gabor Czako , Stan Raatz Induction in an Abstraction Space: A Form of Constructive Induction. [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Pazzani Detecting and Correcting Errors of Omission After Explanation-Based Learning. [Citation Graph (1, 0)][DBLP ] Conf ] Roberto Gemello , Franco Mana An Integrated Characterization and Discrimination Scheme to Improve Learning Efficiency in Large Data Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond J. Mooney The Effect of Rule Use on the Utility of Explanation-Based Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Milind Tambe , Paul S. Rosenbloom Eliminating Expensive Chunks by Restricting Expressiveness. [Citation Graph (0, 0)][DBLP ] Conf ] Shaul Markovitch , Paul D. Scott Utilization Filtering: A Method for Reducing the Inherent Harmfulness of Deductively Learned Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Russell Greiner , J. Likuski Incorporating Redundant Learned Rules: A Preliminary Formal Analysis of EBL. [Citation Graph (0, 0)][DBLP ] Conf ] Rich Caruana , Larry J. Eshelman , J. David Schaffer Representation and Hidden Bias II: Eliminating Defining Length Bias in Genetic Search via Shuffle Crossover. [Citation Graph (0, 0)][DBLP ] Conf ] Gunar E. Liepins , Mike R. Hilliard , Mark R. Palmer , G. Rangarajan Alternatives for Classifier System Credit Assignment. [Citation Graph (0, 0)][DBLP ] Conf ] David J. Montana , Lawrence Davis Training Feedforward Neural Networks Using Genetic Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] John R. Koza Hierarchical Genetic Algorithms Operating on Populations of Computer Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond J. Mooney , Jude W. Shavlik , Geoffrey G. Towell , Alan Gove An Experimental Comparison of Symbolic and Connectionist Learning Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Sholom M. Weiss , Ioannis Kapouleas An Empirical Comparison of Pattern Recognition, Neural Nets, and Machine Learning Classification Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas H. Fisher , Kathleen B. McKusick An Empirical Comparison of ID3 and Back-propagation. [Citation Graph (1, 0)][DBLP ] Conf ] David W. Aha , Dennis F. Kibler Noise-Tolerant Instance-Based Learning Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Steven W. Norton Generating Better Decision Trees. [Citation Graph (0, 0)][DBLP ] Conf ] David K. Tcheng , Bruce L. Lambert , Stephen C. Y. Lu , Larry A. Rendell Building Robust Learning Systems by Combining Induction and Optimization. [Citation Graph (0, 0)][DBLP ] Conf ] Robert C. Holte , Liane Acker , Bruce W. Porter Concept Learning and the Problem of Small Disjuncts. [Citation Graph (1, 0)][DBLP ] Conf ] Paul Thagard , Dawn M. Cohen , Keith J. Holyoak Chemical Analogies: Two Kinds of Explanation. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas H. Fisher Noise-Tolerant Conceptual Clustering. [Citation Graph (0, 0)][DBLP ] Conf ] Mirsad Hadzikadic , David Y. Y. Yun Concept Formation by Incremental Conceptual Clustering. [Citation Graph (1, 0)][DBLP ] Conf ] Wray L. Buntine A Critique of the Valiant Model. [Citation Graph (0, 0)][DBLP ] Conf ] Qiong Gao , Ming Li The Minimum Description Length Principle and Its Application to Online Learning of Handprinted Characters. [Citation Graph (0, 0)][DBLP ] Conf ] Luc De Raedt , Maurice Bruynooghe Towards Friendly Concept-Learners. [Citation Graph (0, 0)][DBLP ] Conf ] Marianne Winslett Sometimes Updates Are Circumscription. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Lifschitz , Arkady Rabinov Things That Change by Themselves. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Lespérance A Formal Account of Self-Knowledge and Action. [Citation Graph (0, 0)][DBLP ] Conf ] Monte Zweben , Megan Eskey Constraint Satisfaction with Delayed Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Weise Constraint Posting for Verifying VLSI Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Walter Hamscher Temporally Coarse Representation of Behavior for Model-based Troubleshooting of Digital Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Sandewall Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds. [Citation Graph (0, 0)][DBLP ] Conf ] Jay C. Weber A Parallel Algorithm for Statistical Belief Refinement and its use in Causal Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew B. Baker , Matthew L. Ginsberg Temporal Projection and Explanation. [Citation Graph (0, 0)][DBLP ] Conf ] Gilad Zlotkin , Jeffrey S. Rosenschein Negotiation and Task Sharing Among Autonomous Agents in Cooperative Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Moshe Tennenholtz , Yoram Moses On Cooperation in a Multi-Entity Model. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Konolige , Martha E. Pollack Ascribing Plans to Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Jie Cheng , Keki B. Irani Ordering Problem Subgoals. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Hertzberg , Alexander Horz Towards a Theory of Conflict Detection and Resolution in Nonlinear Plans. [Citation Graph (0, 0)][DBLP ] Conf ] Subbarao Kambhampati , James A. Hendler Control of Refitting during Plan Reuse. [Citation Graph (0, 0)][DBLP ] Conf ] Caroline C. Hayes A Model of Planning for Plan Efficiency: Taking Advantage of Operator Overlap. [Citation Graph (0, 0)][DBLP ] Conf ] Yoav Shoham Time for Action: On the Relation Between Time, Knowledge and Action. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Drummond , Ken Currie Goal Ordering in Partially Ordered Plans. [Citation Graph (0, 0)][DBLP ] Conf ] Anand S. Rao , Norman Y. Foo Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions. [Citation Graph (0, 0)][DBLP ] Conf ] Michael P. Georgeff , François Felix Ingrand Decision-Making in an Embedded Reasoning System. [Citation Graph (0, 0)][DBLP ] Conf ] Mark S. Boddy , Thomas Dean Solving Time-Dependent Planning Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Keiji Kanazawa , Thomas Dean A Model for Projection and Action. [Citation Graph (0, 0)][DBLP ] Conf ] Pattie Maes The Dynamics of Action Selection. [Citation Graph (0, 0)][DBLP ] Conf ] Naiping Keng , David Y. Y. Yun A Planning/Scheduling Methodology for the Constrained Resource Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Prosser A Reactive Scheduling Agent. [Citation Graph (1, 0)][DBLP ] Conf ] Ronen Feldman , Martin Charles Golumbic Constraint Satisfiability Algorithms for Interactive Student Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Lou Tychonievich , David Zaret , John Mantegna , Robert Evans , Eric Muehle , Scott Martin A Maneuvering-Board Approach to Path Planning with Moving Obstacles. [Citation Graph (0, 0)][DBLP ] Conf ] Daryl H. Graf , Wilf R. LaLonde Neuroplanners and Their Application to Eyes/Head/Neck Coordination. [Citation Graph (0, 0)][DBLP ] Conf ] Bo Zhang , Ling Zhang , Tian Zhang Motion Planning of Multi-Joint Robotic Arm with Topological Dimension Reduction Method. [Citation Graph (0, 0)][DBLP ] Conf ] Luiz Homem de Mello , Arthur C. Sanderson Representations of Assembly Sequences. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Brewka Preferred Subtheories: An Extended Logical Framework for Default Reasoning. [Citation Graph (1, 0)][DBLP ] Conf ] Ulrich Junker A Correct Non-Monotonic ATMS. [Citation Graph (0, 0)][DBLP ] Conf ] Murray Shanahan Prediction is Deduction but Explanation is Abduction. [Citation Graph (2, 0)][DBLP ] Conf ] Hector J. Levesque A Knowledge-Level Account of Abduction. [Citation Graph (1, 0)][DBLP ] Conf ] Daniel G. Schwartz Outline of a Naive Semantics for Reasoning with Qualitative Linguistic Information. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene Charniak , Robert P. Goldman A Semantics for Probabilistic Quantifier-Free First-Order Languages, with Particular Application to Story Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] Stig K. Andersen , Kristian G. Olesen , Finn Verner Jensen , Frank Jensen HUGIN - A Shell for Building Bayesian Belief Universes for Expert Systems. [Citation Graph (1, 0)][DBLP ] Conf ] Lin Padgham Negative Reasoning Using Inheritance. [Citation Graph (0, 0)][DBLP ] Conf ] Krishnaprasad Thirunarayan , Michael Kifer An Evidence-based Framework for a Theory of Inheritance. [Citation Graph (0, 0)][DBLP ] Conf ] Krishnaprasad Thirunarayan , Michael Kifer , David Scott Warren On the Declarative Semantics of Inheritance Networks. [Citation Graph (1, 0)][DBLP ] Conf ] Fahiem Bacchus A Modest, but Semantically Well Founded, Inheritance Reasoner. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Dubois , Henri Prade Measure-Free Conditioning, Probability and Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Gregory M. Provan An Analysis of ATMS-Based Techniques for Computing Dempster-Shafer Belief Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Horvitz , Gregory F. Cooper , David Heckerman Reflection and Action Under Scarce Resources: Theoretical Principles and Empirical Study. [Citation Graph (0, 0)][DBLP ] Conf ] Bon K. Sy Qualitative Reasoning of Bayesian Belief Using Meta-knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Craig Boutilier A Semantical Approach to Stable Inheritance Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Bart Selman , Hector J. Levesque The Tractability of Path-Based Inheritance. [Citation Graph (0, 0)][DBLP ] Conf ] David W. Etherington , Alexander Borgida , Ronald J. Brachman , Henry A. Kautz Vivid Knowledge and Tractable Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Lynn Andrea Stein Skeptical Inheritance: Computing the Intersection of Credulous Extensions. [Citation Graph (0, 0)][DBLP ] Conf ] Ronald Fagin , Joseph Y. Halpern Uncertainty, Belief, and Probability. [Citation Graph (0, 0)][DBLP ] Conf ] Yoav Shoham , Yoram Moses Belief as Defeasible Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshiteru Ishida Using Global Properties for Qualitative Reasoning: A Qualitative System Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Renato de Mori , Robert Prager Perturbation Analysis with Qualitative Models. [Citation Graph (0, 0)][DBLP ] Conf ] Jon Doyle , Elisha Sacks Stochastic Analysis of Qualitative Dynamics. [Citation Graph (1, 0)][DBLP ] Conf ] Eero Hyvönen Constraint Reasoning Based on Interval Arithmetic. [Citation Graph (0, 0)][DBLP ] Conf ] Yasushi Fujiwara , Shinichi Honiden Relating the TMS to Autoepistemic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Reinfrank , Oskar Dressler , Gerhard Brewka On the Relation Between Truth Maintenance and Autoepistemic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Konolige On the Relation Between Autoepistem ic Logic and Circumscription. [Citation Graph (1, 0)][DBLP ] Conf ] Raghu Karinthi , Dana S. Nau Using a Feature Algebra for Reasoning about Geometric Feature Interactions. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Gelsey Automated Physical Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Richard J. Doyle , Suzanne M. Sellers , David Atkinson A Focused, Context-Sensitive Approach to Monitoring. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Dvorak , Benjamin Kuipers Model-Based Monitoring of Dynamic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Zhang Mingyi Approximation of Indistinct Concepts. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Dengel , Gerhard Barth ANASTASIL: A Hybrid Knowledge-Based System for Document Layout Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Nökel Temporal Matching: Recognizing Dynamic Situations from Discrete Measurements. [Citation Graph (0, 0)][DBLP ] Conf ] Louise Travé-Massuyès , Núria Piera The Orders of Magnitude Models as Qualitative Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick J. Hayes , Michael Leyton Processes at Discontinuities. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth D. Forbus Introducing Actions into Qualitative Simulation. [Citation Graph (1, 0)][DBLP ] Conf ] David L. Hibler , Gautam Biswas The Thought Experiment Approach to Qualitative Physics. [Citation Graph (0, 0)][DBLP ] Conf ] Mira Balaban , Neil V. Murray The Logic of Time Structures: Temporal and Nonmonotonic Features. [Citation Graph (0, 0)][DBLP ] Conf ] Peter van Beek Approximation Algorithms for Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Malik Ghallab , A. Mounir Alaoui Managing Efficiently Temporal Relations Through Indexed Spanning Trees. [Citation Graph (1, 0)][DBLP ] Conf ] David Poole Normality and Faults in Logic-Based Diagnosis. [Citation Graph (2, 0)][DBLP ] Conf ] Luca Console , Daniele Theseider Dupré , Pietro Torasso A Theory of Diagnosis for Incomplete Causal Models. [Citation Graph (2, 0)][DBLP ] Conf ] Peter Struss , Oskar Dressler "Physical Negation" Integrating Fault Models into the General Diagnostic Engine. [Citation Graph (0, 0)][DBLP ] Conf ] Johan de Kleer , Brian C. Williams Diagnosis with Behavioral Modes. [Citation Graph (1, 0)][DBLP ] Conf ] Boi Faltings , Emmanuel Baechler , J. Primus Reasoning about Kinematic Topology. [Citation Graph (0, 0)][DBLP ] Conf ] Leo Joskowicz Simplification and Abstraction of Kinematic Behaviors. [Citation Graph (0, 0)][DBLP ] Conf ] Richard J. Doyle Reasoning About Hidden Mechanisms. [Citation Graph (0, 0)][DBLP ] Conf ] Massimo Gallanti , Marco Roncato , Alberto Stefanini , Giorgio Tornielli A Diagnostic Algorithm based on Models at Different Level of Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshiyuki Koseki Experience Learning in Model-Based Diagnostic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jiah-Shing Chen , Sargur N. Srihari Candidate Ordering and Elimination in Model-Based Fault Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Burkhard Freitag , Bernhard Huber , Wolfgang Womann An Integrated Knowledge Based Assembly Control System for Automobile Manufacturing. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph Y. Halpern An Analysis of First-Order Logics of Probability. [Citation Graph (1, 0)][DBLP ] Conf ] Peter Jackson On the Semantics of Counterfactuals. [Citation Graph (0, 0)][DBLP ] Conf ] Ashok K. Goel , B. Chandrasekaran Functional Representation of Designs and Redesign Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Sanjay Mittal , Felix Frayman Towards a Generic Model of Configuraton Tasks. [Citation Graph (0, 0)][DBLP ] Conf ] Francois Daube , Barbara Hayes-Roth A Case-Based Mechanical Redesign System. [Citation Graph (0, 0)][DBLP ] Conf ] Witold Paluszynski , Ira Kalet Design Optimization Using Dynamic Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Hirofumi Katsuno , Alberto O. Mendelzon A Unified View of Propositional Knowledge Base Updates. [Citation Graph (1, 0)][DBLP ] Conf ] Michael N. Huhns , Larry M. Stephens Plausible Inferencing Using Extended Composition. [Citation Graph (1, 0)][DBLP ] Conf ] Ronald A. Sumida , Michael G. Dyer Storing and Generalizing Multiple Instances While Maintaining Knowledge-Level Parallelism. [Citation Graph (0, 0)][DBLP ] Conf ] Sanjaya Addanki , Roberto Cremonini , J. Scott Penberthy Reasoning About Assumptions in Graphs of Models. [Citation Graph (0, 0)][DBLP ] Conf ] Chris Tong , Phil Franklin Tuning a Knowledge Base of Refinement Rules To Create Good Circuit Designs. [Citation Graph (0, 0)][DBLP ] Conf ] Kerstin Voigt , Chris Tong Automating the Construction of Patchers That Satisfy Global Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Allen C. Ward , Tomás Lozano-Pérez , Warren P. Seering Extending the Constraint Propagation of Intervals. [Citation Graph (0, 0)][DBLP ] Conf ] Wayne Wobcke A Schema-Based Approach to Understanding Subjunctive Conditionals. [Citation Graph (0, 0)][DBLP ] Conf ] Katashi Nagao Semantic Interpretation Based on the Multi-World Model. [Citation Graph (0, 0)][DBLP ] Conf ] Yasuhiro Katagiri Semantics of Perspectival Utterances. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Satta , Oliviero Stock Formal Properties and Implementation of Bidirectional Charts. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Wermter Integration of Semantic and Syntactic Constraints for Structural Noun Phrase Disambiguation. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Allgayer , Roman M. Jansen-Winkeln , Carola Reddig , Norbert Reithinger Bidirectional Use of Knowledge in the Multi-modal NL Access System XTRA. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Codden Computing Pronoun Antecedents in an English Query System. [Citation Graph (0, 0)][DBLP ] Conf ] Johanna D. Moore , William R. Swartout A Reactive Approach to Explanation. [Citation Graph (0, 0)][DBLP ] Conf ] John A. Bateman , Cécile Paris Phrasing a Text in Terms the User Can Understand. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Finkler , Günter Neumann POPEL-HOW: A Distributed Parallel Model for Incremental Natural Language Production with Feedback. [Citation Graph (0, 0)][DBLP ] Conf ] Sergei Nirenburg , Victor R. Lesser , Eric Nyberg Controlling a Language Generation Planner. [Citation Graph (0, 0)][DBLP ] Conf ] Renato de Mori , Yoshua Bengio , Piero Cosi On the Generalization Capability of Multi-Layered Networks in the Extraction of Speech Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Egidio P. Giachin , Claudio Rullent A Parallel Parser for Spoken Natural Language. [Citation Graph (0, 0)][DBLP ] Conf ] Sheryl R. Young , Wayne H. Ward , Alexander G. Hauptmann Layering Predictions: Flexible Use of Dialog Expectation in Speech Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Lu Ruqian , Liu Yinghui , Xiaobin Li Computer-Aided Grammar Acquisition in the Chinese Understanding System CUSAGA. [Citation Graph (0, 0)][DBLP ] Conf ] Uri Zernik Lexicon Acquisition: Learning from Corpus by Capitalizing on Lexical Categories. [Citation Graph (0, 0)][DBLP ] Conf ] Alex Pentland , John Williams Perception of Non-Rigid Motion: Inference of Shape, Material and Force. [Citation Graph (0, 0)][DBLP ] Conf ] John K. Tsotsos The Complexity of Perceptual Search Tasks. [Citation Graph (0, 0)][DBLP ] Conf ] Rick Kjeldsen , Ruud M. Bolle , Andrea Califano , Russell W. Taylor A Homogeneous Framework for Visual Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Li-Dong Cai A ``Small Leakage'' Model for Diffusion Smoothing of Image Data. [Citation Graph (0, 0)][DBLP ] Conf ] Lifu Liu , Nanyuan Zhao , Bian Zhaoqi Can Early Stage Vision Detect Topology. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Fua , Andrew J. Hanson Objective Functions for Feature Discrimination. [Citation Graph (0, 0)][DBLP ] Conf ] Edwin P. D. Pednault Some Experiments in Applying Inductive Inference Principles to Surface Reconstruction. [Citation Graph (1, 0)][DBLP ] Conf ] Gang Xu , Saburo Tsuji Three-Dimensional Interpretation of Quadrilaterals. [Citation Graph (0, 0)][DBLP ] Conf ] Michelle Y. Kim Visual Reasoning in Geometry Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Robert B. Fisher , Mark J. L. Orr Experiments with a Network-Based Geometric Reasoning Engine. [Citation Graph (0, 0)][DBLP ] Conf ] Minoru Asada , Yoshiaki Shirai Building a World Model for a Mobile Robot Using Dynamic Semantic Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Dana H. Ballard Reference Frames for Animate Vision. [Citation Graph (0, 0)][DBLP ] Conf ] Andres Huertas , William Cole , Ramakant Nevatia Using Generic Knowledge in Analysis of Aerial Scenes: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] John R. Jordan III , Alan C. Bovik , Wilson S. Geisler Chromatic Stereopsis. [Citation Graph (0, 0)][DBLP ] Conf ] Lawrence B. Wolff , Terrance E. Boult Using Line Correspondence Stereo to Measure Surface Orientation. [Citation Graph (0, 0)][DBLP ] Conf ] Gang Xu , Hideki Kondo , Saburo Tsuji A Region-Based Stereo Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen W. Smoliar The Challenge of Neural Darwinism. [Citation Graph (0, 0)][DBLP ] Conf ] David P. Miller Robot Navigation. [Citation Graph (0, 0)][DBLP ] Conf ] Perry W. Thorndyke High-Impact Future Research Directions for Artificial Intelligence. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Friedland Artificial Intelligence and Space Exploration. [Citation Graph (0, 0)][DBLP ] Conf ] Mark S. Fox (How) Is AI Impacting Manufacturing? [Citation Graph (0, 0)][DBLP ] Conf ] 