Conferences in DBLP
Robin Boswell Analytic Goal Regression: Problems, Solutions and Enhancements. [Citation Graph (0, 0)][DBLP ] Conf ] Wray L. Buntine Generalised Subsumption and its Applications to Induction and Redundancy. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Lebowitz UNIMEM, a General Learning System: An Overview. [Citation Graph (0, 0)][DBLP ] Conf ] Walter Van de Velde Explainable Knowledge Production. [Citation Graph (0, 0)][DBLP ] Conf ] Maarten van Someren Knowledge Based Learning: Reducing the Description Space for Rule Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Catherine Granger Fuzzy Reasoning in a Knowledge-Based System for Object Classification. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen Owen Heuristics for Analogy Matching. [Citation Graph (0, 0)][DBLP ] Conf ] Lisa F. Rau Generalization-Based Retrieval. [Citation Graph (0, 0)][DBLP ] Conf ] Ken Wellsch , Marlene Jones Computational Analogy. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Emde Big Flood in the Blocks World or Non-Cumulative Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth W. Haase Jr. Discovery Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Wouter N. H. Jansweijer , J. J. Elshout , Bob J. Wielinga The Expertise of Novice Problem Solvers. [Citation Graph (0, 0)][DBLP ] Conf ] Viviane Jonckers Exploring Algorithms through Mutations. [Citation Graph (0, 0)][DBLP ] Conf ] Robert W. Lawler Co-Adaptation and the Development of Cognitive Structures. [Citation Graph (0, 0)][DBLP ] Conf ] John A. Barnden Interpreting Propositional Attitude Reports: Towards Greater Freedom and Control. [Citation Graph (0, 0)][DBLP ] Conf ] Witold Lukaszewicz Minimization of Abnormality: A Simple System for Default Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Yoav Shoham Reified Temporal Logics: Semantical and Ontological Considerations. [Citation Graph (0, 0)][DBLP ] Conf ] Aaron Sloman Reference without Causal Links. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe Attardi Concurrent Strategy Execution in OMEGA. [Citation Graph (0, 0)][DBLP ] Conf ] Ch. Benoit , Yves Caseau , Ch. Pherivong Knowledge Representation and Communication Mechanisms in LORE. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Pierre Briot , Pierre Cointe The OBJVLISP Model: Definition of a Uniform, Reflexive and Extensible Object Oriented Language. [Citation Graph (0, 0)][DBLP ] Conf ] Hervé Kauffmann , Alain Grumbach MULTILOG: Multiple Words in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Pattie Maes Introspection in Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Kris Van Marcke A Parallel Algorithm for Consistency Maintenance in Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe Attardi , Andrea Corradini , S. Diomedi , Maria Simi Taxonomic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Susanne Biundo A Synthesis System Mechanizing Proofs by Induction. [Citation Graph (0, 0)][DBLP ] Conf ] Béatrice Duval , Yves Kodratoff Automated Deduction in an Uncertain and Inconsistent Data Basis. [Citation Graph (0, 0)][DBLP ] Conf ] Christine Froidevaux Taxonomic Default Theory. [Citation Graph (0, 0)][DBLP ] Conf ] John P. Gallagher Transforming Logic Programs by Specialising Interpreters. [Citation Graph (0, 0)][DBLP ] Conf ] D. Goossens Automatic Node Recognition in a Partitioning Graph: Restricting the Search Space While Preserving Completeness. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew M. Huntbach Program Synthesis by Inductive Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Jacquet , Marie-Laure Potet Program Synthesis = Proof Method + Knowledge (Example about Recursive Function Synthesis). [Citation Graph (0, 0)][DBLP ] Conf ] Judea Pearl , Azaria Paz Graphoids: Graph-Based Logic for Reasoning about Relevance Relations or When would x tell you more about y if you already know z? [Citation Graph (0, 0)][DBLP ] Conf ] Jörg H. Siekmann Unification Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Geert Adriaens WEP (Word Expert Parsing) Revised and Applied to Dutch. [Citation Graph (0, 0)][DBLP ] Conf ] Udo Hahn A Generalized Word Expert Model of Lexically Distributed Text Parsing. [Citation Graph (0, 0)][DBLP ] Conf ] Paul S. Jacobs The KING Natural Language Generator. [Citation Graph (1, 0)][DBLP ] Conf ] Margaret King The Prospect of Machine Translation. [Citation Graph (0, 0)][DBLP ] Conf ] Oliviero Stock Dynamic Unification in Lexically Based Parsing. [Citation Graph (0, 0)][DBLP ] Conf ] Stig K. Andersen , Steen Andreassen , Marianne Woldbye Knowledge Representations for Diagnosis and Test Planning in the Domain of Electromyography. [Citation Graph (0, 0)][DBLP ] Conf ] W. F. Clocksin , A. J. Morgan Qualitative Control. [Citation Graph (0, 0)][DBLP ] Conf ] Massimo Gallanti , Luca Gilardoni , Giovanni Guida , Alberto Stefanini Exploiting Physical and Design Knowledge in the Diagnosis of Complex Industrial Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Bob J. Wielinga , J. A. Breuker Models of Expertise. [Citation Graph (0, 0)][DBLP ] Conf ] Robert P. Worden , M. H. Foote , J. A. Knight , Stig K. Andersen Co-Operative Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Paul R. Cohen Numeric and Symbolic Reasoning in Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Philip J. Hayes Steps towards Integrating Natural Language and Graphical Interaction for Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] John Jones , Mark Millington , Peter Ross A Blackboard Shell in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Bonnie A. Nardi , E. Anne Paulson Multiple Worlds with Truth Maintenance in AI Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Paul Sansonnet The Machine for Artificial Intelligence Applications: MAIA. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Blake , Andrew Zisserman , A. V. Papoulias Weak Continuity Constraints Generate Uniform Scale-Space Descriptions of Plane Curves. [Citation Graph (0, 0)][DBLP ] Conf ] Hilary Buxton , Nick Williams Applications of a Fast Parallel Algorithm for the Extraction and Interpretation of Optical Flow. [Citation Graph (0, 0)][DBLP ] Conf ] Radu Horaud Combining Image and Spatial Reasoning for Model Retrieval. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Laugier , P. Theveneau Planning Sensor-Based Motions for Part-Mating Using Geometric Reasoning Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Lina Massone , Pietro Morasso Analogical and Propositional Knowledge in Intelligent Path Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Edward P. K. Tsang Plan Generation in a Temporal Frame. [Citation Graph (0, 0)][DBLP ] Conf ] David E. Wilkins Hierarchical Planning: Definition and Implementation. [Citation Graph (1, 0)][DBLP ] Conf ] Clive Sinclair The Why and When of Artificial Intelligence. [Citation Graph (0, 0)][DBLP ] Conf ] 