Conferences in DBLP
Kave Eshghi A Tractable Class of Abduction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Brewka , Kurt Konolige An Abductive Framework for General Logic Programs and other Nonmonotonic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Raiman , Johan de Kleer , Vijay A. Saraswat Critical Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] David B. Leake Focusing Construction and Selection of Abductive Hypotheses. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Stephan , Susanne Biundo A New Logical framework for Deductive Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Cadoli Semantical and Computational Aspects of Horn Approximations. [Citation Graph (0, 0)][DBLP ] Conf ] Teow-Hin Ngair A New Algorithm for Incremental Prime Implicate Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Masayuki Fujita , John K. Slaney , Frank Bennett Automatic Generation of Some Results in Finite Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Weidenbach Extending the Resolution Method with Sorts. [Citation Graph (0, 0)][DBLP ] Conf ] Laurence Cholvy Proving Theorems in a Multi-Source Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Ricardo Caferra , Stéphane Demri Cooperation between Direct Method and Translation Method in Non Classical Logics: Some Results in Propositional S5. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Nonnengart First-Order Modal Logic Theorem Proving and Functional Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Adel Bouhoula , Michaël Rusinowitch Automatic Case Analysis in Proof by Induction. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Walther Combining Induction Axioms by Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Katsumi Inoue , Yoshihiko Ohta , Ryuzo Hasegawa , Makoto Nakashima Bottom-up Abduction by Model Generation. [Citation Graph (0, 0)][DBLP ] Conf ] John K. Slaney SCOTT: A Model-Guided Theorem Prover. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Basin , Toby Walsh Difference Unification. [Citation Graph (0, 0)][DBLP ] Conf ] Reinhold Letz On the Polynomial Transparency of Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Antoni Ligeza A Note on Backward Dual Resolution and Its Application to Proving Completeness of Rule-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Alon Y. Levy , Yehoshua Sagiv Exploiting Irrelevance Reasoning to Guide Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Ira J. Haimowitz , Isaac S. Kohane Automated Trend Detection with Alternate Temporal Hypotheses. [Citation Graph (0, 0)][DBLP ] Conf ] Mike Williamson , Steve Hanks Exploiting Domain structure to Achieve Efficient Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Murray Shanahan Explanation in the Situation Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Christophe Dousson , Paul Gaborit , Malik Ghallab Situation Recognition: Representation and Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg R. J. Schirra , Eva Stopp ANTLIMA - A Listener Model with Mental Images. [Citation Graph (0, 0)][DBLP ] Conf ] Edmund Furse , Rod Nicolson Perception and Experience in Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Kieron O'Hara , Nigel Shadbolt AI Models as a Variety of Psychological Explanation. [Citation Graph (0, 0)][DBLP ] Conf ] Clark Elliott Using the Affective Reasoner to Support Social Simulations. [Citation Graph (0, 0)][DBLP ] Conf ] Lokendra Shastri A Computational Model of Tractable Reasoning - Taking Inspiration from Cognition. [Citation Graph (0, 0)][DBLP ] Conf ] Trent E. Lange , Charles M. Wharton Dynamic Memories: Analysis of an Integrated Comprehension and Episodic Memory Retrieval Model. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas L. Köll , Hermann Kaindl Bidirectional Best-First Search with Bounded Error: Summary of Results. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe David When Functional and Bijective Constraints Make a CSP Polynomial. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Lhomme Consistency Techniques for Numeric CSPs. [Citation Graph (0, 0)][DBLP ] Conf ] Richard J. Wallace Why AC-3 is Almost Always Better than AC4 for Establishing Arc Consistency in CSPs. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Reinefeld Complete Solution of the Eight-Puzzle and the Benefit of Node Ordering in IDA. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene C. Freuder , Paul D. Hubbe Using Inferred Disjunctive Constraints To Decompose Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Prosser Domain Filtering can Degrade Intelligent Backtracking Search. [Citation Graph (0, 0)][DBLP ] Conf ] Kinson Ho , Paul N. Hilfinger , Hans W. Guesgen Optimistic Parallel biscrete Relaxation. [Citation Graph (0, 0)][DBLP ] Conf ] R. R. Bakker , F. Dikker , F. Tempelman , P. M. Wognum Diagnosing and Solving Over-Determined Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Alois Haselböck Exploiting Interchangeabilities in Constraint-Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Bart Selman , Henry A. Kautz Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Henri Beringer , Bruno De Backer Satisfiability of Boolean Formulas over Linear Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Alterman , Roland Zito-Wolf Agents Habitats and Routine Behavior. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Weiss Learning to Coordinate Actions in Multi-Agent-Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Anand S. Rao , Michael P. Georgeff A Model-Theoretic Approach to the Verification of Situated Reasoning Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Dieter Burkhard Liveness and Fairness Properties in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ursula M. Schwuttke , Alan G. Quan Enhancing Performance of Cooperating Agents in Real-Time Diagnostic Systems. [Citation Graph (1, 0)][DBLP ] Conf ] Stuart J. Russell , Devika Subramanian , Ronald Parr Provably Bounded Optimal Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Kei Matsubayashi , Mario Tokoro A Collaboration Mechanism on Positive Interactions in Multi-agent Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Eiichi Osawa A Scheme for Agent Collaboration in Open Multiagent Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Keith Decker , Victor R. Lesser An Approach to Analyzing the Need for Meta-Level Communication. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara J. Grosz , Sarit Kraus Collaborative Plans for Group Activities. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Lakemeyer All They Know: A Study in Multi-Agent Autoepistemic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Wainer Epistemic Extension of Propositional Preference Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Konolige , Martha E. Pollack A Representationalist Theory of Intention. [Citation Graph (0, 0)][DBLP ] Conf ] Piotr J. Gmytrasiewicz , Edmund H. Durfee Elements of a Utilitarian Theory of Knowledge and Action. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Henz , Gert Smolka , Jörg Würtz Oz - A Programming Language for Multi-Agent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Xianchang Wang , Huowang Chen , Quingping Zhao , Wei Li W - A Logic System Based on the Shared Common Knowledge Views. [Citation Graph (0, 0)][DBLP ] Conf ] Gilad Zlotkin , Jeffrey S. Rosenschein A Domain Theory for Task Oriented Negotiation. [Citation Graph (1, 0)][DBLP ] Conf ] Eithan Ephrati , Jeffrey S. Rosenschein Multi-Agent Planning as a Dynamic Search for Social Consensus. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin Knight Are Many Reactive Agents Better Than a Few Deliberative Ones? [Citation Graph (0, 0)][DBLP ] Conf ] Susan E. Lander , Victor R. Lesser Understanding the Role of Negotiation in Distributed Search Among Heterogereous Agents. [Citation Graph (1, 0)][DBLP ] Conf ] Kwok-Keung Yum , Thomas J. Richards Classification Networks: A Knowledge Representation Scheme for Curriculum Prescription. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Allen , Jeanne Idt , Laurent Trilling Constraint Based Automatic Construction and Manipulation of Geometric Figures. [Citation Graph (0, 0)][DBLP ] Conf ] Mathias Bauer , Susanne Biundo , Dietmar Dengler , Jana Koehler , Gabriele Paul PHI - A Logic-Based Tool for Intelligent Help Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mitsuru Ikeda , Yasuyuki Kono , Riichiro Mizoguchi Nonmonotonic Model Inference-A Formalization of Student Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro Meseguer Expert System Validation through Knowledge Base Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Laurence Vignollet , Ruddy Lelouche Test Case Generation using KBS Strategy. [Citation Graph (0, 0)][DBLP ] Conf ] Yoram Moses , Moshe Tennenholtz Off-line Reasoning for On-line Efficiency. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Bouaud TREE: the Heuristic Driven Join Strategy of a RETE-Like Matcher. [Citation Graph (0, 0)][DBLP ] Conf ] Brian R. Gaines A Class Library Implementation of a Principled Open Architecture Knowledge Representation Server with Plug-in Data Types. [Citation Graph (0, 0)][DBLP ] Conf ] Henrik Eriksson Specification and Generation of Custom-Tailored Knowledge-Acquisition Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Craig Boutilier Revision Sequences and Nested Conditionals. [Citation Graph (1, 0)][DBLP ] Conf ] Thomas Eiter , Georg Gottlob The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions. [Citation Graph (1, 0)][DBLP ] Conf ] Simon Dixon , Norman Y. Foo Connections Between the ATMS and AGM Belief Revision. [Citation Graph (0, 0)][DBLP ] Conf ] Alvaro del Val Syntactic Characterizations of Belief Change Operators. [Citation Graph (0, 0)][DBLP ] Conf ] Fausto Giunchiglia , Luciano Serafini , Enrico Giunchiglia , Marcello Frixione Non-Omniscient Belief as Context-Based Resoning. [Citation Graph (0, 0)][DBLP ] Conf ] John McCarthy Notes on Formalizing Context. [Citation Graph (5, 0)][DBLP ] Conf ] Fahiem Bacchus , Adam J. Grove , Joseph Y. Halpern , Daphne Koller Statistical Foundations for Default Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Georg Gottlob The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Brass On the Semantics of Supernormal Defaults. [Citation Graph (0, 0)][DBLP ] Conf ] Frans Voorbraak Preference-Based Semantics for Nonmonotonic Logics. [Citation Graph (0, 0)][DBLP ] Conf ] J. W. Guan , David A. Bell Generalization of the Dempster-Shafer Theory. [Citation Graph (1, 0)][DBLP ] Conf ] Philippe Smets Quantifying Beliefs by Belief Functions: An Axiomatic Justification. [Citation Graph (0, 0)][DBLP ] Conf ] David Poole Average-Case Analysis of a Search Algorithm for Estimating Prior and Posterior Probabilities in Bayesian Networks with Extreme Probabilities. [Citation Graph (0, 0)][DBLP ] Conf ] Dan Roth On the Hardness of Approximate Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Dubois , Henri Prade Belief Revision and Updates in Numerical Formalisms: An Overview, with new Results for the Possibilistic Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Zdenek Zdráhal Second Order Measures for Uncertainty Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , Georg Gottlob , Yuri Gurevich Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information. [Citation Graph (0, 0)][DBLP ] Conf ] Salem Benferhat , Claudette Cayrol , Didier Dubois , Jérôme Lang , Henri Prade Inconsistency Management and Prioritized Syntax-Based Entailment. [Citation Graph (0, 0)][DBLP ] Conf ] Alfonso Gerevini , Lenhart K. Schubert Efficient Temporal Reasoning through Timegraphs. [Citation Graph (0, 0)][DBLP ] Conf ] Robert A. Morris , William D. Shoaff , Lina Khatib Path Consistency in a Network of Non-Convex Intervals. [Citation Graph (1, 0)][DBLP ] Conf ] Lin Padgham , Tingting Zhang A Terminological Logic with Defaults: A Definition and an Application. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Baader , Bernhard Hollunder How to Prefer More Specific Defaults in Terminological Default Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Umberto Straccia Default Inheritance Reasoning in Hybrid KL-ONE-Style Logics. [Citation Graph (0, 0)][DBLP ] Conf ] R. Al-Asady , A. Narayanan More Notes on ``A Clash of Intuitions'' [Citation Graph (0, 0)][DBLP ] Conf ] Hans Jürgen Ohlbach A Multi-Dimensional Terminological Knowledge Representation Language. [Citation Graph (0, 0)][DBLP ] Conf ] Chris Mellish , Ehud Reiter Using Classification as a Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Buchheit , Francesco M. Donini , Andrea Schaerf Decidable Reasoning in Terminological Knowledge Representation Systems. [Citation Graph (2, 0)][DBLP ] Conf ] Robert Dionne , Eric Mays , Frank J. Oles The Equivalence of Model-Theoretic and Structural Subsumption in Description Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Yan Zhang , Norman Y. Foo Reasoning About Persistence: A Theory of Actions. [Citation Graph (0, 0)][DBLP ] Conf ] G. Neelakantan Kartha Soundness and Completeness Theorems for Three Formalizations of Action. [Citation Graph (0, 0)][DBLP ] Conf ] Alvaro del Val , Yoav Shoham Deriving Properties of Belief Update from Theories of Action (II). [Citation Graph (0, 0)][DBLP ] Conf ] Erik Sandewall The Range of Applicability of Nonmonotonic Logics for the Inertia Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Miroslav Benda AI Adventures Worth Writing Home About. [Citation Graph (0, 0)][DBLP ] Conf ] Les Gasser Social Knowledge and Social Action: Heterogeneity in Practice. [Citation Graph (0, 0)][DBLP ] Conf ] Ivan M. Havel Artificial Thought and Emergent Mind. [Citation Graph (0, 0)][DBLP ] Conf ] Hirochika Inoue Vision Based Robot Behavior: Tools and Testbeds for Real-World AI Research. [Citation Graph (0, 0)][DBLP ] Conf ] Susan J. Lederman The Intelligent Hand: An Experimental Approach to Human Object Recognition and Implications for Robotic Design. [Citation Graph (0, 0)][DBLP ] Conf ] Nobuyuki Otsu Toward Flexible Intelligence: MITI's New Program of Real World Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey S. Rosenschein Consenting Agents: Negotiation Mechanisms for Multi-Agent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Devika Subramanian Conceptual Design and Artificial Intelligence. [Citation Graph (0, 0)][DBLP ] Conf ] Johan van Benthem The Logic of Cognitive Action. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroaki Kitano Computers and Thought Award : Challenges of Massive Parallelism. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Tarver A Language for Implementing Arbitrary Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Basso Conditional Causal Logic: A Formal Theory of the Meaning Generating Processes in a Cognitive System. [Citation Graph (0, 0)][DBLP ] Conf ] Phan Minh Dung On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming. [Citation Graph (1, 0)][DBLP ] Conf ] Suryanarayana M. Sripada A Metalogic Programming Approach to Reasoning about Time in Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Chitta Baral , Michael Gelfond Representing Concurrent Actions in Extended Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Patricia M. Hill A Parameterised Module System for Constructing Typed Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Emanuele Ciapessoni , Edoardo Corsetti , Manlio Migliorati , Elena Ratto Logical Specification of Real-Time Granular Systems in an Object Oriented Language. [Citation Graph (0, 0)][DBLP ] Conf ] Pat Langley , Wayne Iba Average-Case Analysis of a Nearest Neighbor Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Timothy L. Bailey , Charles Elkan Estimating the Accuracy of Learned Concepts. [Citation Graph (0, 0)][DBLP ] Conf ] Edwina L. Rissland , David B. Skalak , M. Timur Friedman Case Retrieval through Multiple Indexing and Heuristic Search. [Citation Graph (0, 0)][DBLP ] Conf ] Hideo Shimazu , Hiroaki Kitano , Akihiro Shibata Retrieving Cases from Relational Data-Bases: Another Stride Towards Corporate-Wide Case-Base Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Ellman Abstraction via Approximate Symmetry. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Minton An Analytic Learning System for Specializing Heuristics. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastian Thrun , Tom M. Mitchell Integrating Inductive Neural Network Learning and Explanation-Based Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Botta , Attilio Giordana SMART+: A Multi-Strategy Learning Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Harish Ragavan , Larry A. Rendell , Michael J. Shaw , Antoinette Tessmer Complex Concept Acquisition through Directed Search and Feature Caching. [Citation Graph (0, 0)][DBLP ] Conf ] Larry A. Rendell , Harish Ragavan Improving the Design of Induction Methods by Analyzing Algorithm Functionality and Data-Based Concept Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Hitoshi Iba , Tetsuya Higuchi , Hugo de Garis , Taisuke Sato Evolutionary Learning Strategy using Bug-Based Search. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Paredis Genetic State-Space Search for Constrained Optimization Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Shaul Markovitch , Yaron Sella Learning of Resource Allocation Strategies for Game Playing. [Citation Graph (0, 0)][DBLP ] Conf ] Bert Bredeweg , Cis Schut Reducing Ambiguity by Learning Assembly Specific Behaviour. [Citation Graph (0, 0)][DBLP ] Conf ] William W. Cohen Efficient Pruning Methods for Separate-and-Conquer Rule Learning Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Satoshi Kobayashi , Koichi Hori , Setsuo Ohsuga Learning Decision Lists over Tree Patterns and Its Application. [Citation Graph (0, 0)][DBLP ] Conf ] David G. Heath , Simon Kasif , Steven Salzberg Induction of Oblique Decision Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Gabriel Ganascia TDIS : an Algebraic Formalization. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Van de Merckt Decision Trees in Numerical Attribute Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Usama M. Fayyad , Keki B. Irani Multi-Interval Discretization of Continuous-Valued Attributes for Classification Learning. [Citation Graph (1, 0)][DBLP ] Conf ] Stephane Lapointe , Charles X. Ling , Stan Matwin Constructive Inductive Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Luc De Raedt , Nada Lavrac , Saso Dzeroski Multiple Predicate Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Bergadano , Daniele Gunetti An Interactive System to Learn Functional Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] R. Mike Cameron-Jones , J. Ross Quinlan Avoiding Pitfalls When Learning Recursive Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Luc De Raedt , Maurice Bruynooghe A Theory of Clausal Discovery. [Citation Graph (4, 0)][DBLP ] Conf ] Kamal M. Ali , Michael J. Pazzani HYDRA: A Noise-tolerant Relational Concept Learning Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Sholom M. Weiss , Nitin Indurkhya Rule-Based Regression. [Citation Graph (0, 0)][DBLP ] Conf ] Anna Bramanti-Gregor , Henry W. Davis The Statistical Learning of Accurate Heuristics. [Citation Graph (1, 0)][DBLP ] Conf ] Wei-Mein Shen Learning Finite Automata Using Local Distinguishing Experiments. [Citation Graph (0, 0)][DBLP ] Conf ] Leslie Pack Kaelbling Learning to Achieve Goals. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher Leckie , Ingrid Zukerman An Inductive Approach to Learning Search Control Rules for Planning. [Citation Graph (0, 0)][DBLP ] Conf ] John M. Zelle , Raymond J. Mooney Combining FOIL and EBG to Speed-up Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Diederich , Markus Wasserschaff Recurrent Neural Networks for Sequence Production. [Citation Graph (0, 0)][DBLP ] Conf ] Philip D. Laird , Ronald Saul Sequence Extrapolation. [Citation Graph (0, 0)][DBLP ] Conf ] James Wogulis , Michael J. Pazzani A Methodology for Evaluating Theory Revision Systems: Results with Audrey II. [Citation Graph (0, 0)][DBLP ] Conf ] Paul T. Baffes , Raymond J. Mooney Symbolic Revision of Theories with M-of-N Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Charles X. Ling , Steven Cherwenka , Marin Marinov A Symbolic Model for Learning the Past-Tenses of English Verbs. [Citation Graph (0, 0)][DBLP ] Conf ] Takehito Utsuro , Yuji Matsumoto , Makoto Nagao Verbal Case Frame Acquisition from Bilingual Corpora. [Citation Graph (0, 0)][DBLP ] Conf ] Vibhu O. Mittal , Cécile Paris Automatic Documentation Generation: The Rnteraction of Text and Examples. [Citation Graph (0, 0)][DBLP ] Conf ] Ehud Reiter , Chris Mellish Optimizing the Costs and Benefits of Natural Language Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas E. Appelt , Jerry R. Hobbs , John Bear , David J. Israel , Mabry Tyson FASTUS: A Finite-state Processor for Information Extraction from Real-world Text. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Csinger , David Poole Hypothetically Speaking Default Reasoning and Discourse-Structure. [Citation Graph (0, 0)][DBLP ] Conf ] Katashi Nagao Abduction and Dynamic Preference in Plan-Based Dialogue Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] Kôiti Hasida , Katashi Nagao , Takashi Miyata Joint Utterance: Intrasentential Speaker/Hearer Switch as an Emergent Phenomenon. [Citation Graph (0, 0)][DBLP ] Conf ] Ingrid Zukerman , Richard McConachy Generating Concise Discourse that Addresses a Users Inferences. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel D. Suthers Preferences for Model Selection in Explanation. [Citation Graph (0, 0)][DBLP ] Conf ] Paola Merlo For an Incremental Computation of Intrasentential Coreference. [Citation Graph (0, 0)][DBLP ] Conf ] Enrico Franconi , Alessandra Giorgi , Fabio Pianesi Tense and Aspect: A Mereological Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Massimo Zancanaro , Oliviero Stock , Carlo Strapparava Dialogue Cohesion Sharing and Adjusting in an Enhanced Multimodal Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Catherine Baudin , Jody Gevins Underwood , Vinod Baya Using Device Models to Facilitate the Retrieval of Multimedia Design Information. [Citation Graph (0, 0)][DBLP ] Conf ] T. Pattabhiraman , Nick Cercone Decision-Theoretic Salience Interactions in Language Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Yigal Arens , Eduard H. Hovy , Susanne van Mulken Structure and Rules in Automated Multimedia Presentation Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Rohini K. Srihari , Charlotte M. Baltus Incorporating Syntactic Constraints in Recognizing Handwritten Sentences. [Citation Graph (0, 0)][DBLP ] Conf ] Katashi Nagao , Kôiti Hasida , Takashi Miyata Understanding Spoken Natural Language with Omni-Directional Information Flow. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroaki Kitano A Comprehensive and Practical Model of Memory-Based Machine Translation. [Citation Graph (0, 0)][DBLP ] Conf ] Eiichiro Sumita , Kozo Oi , Osamu Furuse , Hitoshi Iida , Tetsuya Higuchi , Naoto Takahashi , Hiroaki Kitano Example-Based Machine Translation on Massively Parallel Processors. [Citation Graph (0, 0)][DBLP ] Conf ] Dekai Wu Approximating Maximum-Entropy Ratings for Evidential Parsing and Semantic Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Chung Hee Hwang , Lenhart K. Schubert Meeting the Interlocking Needs of LF-Computation Deindexing and Inference: An Organic Approach to General NLU. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Terenziani Integrating Linguistic and Pragmatic Temporal Information in Natural Language Understanding: the case of ``When Sentences''. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Quantz Interpretation as Exception Minimization. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Craven , Jude W. Shavlik Learning to Represent Codons: A Challenge Problem for Constructive Induction. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew P. Evett , William A. Andersen , James A. Hendler Massively Parallel Support for Efficient Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Béchir el Ayeb , Shengrui Wang Computing Effect-to-Cause/Cause-to-Effect Diagnoses Within NdL. [Citation Graph (1, 0)][DBLP ] Conf ] Ettore Merlo , Ian McAdam , Renato de Mori Source Code Informal Information Analysis Using Connectionist Models. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Jacquemin A Coincidence Detection Network for Spatio-Temporal Coding: Application to Nominal Composition. [Citation Graph (0, 0)][DBLP ] Conf ] Antje Beringer , Steffen Hölldobler , Franz J. Kurfess Spatial Reasoning and Connectionist Inference. [Citation Graph (0, 0)][DBLP ] Conf ] David W. Opitz , Jude W. Shavlik Heuristically Expanding Knowledge-Based Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Clayton McMillan , Michael Mozer , Paul Smolensky Dynamic Conflict Resolution in a Connectionist Rule-Based System. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene Fink , Qiang Yang Characterizing and Automatically Finding Primary Effects in Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Subbarao Kambhampati On the Utility of Systematicity: Understanding Tradeoffs between Redundancy and Commitment in Partial-ordering Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony Barrett , Daniel S. Weld Characterizing Subgoal Interactions for Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Gary H. Ogasawara , Stuart J. Russell Planning Using Multiple Execution Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Shlomo Zilberstein , Stuart J. Russell Anytime Sensing Planning and Action: A Practical Model for Robot Control. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Drummond , Keith Swanson , John L. Bresina , Richard Levinson Reaction-First Search. [Citation Graph (0, 0)][DBLP ] Conf ] Monte Zweben , Eugene Davis , Brian Daun , Michael Deale Informedness vs. Computational Cost of Heuristics in Iterative Repair Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Anup K. Sen , Amitava Bagchi Non-Order-Preserving Evaluation Functions: Recursive Graph-Search Methods for Job Sequencing Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Christer Bäckström , Bernhard Nebel Complexity Results for SAS+ Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Nebel , Jana Koehler Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective. [Citation Graph (0, 0)][DBLP ] Conf ] Prasanta K. Bose , Shankar A. Rajamoney Compositional Model-Based Design. [Citation Graph (0, 0)][DBLP ] Conf ] Boi Faltings , Kun Sun Computer-Aided Creative Mechanism Design. [Citation Graph (0, 0)][DBLP ] Conf ] Claudia Böttcher , Oskar Dressler Diagnosis Process Dynamics: Holding the Diagnostic Trackhound in Leash. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Friedrich Theory Diagnoses: A Concise Characterization of Faulty Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Gautam Biswas , Xudong Yu A Formal Modeling Scheme for Continuous Systems: Focus on Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Riese Diagnosis of Communicating Systems: Dealing with Incompleteness and Uncertainty. [Citation Graph (0, 0)][DBLP ] Conf ] Ron Rymon Goal-Directed Diagnosis-Diagnostic Reasoning in Exploratory-Corrective Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Console , Gerhard Friedrich , Daniele Theseider Dupré Model-Based Diagnosis Meets Error Diagnosis in Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas R. Gruber , Patrice O. Gautier Machine-generated Explanations of Engineering Models: A Compositional Modeling Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Dague Symbolic Reasoning with Relative Orders of Magnitude. [Citation Graph (0, 0)][DBLP ] Conf ] Yumi Iwasaki , Richard Fikes , Marcos Vescovi , B. Chandrasekaran How Things are Intended to Work: Capturing Functional Knowledge in Device Design. [Citation Graph (0, 0)][DBLP ] Conf ] Roy Leitch , Qiang Shen Prioritising Behaviours in Qualitative Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Wilfried Grossmann , Hannes Werthner A Stochastic Approach to Qualitative Simulation using Markov Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Kouamana Bousson , Louise Travé-Massuyès Fuzzy Causal Simulation in Process Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Longin Jan Latecki , Ralf Röhrig Orientation and Qualitative Angle for Spatial Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Antony Galton Towards an Integrated Logic of Space, Time and Motion. [Citation Graph (0, 0)][DBLP ] Conf ] Kyungsook Han , Andrew Gelsey Qualitative Modeling of RNA Structure. [Citation Graph (0, 0)][DBLP ] Conf ] Franck du Verdier Solving Geometric Constraint Satisfaction Problems for Spatial Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Gareth Funka-Lea , Ruzena Bajcsy Active Color Image Analysis for Recognizing Shadows. [Citation Graph (0, 0)][DBLP ] Conf ] Richard J. Howarth , Hilary Buxton Selective Attention in Dynamic Vision. [Citation Graph (0, 0)][DBLP ] Conf ] Ronen Basri , Ehud Rivlin Homing Using Combinations of Model Views. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Fraichard , Christian Laugier Dynamic Trajectory Planning Path-Velocity Decomposition and Adjacent Paths. [Citation Graph (0, 0)][DBLP ] Conf ] Yasuo Kuniyoshi , Hirochika Inoue Qualitative Recognition of Ongoing Human Action Sequences. [Citation Graph (0, 0)][DBLP ] Conf ] Catherine Pelachaud , Marie-Luce Viaud , Hussein Yahia Rule-Structured Facial Animation System. [Citation Graph (0, 0)][DBLP ] Conf ] Jun Miura , Yoshiaki Shirai An Uncertainty Model of Stereo Vision and its Application to Vision-Motion Planning of Robot. [Citation Graph (0, 0)][DBLP ] Conf ] Cornelia Fermüller , Yiannis Aloimonos Recognizing 3-D Motion. [Citation Graph (0, 0)][DBLP ] Conf ] Saburo Tsuji , Shigang Li Making Cognitive Map of Outdoor Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Gregory Dudek , Paul Freedman , Souad Hadjres Using Local Information in a Non-Local Way for Mapping Graph-Like Worlds. [Citation Graph (0, 0)][DBLP ] Conf ] Gregory Dudek , Michael R. M. Jenkin , Evangelos E. Milios , David Wilkes Map Validation and Self-location in a Graph-like World. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Crespi , Cesare Furlanello , Luigi Stringa Memory-Based Navigation. [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Black , Yiannis Aloimonos , Christopher M. Brown , Ian Horswill , Jitendra Malik , Giulio Sandini , Michael J. Tarr Action Representation and Purpose: Re-evaluating the Foundations of Computational Vision. [Citation Graph (0, 0)][DBLP ] Conf ] Roger C. Schank , Glorianna Davenport , P. Ghislandi , James C. Spohrer , Kathleen Wilson AI Multimedia and Education. [Citation Graph (0, 0)][DBLP ] Conf ] John Yen , Piero P. Bonissone , Didier Dubois , Christian Freksa , Ramon López de Mántaras , Enrique H. Ruspini , Lotfi A. Zadeh Fuzzy Logic and AI. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroaki Kitano , Walther von Hahn , Lawrence Hunter , Ryuichi Oka , Benjamin W. Wah , Toshio Yokoi Grand Challenge AI Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Bonnie L. Webber , Barbara J. Grosz , Shigeoki Hirai , Thomas Rist , Donia Scott Instructions: Language and Behavior. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Barachini , Fumio Hattori , Georg Pauthner , Werner Remmele , Gregg T. Vesonder TELECOM and AI: The Emperors New Clothes? [Citation Graph (0, 0)][DBLP ] Conf ] Sven J. Dickinson , Robert Bergevin , Irving Biederman , Jan-Olof Eklundh , Roger Munck-Fairwood , Alex Pentland The Use of Geons for Generic 3D Object Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Tsunehiko Suzuki , Ryuji Kudo , Katsunori Ikami , Kentaro Iida , Takao Terano QUALTES: A Domain Specific Tool for Electric Power Stations. [Citation Graph (0, 0)][DBLP ] Conf ] F. Hartmann Process Control by an Expert System at The Grandpuits Refinery. [Citation Graph (0, 0)][DBLP ] Conf ] Gen-ichiro Kikui , Mark Seligman , Toshiyuki Takezawa , Masami Suzuki , Kenji Kita , Tsuyoshi Morimoto , Masaaki Nagata , Toshihisa Tashiro , Herbert Tropf , Shigeki Sagayama , Jun-ichi Takami , Kazumi Ohkura , Akira Kurematsu Spoken Language Translation System. [Citation Graph (0, 0)][DBLP ] Conf ] Rodney S. Daughtrey , David Michael Brady ALEPS: The Automated Logistics Element Planning System. [Citation Graph (0, 0)][DBLP ] Conf ] 