Conferences in DBLP
Yuichiro Anzai How to Learn Strategies: Processes and Representation of Strategy Acquisition. [Citation Graph (0, 0)][DBLP ] Conf ] David R. Barstow Experience with a Refinement Paradigm in a Knowledge-Based Automatic Programming System. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Bibel On Strategies for the Systhesis of Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] F. Birch A (self-adapting) Network for Recognition of Visual Structures. [Citation Graph (0, 0)][DBLP ] Conf ] H. P. Böhm , Hans Ludwig Fischer , Peter Raulefs Dialogues in Actor Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Harold Boley The Fit Approach to AI Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Brady Dangerous Behaviour. [Citation Graph (0, 0)][DBLP ] Conf ] Pavel Brazdil Experimental Learning Model. [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Brooks Understanding the Image Forming Process. [Citation Graph (0, 0)][DBLP ] Conf ] Frank M. Brown A Sequent Calculus for Modal Quantificational Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Frank M. Brown , Camilla Schwind Analysing and Representing Natural Language in Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Bundy , George F. Luger , Chris Mellish , Martha Stone Palmer Knowledge about Knowledge: Making Decisions in Mechanics Probleme Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Dennis de Champeaux A Theorem Prover Dating a Semantic Network. [Citation Graph (0, 0)][DBLP ] Conf ] W. F. Clocksin Determinig the Orientation of Surfaces from Optical Flow. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph F. Eick , Peter Raulefs Problem Solving by Hyper Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Norbert Eisinger , Jörg H. Siekmann , Graham Wrightson Paramodulated Connection Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Goossens A System for Visual-like Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] Giovanni Guida , Marco Somalvico A Method for Computing Heuristics in Problem-Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Walther von Hahn , Wolfgang Hoeppner , Anthony Jameson , Wolfgang Wahlster HAM-RPM: Natural Dialogues with an Artificial Partner. [Citation Graph (0, 0)][DBLP ] Conf ] F. Keith Hanna , W. T. Harwood A Multiprocessor System for Knowledge Representation and Manipulation. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher J. Hogger Program Synthesis in Predicate Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Berthold K. P. Horn Vision. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth M. Kahn Ani: An Example of Computational Creativity. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Kodratoff , Jean Fargues A sane Algorithme for the Synthesis of LISP Functions from Example Problems: The ``Boyer and Moore Algorithm''. [Citation Graph (0, 0)][DBLP ] Conf ] David C. Luckham , Jorge J. Morales , Joachim F. Schreiber A Study in the Application of Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] László Méro A Quasi-Parallel Contour Following Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Donald Michie , Ivan Bratko Advice Table Representations of Chess End-Game Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Renato de Mori , Pietro Laface Representation of Phonetic and Phonemic Knowledge in a Speech Understanding System. [Citation Graph (0, 0)][DBLP ] Conf ] Drew V. McDermott The Last Survey of Representation of Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Neumann Best-First Interpretation of Imperfect Object Contours. [Citation Graph (0, 0)][DBLP ] Conf ] Tim O'Shea , Richard M. Young A Production Rule Account of Errors in Children's Subtraction. [Citation Graph (0, 0)][DBLP ] Conf ] Derek Partridge A Philosophy of ``Wicked'' Problem Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Dominique Pastre A Humanlike Approach for Automatic Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Brian Phillips A Network representation for Procedural Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] K. Prazdny A Computational Study of a Period of Infant Development. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Radig Parametrized Region Extraction for the Description of Moving Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Graeme D. Ritchie Predictions and Procedures in Semantically-Based Grammar. [Citation Graph (0, 0)][DBLP ] Conf ] Mike Rosner What's in a Social Action for U? [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Sabah A Conversational System which Understands Short Stories. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Sandewall What Structure does a LISP Program have - besides being a set of Procedures? [Citation Graph (0, 0)][DBLP ] Conf ] Camilla Schwind Representing Actions by State Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Aaron Sloman , David Owen , Geoffrey E. Hinton , Frank Birch , Frank O'Gorman Representation and Control in Vision. [Citation Graph (0, 0)][DBLP ] Conf ] N. S. Sridharan , D. Smith Design for a Plan Hypothesizer. [Citation Graph (0, 0)][DBLP ] Conf ] Luc Steels The Frame Shift Mechanism in Natural Language. [Citation Graph (0, 0)][DBLP ] Conf ] Olga Stepánková Planning in Uncertain Environments through Situation Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Stephan , Jörg H. Siekmann Completeness and Soundness of the Connection Graph Proof. [Citation Graph (0, 0)][DBLP ] Conf ] P. L. Suzman Common-Sense Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Leonard Uhr , Manfred Kochen Toward a greater Generality in Artificial Intelligence. [Citation Graph (0, 0)][DBLP ] Conf ] Bob J. Wielinga AI Programming Methodology. [Citation Graph (0, 0)][DBLP ] Conf ] J. Gerard Wolff Grammar Discovery as Data Compression. [Citation Graph (0, 0)][DBLP ] Conf ] 