Conferences in DBLP
Stuart J. Russell Efficient Memory-Bounded Search Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Anna Bramanti-Gregor , Henry W. Davis , F. G. Ganschow Strengthening Heuristics for Lower Cost Optimal and Near Optimal Solutions in A* Search. [Citation Graph (1, 0)][DBLP ] Conf ] R. Ramaswamy , A. K. Sen Single Machine Scheduling as a Graph Search Problem with Path-Dependent Arc Costs. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas L. Köll , Hermann Kaindl A New Approach to Dynamic Weighting. [Citation Graph (0, 0)][DBLP ] Conf ] Alfonso San Miguel Aguirre Symmetries and the Cardinality Operator. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Bessière Arc-Consistency for Non-Binary Dynamic CSPs. [Citation Graph (0, 0)][DBLP ] Conf ] Brent W. Benson Jr. , Eugene C. Freuder Interchangeability Preprocessing Can Improve Forward Checking Search. [Citation Graph (0, 0)][DBLP ] Conf ] P. A. Geelen Dual Viewpoint Heuristics for Binary Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara M. Smith How to Solve the Zebra Problem, or Path Consistency the Easy Way. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Dubois , Jérôme Lang , Henri Prade Dealing with Multi-Source Information in Possibilistic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Churn-Jung Liau , Bertrand I-Peng Lin Quantitative Modal Logic and Possibilistic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Simon Parsons Qualitative Belief Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Chun-Hung Tzeng Plausible Reasoning in Bayesian Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Z. Luo Probabilistic Reasoning in Mixed Models Using Bayesian Belief Networks And its Application. [Citation Graph (0, 0)][DBLP ] Conf ] Dave Barker-Plummer , Sidney C. Bailin Graphical Theorem Proving: An Approach to Reasoning with the Help of Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg Würtz Unifying Cycles. [Citation Graph (0, 0)][DBLP ] Conf ] Dieter Hutter Adapting a Resolution Calculus for Inductive Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Egly A Simple Proof for the Pigeonhole Formulae. [Citation Graph (0, 0)][DBLP ] Conf ] Ian Frank , David A. Basin , Alan Bundy An Adaptation of Proof-Planning to Declarer Play in Bridge. [Citation Graph (0, 0)][DBLP ] Conf ] Fausto Giunchiglia , Toby Walsh Tree Subsumption: Reasoning with Outlines. [Citation Graph (0, 0)][DBLP ] Conf ] Emmanuel Kounalis A Simplification-Based Approach to Program Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] Marta Franová , Yves Kodratoff Predicate Synthesis from Formal Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Nicola Leone , Pasquale Rullo Stable Model Semantics and its Computation for Ordered Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jianhua Chen A Refined Semantics for Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Luís Moniz Pereira , José Júlio Alferes Well Founded Semantics for Logic Programs with Explicit Negation. [Citation Graph (1, 0)][DBLP ] Conf ] Vladimir Kuznetsov Negation as Exception. [Citation Graph (0, 0)][DBLP ] Conf ] Patricia M. Hill Data Structures and Typed Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Brogi , Evelina Lamma , Paola Mello ATMS for Implementing Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Evelina Lamma , Paola Mello An Assumption-Based Truth Maintenance System Dealing wills Non-Ground Justifications. [Citation Graph (0, 0)][DBLP ] Conf ] H. Hara Solving the Large-Scale 0-1 Integer Programming Problem Using an Assumption-Based Method. [Citation Graph (0, 0)][DBLP ] Conf ] Noboru Iwayama , Ken Satoh , Jun Arima A Formalization of Generalization-Based Analogy in General Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Demolombe A Strategy for the Computation of Conditional Answers. [Citation Graph (0, 0)][DBLP ] Conf ] Y. Huang , A. E. Adam A Relevancy Knowledge Model of Analogical Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Josep Puyol-Gruart , Lluis Godo , Carles Sierra A Specialisation Calculus to Improve Expert Systems Communication. [Citation Graph (0, 0)][DBLP ] Conf ] Enrico Maim Abduction and Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Hoppe On the Relationship between Partial Deduction and Abductive Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Annika Wærn Reactive Abduction. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Camurri , Carlo Innocenti , Marcello Frixione , Renato Zaccaria A Model of Representation and Communication of Music and Multimedia Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Andranick Tanguiane Artificial Perception and Music Recognition: A Heuristic Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Tony Veale , Mark T. Keane Conceptual Scaffolding: Using Metaphors to Build Knowledge Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Sitter , Elisabeth Maier Rhetorical Relations in a Model of Information-Seeking Dialogues. [Citation Graph (0, 0)][DBLP ] Conf ] Alex Quilici Recognizing and Revising Unconvincing Explanations. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Jacquemin Activation Diffusion: a Connectionist Network for robust parsing. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Wermter A Hybrid and Connectionist Architecture for a Scanning Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] Vera Kurková Universal Approximation Using Feedforward Neural Networks with Gaussian Bar Units. [Citation Graph (0, 0)][DBLP ] Conf ] Abhay B. Bulsari , Henrik Saxén A Partially Recurrent Connectionist Model. [Citation Graph (0, 0)][DBLP ] Conf ] Georg Dorffner , Manfred Rotter On the Virtues of Functional Connectionist Compositionality. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Diederich , Andreas Thümmel , E. Bartels Recurrent and Feedforward Networks for Human-Computer Interaction. [Citation Graph (0, 0)][DBLP ] Conf ] Alfred Ultsch Knowledge Acquisition with Self-Organizing Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Sergio Margarita Genetic Neural Networks for Financial Markets: Some Results. [Citation Graph (0, 0)][DBLP ] Conf ] Axel Pinz , Horst Bischof Neural Network "Surgery": Transplantation of Hidden Units. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Ferrara , Alois Ferscha , Günter Haring A Collision Avoiding Six Legged Walking Machine Based on Kohonen Feature Maps. [Citation Graph (0, 0)][DBLP ] Conf ] Gil Tidhar , Jeffrey S. Rosenschein A Contract Net with Consultants: An Alternative Architecture and Experimental Results. [Citation Graph (0, 0)][DBLP ] Conf ] Nicholas R. Jennings Towards a Cooperation Knowledge Level For Collaborative Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Eithan Ephrati , Jeffrey S. Rosenschein Reaching Agreement through Partial Revelation of Preferences. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Wooldridge , Michael Fisher A First-Order Branching Time Logic of Multi-Agent System. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Bouron , Anne Collinot SAM: A Model to Design Complex Computational Social Agents. [Citation Graph (0, 0)][DBLP ] Conf ] B. Lemaire Hypothetical Reasoning within the Blackboard. [Citation Graph (0, 0)][DBLP ] Conf ] Alison Cawsey , Julia Rose Galliers , Steven Reece , Karen Sparck Jones A Comparison of Architectures for Autonomous Multi-Agent Communication. [Citation Graph (0, 0)][DBLP ] Conf ] Khaled Ghédira , Gérard Vertfaillie A Multi-Agent Model for the Resource Allocation Problem: A Reactive Approach. [Citation Graph (0, 0)][DBLP ] Conf ] J.-C. Le Mentec , S. Brunessaux Improving Reactivity in a Blackboard Architecture with Parallelism and Interruptions. [Citation Graph (0, 0)][DBLP ] Conf ] Z. Wu , T. Huang , J. Ying , Z. He A Summary of Coupled Expert Systems Building Toolkit ZIPE. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Lalanda , François Charpillet , Jean Paul Haton A Real Time Blackboard Based Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] E. Bahr , Franz Barachini , Hans Mistelberger On Efficient Load Balancing for Parallel Execution of Production Systems. [Citation Graph (0, 0)][DBLP ] Conf ] I. van Langevelde , A. Philipsen , Jan Treur Formal Specification of Compositional Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Norbert Kehrer , Gustaf Neumann Business Event Oriented Information Systems Based on Meta Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Brian Logan , David Corne , Tim Smithers The Edinburgh Designer System: An Architecture for Solving Ill-Structured Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Nikola K. Kasabov , S. H. Petkov Neural Networks and Logic Programming - a Hybrid Model and its Applicability to Building Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Dix Default Theories of Poole-Type and a Method for constructing Cumulative Versions of Default Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Doherty , Witold Lukaszewicz FONML3 - A First-Order Non-monotonic Logic with Explicit Defaults. [Citation Graph (0, 0)][DBLP ] Conf ] Yao-Hua Tan , Jan Treur Constructive Default Logic and the Control of defeasible reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Torsten Schaub On Constrained Default Theories. [Citation Graph (0, 0)][DBLP ] Conf ] David Pearce Default Logic and Constructive Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Luis Fariñas del Cerro , Andreas Herzig , Jérôme Lang From Ordering Based Nonmonotonic Reasoning to Conditional Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Cadoli , Marco Schaerf Approximate Inference in Default Logic and Circumscription. [Citation Graph (0, 0)][DBLP ] Conf ] Wayne Wobcke On the Use of Epistemic Entrenchment in Non-monotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Moinard Circumscriptions as Preferential Entailment. [Citation Graph (0, 0)][DBLP ] Conf ] Ilkka Niemelä A Unifying Framework for Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Odile Papini A Complete Revision Function in Propositional Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Wlodek Zadrozny Explanations at the Knowledge Level. [Citation Graph (0, 0)][DBLP ] Conf ] Christer Bäckström , Bernhard Nebel On the Computational Complexity of Planning and Story Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] Mukesh Dalal Tractable Instances of Some Hard Deduction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Henry A. Kautz , Bart Selman Planning as Satisfiability. [Citation Graph (0, 0)][DBLP ] Conf ] Munindar P. Singh A Critical Examination of Use Cohen-Levesque Theory of Intentions. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Console , Luigi Portinale , Daniele Theseider Dupré , Pietro Torasso Diagnostic Reasoning Across Different Time Points. [Citation Graph (0, 0)][DBLP ] Conf ] António Porto , Cristina Ribeiro Temporal Inference with a Point Based Interval Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Achim Weigel , Rainer Bleisinger Support for Resolving Contradictions in Time Interval Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Denecker , Lode Missiaen , Maurice Bruynooghe Temporal Reasoning with Abductive Event Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Longin Jan Latecki , Simone Pribbenow On Hybrid Reasoning for Processing Spatial Expressions. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Randell , Zhan Cui , Anthony G. Cohn An Interval Logic for Space Based on "Connection". [Citation Graph (0, 0)][DBLP ] Conf ] Jörg-Peter Mohren , J. Müller A Geometrical Approach to Depictional Representation of Spatial Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Pavlos Peppas , Wayne Wobcke On the Use of Epistemic Entrenchment in Reasoning about Action. [Citation Graph (0, 0)][DBLP ] Conf ] N. J. Davies A First Order Theory of Knowledge, Belief and Action. [Citation Graph (0, 0)][DBLP ] Conf ] Christine Froidevaux Default Logic for Action Rule-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Camurri , Gianni Vercelli , Renato Zaccaria Real Time Knowledge Representation and Reasoning About Real Tasks. [Citation Graph (0, 0)][DBLP ] Conf ] Carsten Kindermann Retraction in Terminological Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Amedeo Napoli Subsumption and Classification-Based Reasoning in Object-Based Representations. [Citation Graph (1, 0)][DBLP ] Conf ] Gerhard Weiß Learning the Goal Relevance of Actions in Classifler Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Gascuel , Gilles Caraux Statistical Significance in Inductive Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Aram Karalic Employing Linear Regression in Regression Tree Leaves. [Citation Graph (0, 0)][DBLP ] Conf ] G. Kalkanis , Gerard V. Conroy Inductive Learning of Effective and Efficient Classification Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Matevz Kovacic , Nada Lavrac , Marko Grobelnik , Darko Zupanic , Dunja Mladenic Stochastic Search in Inductive Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Marquis Building up Inductive Generalizations from Facts. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Botta , Attilio Giordana , Lorenza Saitta Comparison of Search Strategies in Learning Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Hilde Adé , Luc De Raedt , Maurice Bruynooghe Inverse Resolution in an Integrated Inductive-Deductive Learning System. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Bisson Conceptual Clustering in a First Order Logic Representation. [Citation Graph (1, 0)][DBLP ] Conf ] Gerhard Widmer , Miroslav Kubat Learning Flexible Concepts from Streams of Examples: FLORA 2. [Citation Graph (0, 0)][DBLP ] Conf ] Y. Saito , S. Tojo , S. Komiya Intuitive Classification Based on Affinity. [Citation Graph (0, 0)][DBLP ] Conf ] Claudio Carpineto Shift of Bias without Operators. [Citation Graph (1, 0)][DBLP ] Conf ] Claire Nedellec How to Specialize by Theory Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Michèle Sebag , Marc Schoenauer Learning to Control Inconsistent Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Paul D. Scott , K. H. Sage Why Generalize? Hybrid Representations and Instance-Based Learning. [Citation Graph (0, 0)][DBLP ] Conf ] A. Samuel , F. Raynaut Oriented Shift of Representational Bias for Elementary Patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Farid Cerbah Generating Causal Explanations: From Qualitative Models to Natural Language Texts. [Citation Graph (0, 0)][DBLP ] Conf ] Leo Wanner Lexical Choice and the Organization of Lexical Resources in Text Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Helmut Horacek Explanations for Constraint Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Finkler , Anne Schauder Effects of Incremental Output on Incremental Natural Language Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew W. Crocker , Ian Lewin Parsing as Deduction: Rules versus Principles. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Haugeneder A Computationai Model for Processing Coordinate Structures: Parsing Coordination will-out Grammatical Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Michel Grandchamp , S. Letellier Predictions in Deterministic Parsing: a Framework for Lexical Correction. [Citation Graph (0, 0)][DBLP ] Conf ] Katashi Nagao A Preferential Constraint Satisfaction Technique for Natural Language Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Mona Singh , Munindar P. Singh Computing the Temporal Structure of Events in Natural Language. [Citation Graph (0, 0)][DBLP ] Conf ] Sven Lorenz Presupposition, Anaphora, and Reasoning about Change. [Citation Graph (0, 0)][DBLP ] Conf ] B. Keller A Logic for Representing Grammatical Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Quantz How to Fit Generalized Quantifiers into Terminological Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Heinz , Johannes Matiasek , Harald Trost , Ernst Buchberger Comparison in NLIs - Habitability and Database Reality. [Citation Graph (0, 0)][DBLP ] Conf ] A. Bonneau , François Charpillet , S. Coste , Jean Paul Haton , Yves Laprie , Pierre Marquis A Model for Hypothetical Reasoning Applied to Speech Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Claudius Pyka Management of Hypotheses in an Integrated Speech-Language Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Tony Veale , Padraig Cunningham Competitive Hypothesis Resolution in TWIG, a Blackboard-Driven Text Understanding System. [Citation Graph (0, 0)][DBLP ] Conf ] C. Gierl , Daniel Frost Identification of Domain-Specific Terminology by Combining Mutual Information and Lexical Induction. [Citation Graph (0, 0)][DBLP ] Conf ] Angi Voß , Werner Karbach , Carl-Helmut Coulon , Uwe Drouven , Brigitte Bartsch-Spörl Generic Specialists in Competent Behaviour. [Citation Graph (0, 0)][DBLP ] Conf ] C. Duursma Interpretation Models and Problem Solving Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Reinders , Bert Bredeweg Reflective Strategic Control of Multiple Problem Solving Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Frank van Harmelen , John Balder (ML)2: A Formal Language for KADS Models. [Citation Graph (0, 0)][DBLP ] Conf ] Barry Smyth , Padraig Cunningham Déjà Vu: A Hierarchical Case-Based Reasoning System for Software Design. [Citation Graph (0, 0)][DBLP ] Conf ] M. Brown Incorporating Similarity Measures into Case Retrieval Using Analogue Marker Passing. [Citation Graph (0, 0)][DBLP ] Conf ] Mario Borillo , Andree Borillo , Núria Castell , D. Latour , Yannick Toussaint , Felisa Verdejo Applying Linguistic Engineering to Spatial Software Engineering: the Traceabiiity Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Xavier Alamán Roldán , Idoia Alarcón , Erik de Pablo , Jose Luis Zaccagnini The Maquette-Based Methodology Applied to Real-Time Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Philip Rademakers , Rolf Pfeifer The Role of Knowledge Level Models in Situated Adaptive Design. [Citation Graph (0, 0)][DBLP ] Conf ] Bogdan Filipic Enhancing Genetic Search to Schedule a Production Unit. [Citation Graph (0, 0)][DBLP ] Conf ] Dipankar Dasgupta , Douglas R. McGregor Engineering Optimizations Using the Structured Genetic Aigorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Achim G. Hoffmann Phenomenology, Representations and Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Gerson Zaverucha Logical Foundations of a Modal Defeasible Relevant Logic of Belief. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Vinkhuyzen On the Non-Existence of Knowledge Level Models. [Citation Graph (0, 0)][DBLP ] Conf ] John Fox , Paul Krause , Simon Ambler Arguments, Contradicitions and Practical Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Susanne Biundo , Dietmar Dengler , Jana Koehler Deductive Planning and Plan Reuse in a Command Language Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen Cranefield A Logical Framework for Practical Planning. [Citation Graph (0, 0)][DBLP ] Conf ] P. M. Berry SCHEDULING: A Problem of Decision-Making Under Uncertainty. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Traverso , Alessandro Cimatti , Luca Spalazzi Beyond the Single Planning Paradigm: Introspective Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Kumar Tadepalli , N. Parameswaran Reason Maintenance Systems for Multiagent Planning. [Citation Graph (0, 0)][DBLP ] Conf ] G. Kelleher , Anthony G. Cohn Automatically Synthesising Domain Constraints from Operator Descriptions. [Citation Graph (0, 0)][DBLP ] Conf ] Angel P. Del Pobil , Miguel A. Serna Solving the Find-Path Problem in 3D by a Simple Object Model. [Citation Graph (0, 0)][DBLP ] Conf ] José del R. Millán Building Reactive Path-Finders through Reinforcement Connectionist Learning: Three Issues and an Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] D. Kontoravdis , Aristidis Likas , Andreas Stafylopatis Collision-Free Movement of an Autonomous Vehicle Using Reinforcement Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Juan Manuel Ahuactzin , El-Ghazali Talbi , Pierre Bessière , B. Mazer Using Genetic Algorithms for Robot Motion Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Ramos , Eugenio Oliveira Planning, Execution and Sensor-Based Reaction for Assembly Robotic Tasks. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Maria Gambardella , M. Haex Grasp Planning for Automatic Assembly Tasks Using Artificial Fields. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Neitzke Modeling Physical Systems with Relative Descriptions of Parameters. [Citation Graph (0, 0)][DBLP ] Conf ] A. F. Toal PQS: ``I dont know'' Is an Important Qualitative Statement. [Citation Graph (0, 0)][DBLP ] Conf ] J. Primus , Boi Faltings Domain Modeling for Monitoring Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ann E. Nicholson , Michael Brady The Data Association Problem when Monitoring Robot Vehicles Using Dynamic Belief Networks. [Citation Graph (0, 0)][DBLP ] Conf ] N. Bousson , Louise Travé-Massuyès Formalizing Expertise Qualitative Operators. [Citation Graph (0, 0)][DBLP ] Conf ] John A. Self Cognitive Diagnosis for Tutoring Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Pearl Pu , Y. Huang Crossroad Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Friedrich , Georg Gottlob , Wolfgang Nejdl Formaiizing the Repair Process. [Citation Graph (1, 0)][DBLP ] Conf ] Z. Csáki Identification as Learning in Reasoning about Incomplete Knowledge of Physical Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Oskar Dressler , Peter Struss Back to Defatilts: Characterizing and Computing Diagnoses as Coherent Assumption Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Besnard , Marie-Odile Cordier Explanatory Diagnoses and their Computation by Circumscription. [Citation Graph (0, 0)][DBLP ] Conf ] Igor Mozetic A Polynomial-time Algorithm for Model-Based Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] R. R. Bakker , M. Bourseau Pragmatic Reasoning in Model-Based Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] J. Bradshaw , R. Michael Young Evaluating the Behaviour of the BAe 146 Hydraulic System Using the Doris System. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshiteru Ishida A Graphical Approach to Qualitative Reasoning on Dynamic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] M. R. Vescovi , J.-P. Robles Fuzzy Diagnosis of Continuous Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Boi Faltings , Djamila Haroud , Ian F. C. Smith Dynamic Constraint Propagation with Continuous Variables. [Citation Graph (0, 0)][DBLP ] Conf ] Cristina Conati , Jon M. Slack Accessing Information through Graphics. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Rist , Elisabeth André From Presentation Tasks to Pictures: Towards a Computational Approach to Graphics Design. [Citation Graph (0, 0)][DBLP ] Conf ] Anil S. Chakravarthy , Kenneth B. Haase , L. M. Weitzman A Uniform Memory-Based Representation for Visual Languages. [Citation Graph (0, 0)][DBLP ] Conf ] S. Oei , R. Smit , Jos Schreinemakers , L. Marinos , J. Sirks The Presentation Manager, A Method for Task- Driven Concept Presentation. [Citation Graph (0, 0)][DBLP ] Conf ] Edoardo Ardizzone , Franco Callari , Antonio Chella , Salvatore Gaglio The Mapping Between Geometric and Symbolic Knowledge in Artificial Vision: A Connectionist Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Shaogang Gong , Hilary Buxton On the Visual Expectations of Moving Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Richard J. Howarth , Hilary Buxton Analogical Representation of Spatial Events for Understanding Traffic Behaviour. [Citation Graph (0, 0)][DBLP ] Conf ] Nassir Navab , Z. Zhang From Multiple Objects Motion Analysis To Behavior-Based Object Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Dekneuvel , Malik Ghallab , J.-P. Thibault Hypotheses Management for Scene Interpretation in a Multisensory Perception Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Quang-Tuan Luong , Olivier D. Faugeras Active Head Movements Help Solve Stereo Correspondence. [Citation Graph (0, 0)][DBLP ] Conf ] Gerd-Jürgen Giefing , H. Janßen , Hanspeter A. Mallot Saccadic Object Recognition with an Active Vision System. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Remagnino , Josef Kittler , G. Matas , John Illingworth On Computing the Next Look Camera Parameters in Active Vision. [Citation Graph (0, 0)][DBLP ] Conf ] Ruggero Milanese , Jean-Marc Bost , Thierry Pun A Bottom-Up Attention System for Active Vision. [Citation Graph (0, 0)][DBLP ] Conf ] S. Bohrer , Michael Brauckmann , Werner von Seelen Visual Obstacle Detection by a Geometrically Simplified Optical Flow Approach. [Citation Graph (0, 0)][DBLP ] Conf ] W. Brent Seales , Charles R. Dyer An Occlusion-Based Representation of Shape for Viewpoint Recovery. [Citation Graph (0, 0)][DBLP ] Conf ] Luc Robert , Rachid Deriche , Olivier D. Faugeras Dense Depth Recovery From Stereo Images. [Citation Graph (0, 0)][DBLP ] Conf ] M. G. Milanova , I. A. Aleksandrov , R. K. Kunchev Recovering and CAD/CAM Processing of Complex Surfaces. [Citation Graph (0, 0)][DBLP ] Conf ] Humberto Sossa , Radu Horaud Model Indexing Based on a Graph-Theoretic Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Pierre H. Laurent Proposals for a Valid Terminology in KBS Validation. [Citation Graph (0, 0)][DBLP ] Conf ] Alun D. Preece , Rajjan Shinghal Verifying Knowledge Bases by Anomaly Detection: An Experience Report. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro Meseguer Incremental Verification of Rule-Based Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane Loiseau Refinement of Knowledge Bases Based on Consistency. [Citation Graph (0, 0)][DBLP ] Conf ] Oliviero Stock A Third Modailty of Natural Language? [Citation Graph (0, 0)][DBLP ] Conf ] Peter Struss Knowledge-based Diagnosis - An Important Challenge and Touchstone for AI. [Citation Graph (0, 0)][DBLP ] Conf ] Stanley J. Rosenschein Perception and Action in Autonomous Systems. [Citation Graph (0, 0)][DBLP ] Conf ] 