Conferences in DBLP
G. Ravi Prakash , Eswaran Subrahmanian , Hosaker N. Mahabala A Methodology for Systematic Verification of OPS5-Based AI Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Loren G. Terveen , David A. Wroblewski , Steven N. Tighe Intelligent Assistance through Collaborative Manipulation. [Citation Graph (0, 0)][DBLP ] Conf ] Keith Decker , Alan Garvey , Marty Humphrey , Victor R. Lesser Effects of Parallelism on Blackboard System Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Rick Evertsz The Automated Analysis of Rule-based Systems, Based on their Procedural Semantics. [Citation Graph (1, 0)][DBLP ] Conf ] Tony Plate Holographic Reduced Representations: Convolution Algebra for Compositional Distributed Representations. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Sohn , Jean-Luc Gaudiot A Macro Actor/Token Implementation of Production Systems on a Data-Mow Multiprocessor. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Kuo , Dan I. Moldovan Performance Comparison of Models for Multiple Rule Firing. [Citation Graph (0, 0)][DBLP ] Conf ] Ian N. Robinson On Supporting Associative Access and Processing over Dynamic Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Sarit Kraus , Jonathan Wilkenfeld Negotiations Over Time in a Multi-Agent Environment: Preliminary Report. [Citation Graph (0, 0)][DBLP ] Conf ] Piotr J. Gmytrasiewicz , Edmund H. Durfee , David K. Wehe A Decision-Theoretic Approach to Coordinating Multi-agent Interactions. [Citation Graph (0, 0)][DBLP ] Conf ] Munindar P. Singh Towards a Formal Theory of Communication for Multi-agent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hideyuki Nakashima , Stanley Peters , Hinrich Schütze Communication and Inference through Situations. [Citation Graph (0, 0)][DBLP ] Conf ] David Kinny , Michael P. Georgeff Commitment and Effectiveness of Situated Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Takashi Nishiyama , Osamu Katai , Sosuke Iwai , Tetsuo Sawaragi , Hiroshi Masuichi Generating Integrated Interpretation of Partial Information Based on Distributed Qualitative Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Fisher A Resolution Method for Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Guckenbiehl Formalizing and Using Persistency. [Citation Graph (0, 0)][DBLP ] Conf ] Fausto Giunchiglia , Paolo Traverso Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code. [Citation Graph (0, 0)][DBLP ] Conf ] Nachum Dershowitz Ordering-Based Strategies for Horn Clauses. [Citation Graph (0, 0)][DBLP ] Conf ] Toni Bollinger A Model Elimination Calculus for Generalized Clauses. [Citation Graph (0, 0)][DBLP ] Conf ] Elmar Eder Consolution and its Relation with Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Kerber How to Prove Higher Order Theorems in First Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Hitoshi Iba , Hirochika Inoue Reasoning of Geometric Concepts based on Algebraic Constraint-directed Method. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Demolombe , Luis Fariñas del Cerro An Inference Rule for Hypothesis Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Katsumi Inoue Consequence-Finding Based on Ordered Linear Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Lingenfelder , Axel Präcklein Proof Transformation with Built-in Equality Predicate. [Citation Graph (0, 0)][DBLP ] Conf ] Colin J. H. McDiarmid , Gregory M. Provan An Expected-Cost Analysis of Backtracking and Non-Backtracking Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Anup K. Sen , Amitava Bagchi , Bani K. Sinha Admissible Search Methods for Minimum Penalty Sequencing of Jobs with Setup Times on One and Two Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Anna Bramanti-Gregor , Henry W. Davis Learning Admissible Heuristics while Solving Problems. [Citation Graph (1, 0)][DBLP ] Conf ] Reza Shams , Hermann Kaindl , Helmut Horacek Using Aspiration Windows for Minimax Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen V. Chenoweth , Henry W. Davis High-Performance A\ast Search Using Rapidly Growing Heuristics. [Citation Graph (0, 0)][DBLP ] Conf ] Toru Ishida , Richard E. Korf Moving Target Search. [Citation Graph (0, 0)][DBLP ] Conf ] Stuart J. Russell , Shlomo Zilberstein Composing Real-Time Systems. [Citation Graph (1, 0)][DBLP ] Conf ] Eric Biefeld , Lynne Cooper Bottleneck Identification Using Process Chronologies. [Citation Graph (0, 0)][DBLP ] Conf ] Gilad Zlotkin , Jeffrey S. Rosenschein Incomplete Information and Deception in Multi-Agent Negotiation. [Citation Graph (0, 0)][DBLP ] Conf ] Marta Franová , Yves Kodratoff Solving "How to Clear a Block" with Constructive Matching Methodology. [Citation Graph (0, 0)][DBLP ] Conf ] Edwin P. D. Pednault Generalizing Nonlinear Planning to Handle Complex Goals and Actions with Context-Dependent Effects. [Citation Graph (0, 0)][DBLP ] Conf ] Jens Christensen , Adam J. Grove A Formal Model for Classical Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Amy L. Lansky Localized Search for Multiagent Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Minton , John L. Bresina , Mark Drummond Commitment Strategies in Planning: A Comparative Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Christer Bäckström , Inger Klein Parallel Non-Binary Planning in Polynomial Time. [Citation Graph (0, 0)][DBLP ] Conf ] Tom Bylander Complexity Results for Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Dekang Lin , Randy Goebel A Message Passing Algorithm for Plan Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Fahiem Bacchus , Qiang Yang The Downward Refinement Property. [Citation Graph (0, 0)][DBLP ] Conf ] Jean Christophe Madre , Olivier Coudert A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver. [Citation Graph (0, 0)][DBLP ] Conf ] Jérôme Euzenat Contexts for Nonmonotonic RMSes. [Citation Graph (0, 0)][DBLP ] Conf ] Xianchang Wang , Huowang Chen On Semantics of TMS. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Junker Prioritized Defaults: Implementation by TMS and Application to Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Zeev Collin , Rina Dechter , Shmuel Katz On the Feasibility of Distributed Constraint Satisfaction. [Citation Graph (1, 0)][DBLP ] Conf ] Yves Deville , Pascal Van Hentenryck An Efficient Arc Consistency Algorithm for a Class of CSP Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Cheeseman , Bob Kanefsky , William M. Taylor Where the Really Hard Problems Are. [Citation Graph (0, 0)][DBLP ] Conf ] Jacobijn Sandberg , Bob J. Wielinga How Situated is Cognition? [Citation Graph (0, 0)][DBLP ] Conf ] Katia P. Sycara , Dundee Navinchandra Index Transformation Techniques for Facilitating Creative Use of Multiple Cases. [Citation Graph (0, 0)][DBLP ] Conf ] Gregg Collins , Lawrence Birnbaum , Bruce Krulwich , Michael Freed Plan Debugging in an Intentional System. [Citation Graph (0, 0)][DBLP ] Conf ] N. Hari Narayanan , B. Chandrasekaran Reasoning Visually about Spatial Interactions. [Citation Graph (0, 0)][DBLP ] Conf ] Akira Shimaya , Isamu Yoroizawa A Cognitive Model of Figure Segregation. [Citation Graph (0, 0)][DBLP ] Conf ] Wai K. Yeap , M. E. Jeffries , P. S. Naylor An MFIS for Computing a Raw Cognitive Map. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Lifschitz Nonmonotonic Databases and Epistemic Queries. [Citation Graph (0, 0)][DBLP ] Conf ] Nicholas Asher , Michael Morreau Commonsense Entailment: A Modal Tneory of Non-monotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Miroslaw Truszczynski Modal Interpretations of Default Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Ilkka Niemelä Constructive Tightly Grounded Autoepistemic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Hirofumi Katsuno , Ken Satoh A Unified View of Consequence Relation, Belief Revision and Conditional Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Craig Boutilier Inaccessible Worlds and Irrelevance: Preliminary Report. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Dubois , Henri Prade Possibilistic Logic, Preferential Models, Non-monotonicity and Related Issues. [Citation Graph (1, 0)][DBLP ] Conf ] Nicolas Helft , Katsumi Inoue , David Poole Query Answering in Circumscription. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Moinard , Raymond Rolland Circumscription and Definability. [Citation Graph (0, 0)][DBLP ] Conf ] Zhaogang Qian , Keki B. Irani Circumscribing Defaults. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Baader Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Baader , Philipp Hanschke A Scheme for Integrating Concrete Domains into Concept Languages. [Citation Graph (3, 0)][DBLP ] Conf ] Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi , Werner Nutt Tractable Concept Languages. [Citation Graph (2, 0)][DBLP ] Conf ] Klaus Schild A Correspondence Theory for Terminological Logics: Preliminary Report. [Citation Graph (1, 0)][DBLP ] Conf ] John Yen Generalizing Term Subsumption Languages to Fuzzy Logic. [Citation Graph (0, 0)][DBLP ] Conf ] David S. Touretzky , Richmond H. Thomason , John F. Horty A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance. [Citation Graph (0, 0)][DBLP ] Conf ] Sukhamay Kundu A New Logic of Beliefs: Monotonic and Non-Monotonic Beliefs - Part 1. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Lakemeyer A Model of Decidable Introspective Reasoning with Quantifying-In. [Citation Graph (0, 0)][DBLP ] Conf ] Anand S. Rao , Michael P. Georgeff Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Periklis Belegrinos , Michael P. Georgeff A Model of Events and Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Jürgen Ohlbach , Andreas Herzig Parameter Structures for Parametrized Modal Operators. [Citation Graph (0, 0)][DBLP ] Conf ] Russell Greiner , Charles Elkan Measuring and Improving the Effectiveness of Representations. [Citation Graph (0, 0)][DBLP ] Conf ] Gadi Pinkas Propositional Non-Monotonic Reasoning and Inconsistency in Symrnetric Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Walter Alexandre Carnielli , Luis Fariñas del Cerro , Mamede Lima Marques Contextual Negations and Reasoning with Contradictions. [Citation Graph (0, 0)][DBLP ] Conf ] Gerd Wagner Ex contradictione nihil sequitur. [Citation Graph (1, 0)][DBLP ] Conf ] Robert Levinson , Feng-hsiung Hsu , T. Anthony Marsland , Jonathan Schaeffer , David E. Wilkins The Role of Chess in Artificial Intelligence Research. [Citation Graph (0, 0)][DBLP ] Conf ] James A. Hendler , Daniel G. Bobrow , Les Gasser , Carl Hewitt , Marvin Minsky Multiple Approaches to Multiple Agent Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Jennings , Adam E. Irgon , Akira Kurematsu , Greg Vessonder , Jon R. Wright AI in Telecommunications. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroaki Kitano , James A. Hendler , Tetsuya Higuchi , Dan I. Moldovan , David L. Waltz Massively Parallel Artificial Intelligence. [Citation Graph (0, 0)][DBLP ] Conf ] Saul Amarel , Alvin M. Despain , H. Penny Nii , Louis I. Steinberg , Marty Tenenbaum , Peter M. Will AI and Design. [Citation Graph (1, 0)][DBLP ] Conf ] Rodney A. Brooks Intelligence Without Reason. [Citation Graph (0, 0)][DBLP ] Conf ] Robert A. Kowalski Logic Programing in Artificial Intelligence. [Citation Graph (0, 0)][DBLP ] Conf ] Christer Samuelsson , Manny Rayner Quantitative Evaluation of Explanation-Based Learning as an Optimisation Tool for a Large-Scale Natural Language System. [Citation Graph (0, 0)][DBLP ] Conf ] Prasad Tadepalli A Formalization of Explanation-Based Macro-operator Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Masayuki Yamamura , Shigenobu Kobayashi An Augmented EBL and its Application to the Utility Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Jungsoon P. Yoo , Douglas H. Fisher Concept Formation over Explanations and Problem-Solving Experience. [Citation Graph (0, 0)][DBLP ] Conf ] Wray L. Buntine Classifiers: A Theoretical and Empirical Study. [Citation Graph (1, 0)][DBLP ] Conf ] James D. Kelly Jr. , Lawrence Davis A Hybrid Genetic Algorithm for Classification. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth A. De Jong , William M. Spears Learning Concept Classification Rules Using Genetic Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Floriana Esposito , Donato Malerba , Giovanni Semeraro Flexible Matching for Noisy Structural Descriptions. [Citation Graph (0, 0)][DBLP ] Conf ] Haym Hirsh Theoretical Underpinnings of Version Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Nicolas Empirical Bias for Version Space. [Citation Graph (1, 0)][DBLP ] Conf ] Sholom M. Weiss , Nitin Indurkhya Reduced Complexity Rule Induction. [Citation Graph (1, 0)][DBLP ] Conf ] Céline Rouveirol Semantic Model for Induction of First Order Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Robin Hanson , John Stutz , Peter Cheeseman Bayesian Classification with Correlation and Inheritance. [Citation Graph (1, 0)][DBLP ] Conf ] Der-Shung Yang , Larry A. Rendell , Gunnar Blix A Scheme for Feature Construction and a Comparison of Empirical Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Salzberg , Arthur L. Delcher , David G. Heath , Simon Kasif Learning with a Helpful Teacher. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Wrobel Towards a Model of Grounded Concept Formation. [Citation Graph (0, 0)][DBLP ] Conf ] Armand Prieditis Machine Discovery of Effective Admissible Heuristics. [Citation Graph (0, 0)][DBLP ] Conf ] David Chapman , Leslie Pack Kaelbling Input Generalization in Delayed Reinforcement Learning: An Algorithm and Performance Comparisons. [Citation Graph (0, 0)][DBLP ] Conf ] Wayne Iba Learning to Classify Observed Motor Behavior. [Citation Graph (0, 0)][DBLP ] Conf ] Peter C.-H. Cheng Modelling Experiments in Scientific Discovery. [Citation Graph (0, 0)][DBLP ] Conf ] J. Ross Quinlan Determinate Literals in Inductive Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Charles X. Ling Inductive Learning from Good Examples. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Kirschenbaum , Leon Sterling Refinement Strategies for Inductive Leaming of Simple Prolog Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jason Catlett Overprvning Large Decision Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Larry Watanabe , Larry A. Rendell Learning Structural Decision Trees from Examples. [Citation Graph (0, 0)][DBLP ] Conf ] David G. Heath , Simon Kasif , S. Rao Kosaraju , Steven Salzberg , Gregory F. Sullivan Learning Nested Concept Classes with Limited Storage. [Citation Graph (0, 0)][DBLP ] Conf ] Achim G. Hoffmann , Sunil Thakar Acquiring Knowledge by Efficient Query Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Diane J. Cook The Base Selection Task in Analogical Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Scott Fertig , David Gelernter FGP: A Virtual Machine for Acquiring Knowledge from Cases. [Citation Graph (0, 0)][DBLP ] Conf ] James P. Callan , Tom Fawcett , Edwina L. Rissland CABOT: An Adaptive Approach to Case-Based Search. [Citation Graph (0, 0)][DBLP ] Conf ] Kathleen B. McKusick , Pat Langley Constraints on Tree Structure in Concept Formation. [Citation Graph (0, 0)][DBLP ] Conf ] Brian R. Gaines An Interactive Visual Language for Term Subsumption Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Gutknecht , Rolf Pfeifer , Markus Stolze Cooperative Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Warren R. Becraft , Peter L. Lee , Robert B. Newell Integration of Neural Networks and Expert Systems for Process Fault Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Rangachari Anand , Kishan Mehrotra , Chilukuri K. Mohan , Sanjay Ranka Analyzing Images Containing Multiple Sparse Patterns with Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Harish Ragavan , Selwyn Piramuthu The Utility of Feature Construcuon for Back-Propagation. [Citation Graph (0, 0)][DBLP ] Conf ] Sieger van Denneheuvel , Karen L. Kwast Weak Equivalence for Constraint Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Chilukuri K. Mohan Fitting Semantics for Conditional Term Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Luís Moniz Pereira , Joaquim Nunes Aparício , José Júlio Alferes Derivation Procedures for Extended Stable Models. [Citation Graph (1, 0)][DBLP ] Conf ] Mike Brayshaw An Architecture for Visualizing the Execution of Parallel Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Kang Zhang , Ray Thomas A Non-shared Binding Scheme for Parallel Prolog Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Kienchung Kuo Programming in Autoepistemic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] L. Thorne McCarty , Ron van der Meyden Indefinite Reasoning with Definite Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Karen L. Kwast The Incomplete Database. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Wallace Compiling Integrity Checking into Update Procedures. [Citation Graph (1, 0)][DBLP ] Conf ] Hiroaki Kitano , Dan I. Moldovan , Seungho Cha High Performance Natural Language Processing on Semantic Network Array Processor. [Citation Graph (1, 0)][DBLP ] Conf ] Hiroaki Kitano , Tetsuya Higuchi Massively Parallel Memory-Based Parsing. [Citation Graph (0, 0)][DBLP ] Conf ] Esther König Incremental Syntactic and Semantic Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Gregor Erbach An Environment for Experimentation with Parsing Strategies. [Citation Graph (0, 0)][DBLP ] Conf ] Peter van Beek , Robin Cohen Resolving Plan Ambiguity for Cooperative Response Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Yorick Wilks , John A. Barnden , Jin Wang Your Metaphor or Mine: Belief Ascription and Metaphor Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Philip R. Cohen , Hector J. Levesque Confirmations and Joint Action. [Citation Graph (0, 0)][DBLP ] Conf ] Marie Meteer , Richard M. Schwartz , Ralph M. Weischedel POST: Using Probabilities in Language Processing. [Citation Graph (0, 0)][DBLP ] Conf ] John A. Bateman , Christian Matthiessen , Keizo Nanri , Licheng Zeng The Re-use of Linguistic Resources across Languages in Multilingual Generation Components. [Citation Graph (0, 0)][DBLP ] Conf ] Oliviero Stock Natural Language and Exploration of an Information Space: The ALFresco Interactive System. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Baggia , Elisabetta Gerbino , Egidio P. Giachin , Claudio Rullent Efficient Representation of Linguistic Knowledge for Continuous Speech Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] Padraig Cunningham , Tony Veale Organizational Issues Arising from the Integration of the Lexicon and Concept Network in a Text Understanding System. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Johnson Logic and Feature Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Liliana Ardissono , Leonardo Lesmo , Paolo Pogliano , Paolo Terenziani Interpretation of Definite Noun Phrases. [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Busemann Using Pattern-Action Rules for the Generation of GPSG Structures from MT-Oriented Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Tsunenori Mine , Rin-ichiro Taniguchi , Makoto Amamiya Coordinated Morphological and Syntactic Analysis of Japanese Language. [Citation Graph (0, 0)][DBLP ] Conf ] Liang-Jyh Wang , Tzusheng Pei , Wei-Chuan Li , Lih-Ching R. Huang A Parsing Method for Identifying Words in Mandarin Chinese Sentences. [Citation Graph (0, 0)][DBLP ] Conf ] Harald Trost X2MORF: A Morphological Component Based on Augmented Two-Level Morphology. [Citation Graph (0, 0)][DBLP ] Conf ] Venu Dasigi Parsing = Parsimonious Covering? (Abduction in Logical Form Generation). [Citation Graph (0, 0)][DBLP ] Conf ] Francis Jeffry Pelletier The Philosophy of Automated Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond E. Jennings , Christine W. Chan , M. J. Dowad Generalised Inference and Inferential Modelling. [Citation Graph (0, 0)][DBLP ] Conf ] John K. Slaney The Implications of Paraconsistency. [Citation Graph (0, 0)][DBLP ] Conf ] David J. Israel , John Perry , Syun Tutiya Actions and Movements. [Citation Graph (0, 0)][DBLP ] Conf ] Selmer Bringsjord , Michael Zenzen In Defense of Hyper-Logicist AI. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Bergadano The Problem of Induction and Machine Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Dinesh Gadwal , Jim E. Greer , Gordon I. McCalla UMRAO: A Chess Endgame Tutor. [Citation Graph (0, 0)][DBLP ] Conf ] Luigia Carlucci Aiello , Maria Cialdea , Daniele Nardi Reasoning about Student Knowledge and Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Tak-Wai Chan Integration-Kid: A Learning Companion System. [Citation Graph (0, 0)][DBLP ] Conf ] William R. Murray An Endorsement-based Approach to Student Modeling for Planner-controlled Tutors. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Dague , Olivier Jehl , Philippe Deves , Pierre Luciani , Patrick Taillibert When Oscillators Stop Oscillating. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Friedrich , Franz Lackinger Diagnosing Temporal Misbehavior. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Lackinger , Wolfgang Nejdl Integrating Model-Based Monitoring and Diagnosis of Complex Dynamic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] David Poole Representing Diagnostic Knowledge for Probabilistic Horn Abduction. [Citation Graph (0, 0)][DBLP ] Conf ] Erling A. Woods The Hybrid Phenomena Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Feng Zhao Extracting and Representing Qualitative Behaviors of Complex Systems in Phase Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Toyoaki Nishida , Shuji Doshita A Geometric Approach to Total Envisioning. [Citation Graph (0, 0)][DBLP ] Conf ] Ulf Söderman , Jan-Erik Strömberg Combining Qualitative and Quantitative Knowledge to Generate Models of Physical Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Rina Dechter , Judea Pearl Directed Constraint Networks: A Relational Framework for Causal Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Jan L. Top , Hans Akkermans Computational and Physical Causality. [Citation Graph (0, 0)][DBLP ] Conf ] Antony Galton Reified Temporal Theories and How to Unreify Them. [Citation Graph (0, 0)][DBLP ] Conf ] Yen-Teh Hsia Characterizing Belief with Minimum Commitment. [Citation Graph (0, 0)][DBLP ] Conf ] Rudolf Kruse , Erhard Schwecke , Frank Klawonn On a Tool for Reasoning with Mass Distributions. [Citation Graph (0, 0)][DBLP ] Conf ] Henry E. Kyburg Jr. Evidential Probability. [Citation Graph (0, 0)][DBLP ] Conf ] S. K. Michael Wong , Pawan Lingras , Yiyu Yao Propagation of Preference Relations in Qualitative Inference Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Wilson X. Wen , Andrew Jennings Parallel Distributed Belief Networks That Learn. [Citation Graph (0, 0)][DBLP ] Conf ] Luc Steels Emergent Frame Recognition and Its Use in Artificial Creatures. [Citation Graph (0, 0)][DBLP ] Conf ] R. Peter Bonasso Integrating Reaction Plans and Layered Competences Through Synchronous Control. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen F. Peters , Shigeoki Hirai , Toru Omata , Tomomasa Sato Planning Robot Control Parameter Values with Qualitative Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Stelmaszyk , Hiroshi Ishiguro , Saburo Tsuji Mobile Robot Navigation by an Active Control of the Vision System. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew Barth , Hiroshi Ishiguro , Saburo Tsuji Determining Robot Egomotion from Motion Parallax Observed by an Active Camera. [Citation Graph (0, 0)][DBLP ] Conf ] Yerucham Shapira , Shimon Ullman A Pictorial Approach to Object Classification. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas M. Strat , Martin A. Fischler Natural Object Recognition: A Theoretical Framework and Its Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] John R. Kender , Rick Kjeldsen On Seeing Spaghetti: A Novel Self-Adjusting Seven Parameter Hough Space for Analyzing Flexible Extruded Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Brunelli , Tomaso Poggio HyperBF Networks for Real Object Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Audette , Paul R. Cohen , Juyang Weng Shading-Based Two-View Matching. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Fua Combining Stereo and Monocular Information to Compute Dense Depth Maps that Preserve Depth Discontinuities. [Citation Graph (0, 0)][DBLP ] Conf ] R. Mike Cameron-Jones Visual Interpretation of Lambertian Surface Deformation. [Citation Graph (0, 0)][DBLP ] Conf ] Terry Regier Line Labeling and Junction Labeling: A Coupled System for Image Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Alen Varsek Qualitative Model Evolution. [Citation Graph (0, 0)][DBLP ] Conf ] 