Conferences in DBLP
Pascal Van Hentenryck A Theoretical Framework for Consistency Techniques in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] George Dayantis Logic Program Derivation for a Class of First Order Logic Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Bertram Fronhöfer PLANLOG: A Language Framework for the Integration of Procedural and Logical Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre E. Bonzon An Environment Model for the Integration of Logic and Functional Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Susumu Yamasaki A Network of Communicating Logic Programs and Its Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Hans W. Guesgen , Ulrich Junker , Angi Voß Constraints in a Hybrid Knowledge Representation System. [Citation Graph (0, 0)][DBLP ] Conf ] Herman Iline , Henry Kanoui Extending Logic Programming to Object Programming: The System Lap. [Citation Graph (1, 0)][DBLP ] Conf ] Jean-Pierre Briot , Pierre Cointe A Uniform Model for Object-Oriented Languages Using the Class Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Ghislanzoni , Luca Spampinato , Giorgio Tornielli Reflection as a Tool for Integration: An Exercise in Procedural Introspection. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Ratcliffe , Jean-Claude Syre A Parallel Logic Programming Language for PEPSys. [Citation Graph (0, 0)][DBLP ] Conf ] Michael van Biema Parallelism in LISP. [Citation Graph (0, 0)][DBLP ] Conf ] Ching-Chi Hsu , Shao-Ming Wu , Jan-Jan Wu A Distributed Approach for Inferring Production Systems. [Citation Graph (1, 0)][DBLP ] Conf ] Giorgio Montini Efficiency Considerations on Built-in Taxonomic Reasoning in PROLOG. [Citation Graph (1, 0)][DBLP ] Conf ] Yoshiyuki Koseki Amalgamating Multiple Programming Paradigms in PROLOG. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Eisenstadt , Mike Brayshaw Graphical Debugging with the Transparent PROLOG Machine (TPM). [Citation Graph (0, 0)][DBLP ] Conf ] Damian Black , John Manley A Logic-based Architecture for Knowledge Management. [Citation Graph (0, 0)][DBLP ] Conf ] Xuejun Tong , Zhijun He , Ruizao Yu A Tool for Building Second Generation Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Werner Hein , Gert M. Kellerman , Christoph G. Thomas X-AiD: A Shell for Building Highly Interactive and Adaptive User Interfaces. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas R. Gruber , Paul R. Cohen Knowledge Engineering Tools at the Architecture Level. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Ortony , Derek Partridge Surprisingness and Expectation Failure: What's the Difference? [Citation Graph (0, 0)][DBLP ] Conf ] Kristian J. Hammond Explaining and Repairing Plans that Fail. [Citation Graph (0, 0)][DBLP ] Conf ] Edward Hoenkamp An Analysis of Psychological Experiments on Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Yorick Wilks , Afzal Ballim Multiple Agents and the Heuristic Ascription of Belief. [Citation Graph (0, 0)][DBLP ] Conf ] Uri Zernick Language Acquisition: Learning a Hierarchy of Phrases. [Citation Graph (0, 0)][DBLP ] Conf ] Uri Zernick Learning Idioms - With and Without Explanation. [Citation Graph (0, 0)][DBLP ] Conf ] James H. Martin Understanding New Metaphors. [Citation Graph (0, 0)][DBLP ] Conf ] Sandra L. Peters , Stuart C. Shapiro A Representation for Natural Category Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Pazzani , Michael G. Dyer A Comparison of Concept Identification in Human Learning and Network Learning with the Generalized Delta Rule. [Citation Graph (0, 0)][DBLP ] Conf ] James A. Hendler Marker-Passing and Microfeatures. [Citation Graph (1, 0)][DBLP ] Conf ] Lisa F. Rau Spontaneous Retrieval in a Conceptual Information System. [Citation Graph (0, 0)][DBLP ] Conf ] Donald Perlis How Can a Program Mean? [Citation Graph (0, 0)][DBLP ] Conf ] Joost Breuker , Radboud Winkels , Jacobijn Sandberg A Shell for Intelligent Help Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Robert G. Farrell Intelligent Case Selection and Presentation. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Fischer A Critic for LISP. [Citation Graph (0, 0)][DBLP ] Conf ] Michelle Baker , Mark H. Burstein , Allan M. Collins Implementing a Model of Human Plausible Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Beverly Park Woolf , Thomas J. Murray A Framework for Representing Tutorial Discourse. [Citation Graph (0, 0)][DBLP ] Conf ] Susan L. Epstein On the Discovery of Mathematical Theorems. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Nordhausen , Pat Langley Towards an Integrated Discovery System. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Diederich Knowledge-based Knowledge Elicitation. [Citation Graph (1, 0)][DBLP ] Conf ] Shankar A. Rajamoney , Gerald DeJong The Classification, Detection and Handling of Imperfect Theory Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Emde Non-Cumulative Learning in METAXA.3. [Citation Graph (0, 0)][DBLP ] Conf ] Robert E. Stepp Concepts in Conceptual Clustering. [Citation Graph (1, 0)][DBLP ] Conf ] B. Shekar , M. Narasimha Murty , G. Krishna Pattern Clustering: An Artificial Intelligence Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Stewart W. Wilson Hierarchical Credit Allocation in a Classifier System. [Citation Graph (0, 0)][DBLP ] Conf ] Haym Hirsh Explanation-based Generalization in a Logic- Programming Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Minton , Jaime G. Carbonell Strategies for Learning Search Control Rules: An Explanation-based Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Jude W. Shavlik , Gerald DeJong An Explanation-based Approach to Generalizing Number. [Citation Graph (0, 0)][DBLP ] Conf ] Scott Bennett Approximation in Mathematical Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Maria Segre On the Operationality/Generality Trade-off in Explanation-based Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Jack Mostow , Neeraj Bhatnagar Failsafe - A Floor Planner that Uses EBG to Learn from Its Failures. [Citation Graph (0, 0)][DBLP ] Conf ] D. Paul Benjamin Learning Strategies by Reasoning about Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Brian Falkenhainer An Examination of the Third Stage in the Analogy Process: Verification-based Analogical Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Todd R. Davies , Stuart J. Russell A Logical Approach to Reasoning by Analogy. [Citation Graph (1, 0)][DBLP ] Conf ] Yves Kodratoff , Gheorghe Tecuci DISCIPLE-1: Interactive Apprentice System in Weak Theory Fields. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Pohoreckyj Danyluk The Use of Explanations for Similarity-based Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Pazzani , Michael G. Dyer , Margot Flowers Using Prior Learning to Facilitate the Learning of New Causal Theories. [Citation Graph (1, 0)][DBLP ] Conf ] Ranan B. Banerji Learning in the Limit in a Growing Language. [Citation Graph (0, 0)][DBLP ] Conf ] Takashi Yokomori Inductive Inference of Context-free Languages- Context-free Expression Method. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen Muggleton Duce, An Oracle-based Approach to Constructive Induction. [Citation Graph (0, 0)][DBLP ] Conf ] Larry Watanabe , Renee Elio Guiding Constructive Induction for Incremental Learning from Examples. [Citation Graph (0, 0)][DBLP ] Conf ] K. S. Murray Multiple Convergence: An Approach to Disjunctive Concept Acquisition. [Citation Graph (0, 0)][DBLP ] Conf ] Chris Thornton Hypercuboid-Formation Behaviour of Two Learning Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] J. Ross Quinlan Generating Production Rules from Decision Trees. [Citation Graph (3, 0)][DBLP ] Conf ] Larry A. Rendell , Raj Sheshu , David K. Tcheng Layered Concept-Learning and Dynamically Variable Bias Management. [Citation Graph (0, 0)][DBLP ] Conf ] James P. Delgrande A Formal Approach to Learning From Examples. [Citation Graph (0, 0)][DBLP ] Conf ] Guy E. Blelloch , Charles R. Rosenberg Network Learning on the Connection Machine. [Citation Graph (0, 0)][DBLP ] Conf ] David M. Steier CYPRESS-Soar: A Case Study in Search and Learning in Algorithm Design. [Citation Graph (0, 0)][DBLP ] Conf ] T. L. McCluskey Combining Weak Learning Heuristics in General Problem Solvers. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew R. Golding , Paul S. Rosenbloom , John E. Laird Learning General Search Control from Outside Guidance. [Citation Graph (0, 0)][DBLP ] Conf ] Walter L. Hill Machine Learning for Software Reuse. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Gabriel Ganascia CHARADE: A Rule System Learning System. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Manago , Yves Kodratoff Noise and Knowledge Acquisition. [Citation Graph (2, 0)][DBLP ] Conf ] Gary S. Kahn From Application Shell to Knowledge Acquisition System. [Citation Graph (0, 0)][DBLP ] Conf ] Atsuo Kawaguchi , Riichiro Mizoguchi , Takahira Yamaguchi , Osamu Kakusho SIS: A Shell for Interview Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Nancy Gardner Margolis Development of an Expert System for Diagnosing Problems on a Paper Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Steen Andreassen , Marianne Woldbye , Björn Falck , Stig K. Andersen MUNIN - A Causal Probabilistic Network for Interpretation of Electromyographic Findings. [Citation Graph (1, 0)][DBLP ] Conf ] Jane Terry Nutter Uncertainty and Probability. [Citation Graph (0, 0)][DBLP ] Conf ] Hon Wai Chun , Lawrence A. Bookman , Niki Afshartous Network Regions: Alternatives to the Winner-Take-All Structure. [Citation Graph (0, 0)][DBLP ] Conf ] Yoav Shoham Nonmonotonic Logics: Meaning and Utility. [Citation Graph (1, 0)][DBLP ] Conf ] Kurt Konolige On the Relation Between Default Theories and Autoepistemic Logic. [Citation Graph (1, 0)][DBLP ] Conf ] Gerhard Lakemeyer Tractable Meta-Reasoning in Propositional Logics of Belief. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth D. Forbus The Logic of Occurrence. [Citation Graph (0, 0)][DBLP ] Conf ] Devika Subramanian , Michael R. Genesereth The Relevance of Irrelevance. [Citation Graph (0, 0)][DBLP ] Conf ] James P. Delgrande A Logic for Representing Default and Prototypical Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth D. Forbus , Paul Nielson , Boi Faltings Qualitative Kinematics: A Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Boi Faltings Qualitative Kinematics in Mechanisms. [Citation Graph (0, 0)][DBLP ] Conf ] Padraig Cunningham Qualitative Reasoning in Electronic Fault Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Joyce P. McDowell , Kathleen Dahlgren Commonsense Reasoning with Verbs. [Citation Graph (1, 0)][DBLP ] Conf ] Brian A. Haugh Non-Standard Semantics for the Method of Temporal Arguments. [Citation Graph (1, 0)][DBLP ] Conf ] Edward P. K. Tsang Time Structures for AI. [Citation Graph (3, 0)][DBLP ] Conf ] Peter B. Ladkin The Completeness of a Natural System for Reasoning with Time Intervals. [Citation Graph (1, 0)][DBLP ] Conf ] Peter Raulefs A Representation Framework for Continuous Dynamic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Krishna Kumar , Amitabha Mukerjee Temporal Event Conceptualization. [Citation Graph (1, 0)][DBLP ] Conf ] David S. Touretzky , John F. Horty , Richmond H. Thomason A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems. [Citation Graph (2, 0)][DBLP ] Conf ] Gerhard Brewka The Logic of Inheritance in Frame Systems. [Citation Graph (1, 0)][DBLP ] Conf ] David W. Etherington Relating Default Logic and Circumscription. [Citation Graph (0, 0)][DBLP ] Conf ] David W. Etherington A Semantics for Default Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Miller , Donald Perlis Proving Facts about "|". [Citation Graph (0, 0)][DBLP ] Conf ] Philip Schaefer Belief Functions for Real-Time Script Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Schefe On Definitional Processes in Knowledge Reconstruction Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Stanley Letovsky Program Understanding with the Lambda Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Alan M. Frisch Inference without Chaining. [Citation Graph (0, 0)][DBLP ] Conf ] Jerry R. Hobbs , Paul A. Martin Local Pragmatics. [Citation Graph (0, 0)][DBLP ] Conf ] Ajay Gupta Hardware Diagnosis as Program Debugging. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Mathonet , Herwig Van Cotthem , Leon Vanryckeghem DANTES: An Expert System for Real-Time Network Troubleshooting. [Citation Graph (1, 0)][DBLP ] Conf ] Jeff Pepper , Gary S. Kahn Repair Strategies in a Diagnostic Expert System. [Citation Graph (0, 0)][DBLP ] Conf ] Leo B. Hartman , Josh D. Tenenberg Performance in Practical Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] M. Bouissou , N. Villatte Drastic Cut of Man's Work in Reliability Studies by Using an Expert System. [Citation Graph (0, 0)][DBLP ] Conf ] James Geller , Stuart C. Shapiro Graphical Deep Knowledge for Intelligent Machine Drafting. [Citation Graph (1, 0)][DBLP ] Conf ] Agustin A. Araya , Sanjay Mittal Compiling Design Plans from Descriptions of Artifacts and Problem Solving Heuristics. [Citation Graph (0, 0)][DBLP ] Conf ] David Klein , Timothy W. Finin What's in a Deep Model? A Characterization of Knowledge Depth in Intelligent Safety Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mihai Barbuceanu , Stefan Trausan-Matu , Balint Molnar Integrating Declarative Knowledge Programming Styles and Tools in a Structured Object AI Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Paul McKevitt , Yorick Wilks Transfer Semantics in an Operating System Consultant: The Formalization of Actions Involving Object Transfer. [Citation Graph (0, 0)][DBLP ] Conf ] M. Cristina Bena , Giorgio Montini , Franco Sirovich Planning and Executing Office Procedures in Project ASPERA. [Citation Graph (0, 0)][DBLP ] Conf ] Robin S. Stanton , Hugh G. Mackenzie Deduction-based Region-Use Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Suzanne Pinson A Multi-Attribute Approach to Knowledge Representation for Loan Granting. [Citation Graph (0, 0)][DBLP ] Conf ] Kathryn M. Chalfan An Integration Tool for Life-Cycle Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] David E. Wolstenholme , Carl M. O'Brien GLIMPSE - A Statistical Adventure. [Citation Graph (0, 0)][DBLP ] Conf ] Mark A. Jones Feedback as a Coindexing Mechanism in Connectionist Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Lawrence A. Bookman A Microfeature-based Scheme for Modelling Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew R. Haas Parallel Parsing for Unification Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Lin-Shan Lee , Chiu-yu Tseng , Keh-Jiann Chen , James Huang The Preliminary Results of a Mandarin Dictation Machine Based Upon Chinese Natural Language Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Massimo Poesio , Claudio Rullent Modified Caseframe Parsing for Speech Understanding Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Cécile Paris Combining Discourse Strategies to Generate Descriptions to Users Along a Naive/Expert Spectrum. [Citation Graph (1, 0)][DBLP ] Conf ] Jean Véronis Discourse Consistency and Many-Sorted Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Julia Hirschberg , Diane J. Litman , J. Pierrehumbert , G. Ward Intonation and the Intentional Structure of Discourse. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas E. Appelt , Amichai Kronfeld A Computational Model of Referring. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara Di Eugenio , Leonardo Lesmo Representation and Interpretation of Determiners in Natural Language. [Citation Graph (0, 0)][DBLP ] Conf ] Gerard Kempen A Framework for Incremental Syntactic Tree Formation. [Citation Graph (0, 0)][DBLP ] Conf ] Nicholas J. Haddock Incremental Interpretation and Combinatory Categorial Grammar. [Citation Graph (0, 0)][DBLP ] Conf ] Kôiti Hasida , Syun Isizaki Dependency Propagation: A Unified Theory of Sentence Comprehension and Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Yuji Matsumoto , Ryôichi Sugimura A Parsing System Based on Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Paul S. Jacobs A Knowledge Framework for Natural Language Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Yiming Yang Combining Prediction, Syntactic Analysis and Semantic Analysis in Chinese Sentence Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Galina Datskovsky Moerdler , Kathleen McKeown , J. Robert Ensor Building Natural Language Interfaces for Rule-based Expert Systems. [Citation Graph (1, 0)][DBLP ] Conf ] John J. Granacki Jr. , Alice C. Parker , Yigal Arens Understanding System Specifications Written in Natural Language. [Citation Graph (0, 0)][DBLP ] Conf ] Tomasz Ksiezyk , Ralph Grishman , John Sterling An Equipment Model and its Role in the Interpretation of Noun Phrases. [Citation Graph (0, 0)][DBLP ] Conf ] Michael G. Dyer , Margot Flowers , Jack Hodges Naive Mechanics Comprehension and Invention in EDISON. [Citation Graph (0, 0)][DBLP ] Conf ] K. Valkonen , Harri Jäppinen , Aarno Lehtola Blackboard-based Dependency Parsing. [Citation Graph (0, 0)][DBLP ] Conf ] Ted Briscoe , Claire Grover , Branimir Boguraev , John Carroll A Formalism and Environment for the Development of a Large Grammar of English. [Citation Graph (1, 0)][DBLP ] Conf ] Jean-Louis Binot , Karen Jensen A Semantic Expert Using an Online Standard Dictionary. [Citation Graph (1, 0)][DBLP ] Conf ] Cheng-ming Guo Interactive Vocabulary Acquisition in XTRA. [Citation Graph (0, 0)][DBLP ] Conf ] Masaru Tomita , Jaime G. Carbonell The Universal Parser Architecture for Knowledge-based Machine Translation. [Citation Graph (0, 0)][DBLP ] Conf ] Hideto Tomabechi Direct Memory Access Translation. [Citation Graph (2, 0)][DBLP ] Conf ] Margaret M. Fleck Representing Space for Practical Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Gang Xu , Saburo Tsuji Recovering Surface Shape from Boundary. [Citation Graph (0, 0)][DBLP ] Conf ] Jitendra Malik Recovering Three Dimensional Shape from a Single Image of Curved Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Yiannis Aloimonos Combining Sources of Information in Vision I. Computing Shape from Shading and Motion. [Citation Graph (0, 0)][DBLP ] Conf ] Su-Shing Chen Image Reconstruction from Zero-Crossings. [Citation Graph (0, 0)][DBLP ] Conf ] Davi Geiger , Tomaso Poggio An Optimal Scale for Edge Detection. [Citation Graph (0, 0)][DBLP ] Conf ] Leonie S. Dreschler-Fischer , Frank Gnutzmann Feature Selection in Colour Images for Token Matching. [Citation Graph (0, 0)][DBLP ] Conf ] Ron Gershon , Allan D. Jepson , John K. Tsotsos The Use of Color in Highlight Identification. [Citation Graph (0, 0)][DBLP ] Conf ] Ron Gershon , Allan D. Jepson , John K. Tsotsos From [R, G, B] to Surface Reflectance: Computing Color Constant Descriptors in Images. [Citation Graph (0, 0)][DBLP ] Conf ] Glenn Healey , Thomas O. Binford Color Algorithms for a General Vision System. [Citation Graph (0, 0)][DBLP ] Conf ] J. Brian Burns , Leslie J. Kitchen Recognition in 2D Images of 3D Objects from Large Model Bases Using Prediction Hierarchies. [Citation Graph (0, 0)][DBLP ] Conf ] A. Peter Blicher A Shape Representation Based on Geometric Topology: Bumps, Gaussian Curvature, and the Topological Zodiac. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Leyton Process Recovery. [Citation Graph (0, 0)][DBLP ] Conf ] Giovanni Adorni , Lina Massone , Giulio Sandini , Maurizio Immovilli From Early Processing to Conceptual Reasoning: An Attempt to Fill the Gap. [Citation Graph (0, 0)][DBLP ] Conf ] Paul B. Chou , Christopher M. Brown Probabilistic Information Fusion for Multi-Modal Image Segmentation. [Citation Graph (0, 0)][DBLP ] Conf ] Yasuo Ariki , Masashi Morimoto , Toshiyuki Sakai Uncertainty Reduction Paradigm Using Structural Knowledge in Line-Drawing Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] Van-Duc Nguyen Exploiting 2D Topology in Labeling Polyhedral Images. [Citation Graph (0, 0)][DBLP ] Conf ] L. J. de Hass Automatic Programming of Machine Vision Systems. [Citation Graph (0, 0)][DBLP ] Conf ] James L. Crowley Coordination of Action and Perception in a Surveillance Robot. [Citation Graph (0, 0)][DBLP ] Conf ] Minoru Asada Determining Cylindrical Shape from Contour and Shading. [Citation Graph (0, 0)][DBLP ] Conf ] John R. Kender , David G. Freudenstein What is a `Degenerate' View? [Citation Graph (0, 0)][DBLP ] Conf ] Robert B. Fisher Model Invocation for Three Dimensional Scene Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] Nicholas Ayache , Olivier D. Faugeras Building a Consistent 3D Representation of a Mobile Robot Environment by Combining Multiple Stereo Views. [Citation Graph (0, 0)][DBLP ] Conf ] Charles A. Kohl , Allen R. Hanson , Edward M. Riseman A Goal-Directed Intermediate Level Executive for Image Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Anup Basu , Yiannis Aloimonos A Robust Algorithm for Determining the Translation of a Rigidly Moving Surface without Correspondence, for Robotics Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Wilhelm Burger , Bir Bhanu Qualitative Motion Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] John L. Barron , Allan D. Jepson , John K. Tsotsos Determination of Egomotion and Environmental Layout from Noisy Time-Varying Image Velocity in Binocular Image Sequences. [Citation Graph (0, 0)][DBLP ] Conf ] Nicholas Ayache , Francis Lustman Trinocular Stereovision: Recent Results. [Citation Graph (0, 0)][DBLP ] Conf ] Mark H. Singer Significant Feature Detection and Matching in Image Pairs. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen T. Barnard Stereo Matching by Hierarchical, Microcanonical Annealing. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph di Martino On Multi-Level Machines for Continuous Speech Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Renato de Mori , Ettore Merlo , Mathew J. Palakal , Jean Rouat Use of Procedural Knowledge for Automatic Speech Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Sargur N. Srihari , Radmilo M. Bozinovic A Multi-Level Perception Approach to Reading Cursive Script. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan J. Hull , Sargur N. Srihari Knowledge Utilization in Handwritten Zip Code Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond L. Watrous , Lokendra Shastri Learning Phonetic Features Using Connectionist Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Jan A. Mulder An Algorithm which Automatically Constructs Discrimination Graphs in a Visual Knowledge Base. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Dean Large-Scale Temporal Data Bases for Planning in Complex Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Leora Morgenstern Knowledge Preconditions for Actions and Plans. [Citation Graph (0, 0)][DBLP ] Conf ] Edmund H. Durfee , Victor R. Lesser Using Partial Global Plans to Coordinate Distributed Problem Solvers. [Citation Graph (2, 0)][DBLP ] Conf ] Michael P. Wellman Dominance and Subsumption in Constraint-Posting Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Piero P. Bonissone , Steven S. Gans , Keith Decker RUM: A Layered Architecture for Reasoning with Uncertainty. [Citation Graph (0, 0)][DBLP ] Conf ] Dimiter Driankov Reasoning with Consistent Probabilities. [Citation Graph (0, 0)][DBLP ] Conf ] Henry E. Kyburg Jr. Objective Probabilities. [Citation Graph (0, 0)][DBLP ] Conf ] David Poole Variables in Hypotheses. [Citation Graph (1, 0)][DBLP ] Conf ] Wlodek Zadrozny Intended Models, Circumscription and Commonsense Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Lincoln A. Wallen Matrix Proof Methods for Modal Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Enrique H. Ruspini Epistemic Logics, Probability, and the Calculus of Evidence. [Citation Graph (0, 0)][DBLP ] Conf ] Tamás Gergely , Zoltan Szabo Inductive Inference on the Base of Fixed Point Theory. [Citation Graph (0, 0)][DBLP ] Conf ] H. Guggenheimer , R. S. Freedman Foundations of Probabilistic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Jackson , Han Reichgelt A General Proof Method for First-Order Modal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Yang Tao , He Zhijun , Yu Ruizhao Performance Evaluation of the Inference Structure in Expert System. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Reinefeld , T. Anthony Marsland A Quantitative Analysis of Minimal Window Search. [Citation Graph (0, 0)][DBLP ] Conf ] K. S. Natarajan Optimizing Backtrack Search for all Solutions to Conjunctive Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel S. Weld Comparative Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Lifschitz Formal Theories of Action (Preliminary Report). [Citation Graph (0, 0)][DBLP ] Conf ] Allen L. Brown Jr. , Dale E. Gaucas , Dan Benanav An Algebraic Foundation for Truth Maintenance. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick J. Hayes , James F. Allen Short Time Periods. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Dubois , Jérôme Lang , Henri Prade Theorem Proving Under Uncertainty - A Possibility Theory-based Approach. [Citation Graph (2, 0)][DBLP ] Conf ] Murray Shanahan An Incremental Theorem Prover. [Citation Graph (0, 0)][DBLP ] Conf ] Jieh Hsiang , Michaël Rusinowitch , Kô Sakai Complete Inference Rules for the Cancellation Laws. [Citation Graph (0, 0)][DBLP ] Conf ] Michel de Rougemont Constructive Second-Order Proofs in Logical Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Tomasz Imielinski Domain Abstraction and Limited Reasoning. [Citation Graph (2, 0)][DBLP ] Conf ] Michael R. Lowry The Abstraction/Implementation Model of Problem Reformulation. [Citation Graph (1, 0)][DBLP ] Conf ] Josh D. Tenenberg Preserving Consistency Across Abstraction Mappings. [Citation Graph (0, 0)][DBLP ] Conf ] Robert A. Hummel , Larry M. Manevitz Combining Bodies of Dependent Information. [Citation Graph (0, 0)][DBLP ] Conf ] Keki B. Irani , Jie Cheng Subgoal Ordering and Goal Augmentation for Heuristic Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Luria Goal Conflict Concerns. [Citation Graph (1, 0)][DBLP ] Conf ] Anne Collinot , Claude Le Pape Controlling Constraint Propagation. [Citation Graph (0, 0)][DBLP ] Conf ] Can A. Baykan , Mark S. Fox An Investigation of Opportunistic Constraint Satisfaction in Space Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Marcel Schoppers Universal Plans for Reactive Robots in Unpredictable Environments. [Citation Graph (1, 0)][DBLP ] Conf ] Theodore A. Linden , Jay Glicksman Contingency Planning for an Autonomous Land Vehicle. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Sandewall The Pipelining Transformation on Plans for Manufacturing Cells with Robots. [Citation Graph (0, 0)][DBLP ] Conf ] Nicola Muscettola , Stephen F. Smith A Probabilistic Framework for Resource-Constrained Multi-Agent Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Marc G. Slack , David P. Miller Path Planning Through Time and Space in Dynamic Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Reid G. Simmons , Randall Davis Generate, Test and Debug: Combining Associational Rules and Causal Models. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin Kuipers , Charles Chiu Taming Intractible Branching in Qualitative Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Caloud Towards Continuous Process Supervision. [Citation Graph (1, 0)][DBLP ] Conf ] Jack Mostow , K. Voigt Explicit Integration of Goals in Heuristic Algorithm Design. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas M. Strat The Generation of Explanations within Evidential Reasoning Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hector Geffner , Judea Pearl An Improved Constraint-Propagation Algorithm for Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Dean Allemang , Michael C. Tanner , Tom Bylander , John R. Josephson Computational Complexity of Hypothesis Assembly. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Paul Laumond Finding Collision-Free Smooth Trajectories for a Non-Holonomic Mobile Robot. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan Connell Creature Design with the Subsumption Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Saburo Tsuji , Jiang Yu Zheng Visual Path Planning by a Mobile Robot. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard Faverjon , Pierre Tournassoud The Mixed Approach for Motion Planning: Learning Global Strategies from a Local Planner. [Citation Graph (0, 0)][DBLP ] Conf ] John Porrill , Stephen Pollard , Tony P. Pridmore , Jonathan B. Bowen , John E. W. Mayhew , John P. Frisby TINA: The Sheffeild AIVRU Vision System. [Citation Graph (0, 0)][DBLP ] Conf ] Bijan Arbab Object Identification from Parallel Light Stripes. [Citation Graph (0, 0)][DBLP ] Conf ] Gary Silverman , Roger Y. Tsai , Mark Lavin Locating Polyhedral Objects from Edge Point Data. [Citation Graph (0, 0)][DBLP ] Conf ] Thea Iberall Grasp Planning from Human Prehension. [Citation Graph (0, 0)][DBLP ] Conf ] Hugo Velthuijsen , Ben J. Lippolt , Jeanette C. Vonk A Parallel Blackboard System for Robot Control. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Bibel Parallel Inference Machines (Panel). [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Wahlster Pointing, Language and the Visual World: Towards Multimodal Input and Output for Natural Language Dialog Systems (Panel). [Citation Graph (0, 0)][DBLP ] Conf ] Bruce G. Johnson The Commercialization of AI: Part 1. The User Viewpoint (Panel). [Citation Graph (0, 0)][DBLP ] Conf ] Jan Aikins The Commercialization of AI: Part 3. The Technology Challenge (Panel). [Citation Graph (0, 0)][DBLP ] Conf ] Harry C. Reinstein The Commercialization of AI: Part 2. The Vendor Viewpoint (Panel). [Citation Graph (0, 0)][DBLP ] Conf ] Derek H. Sleeman Some Challenges for Intelligent Tutoring Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier D. Faugeras Artificial 3D Vision. [Citation Graph (0, 0)][DBLP ] Conf ] Gerald Gazdar The New Grammar Formalisms - A Tutorial Survey (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Douglas B. Lenat , Edward A. Feigenbaum On the Thresholds of Knowledge. [Citation Graph (2, 0)][DBLP ] Conf ] B. Chandrasekaran Towards a Functional Architecture for Intelligence Based on Generic Information Processing Tasks. [Citation Graph (1, 0)][DBLP ] Conf ] 