Conferences in DBLP
Alberto Martelli , Ugo Montanari Additive AND/OR Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Ira Pohl The Avoidance of (Relative) Catastrophe, Heuristic Competence, Genuine Dynamic Weighting and Computational Issues in Heuristic Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] T. B. Boffey Some Theoretical Results Concerning Automated Game-Playing. [Citation Graph (0, 0)][DBLP ] Conf ] Larry R. Harris The Bandwidth Heuristic Search. [Citation Graph (0, 0)][DBLP ] Conf ] Jack Minker , Daniel H. Fishman , James R. McSkimin The Q* Algorithm - A Search Strategy for a Deduclive Question-Answering System. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond Reiter A Semantically Guided Deductive System for Automatic Theorem-Proving. [Citation Graph (0, 0)][DBLP ] Conf ] David Gelperin Deletion-Directed Search in Resolution-Dased Proof Procedures. [Citation Graph (0, 0)][DBLP ] Conf ] George W. Ernst A Definition-Driven Theorem Prover. [Citation Graph (0, 0)][DBLP ] Conf ] W. W. Bledsoe , Peter Bruell A Man-Machine Theorem-Proving System. [Citation Graph (0, 0)][DBLP ] Conf ] Bruce G. Buchanan , N. S. Sridharan Analysis of Behavior of Chemical Molecules: Rule Formation on Non-Homogeneous Classes of Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Hans J. Berliner Some Necessary Conditions for a Master Chess Program. [Citation Graph (0, 0)][DBLP ] Conf ] Elliot B. Koffman , Sumner E. Blount Artificial Intelligence and Automatic Programming in CAI. [Citation Graph (0, 0)][DBLP ] Conf ] N. S. Sridharan Search Strategies for the Task of Organic Chemical Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] Oscar Firschein , Martin A. Fischler , L. Stephen Coles , Jay M. Tenenbaum Forecasting and Assessing the Impact of Artificial Intelligence on Society. [Citation Graph (0, 0)][DBLP ] Conf ] John Seely Brown Steps Toward Automatic Theory Formation. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Bundy Doing Arithmetic with Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard P. Huet A Mechanization of Type Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Harry E. Pople On the Mechanization of Abductive Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Donald W. Loveland , Mark E. Stickel A Hole in Goal Trees: Some Guidance from Resolution Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Ryszard S. Michalski Discovering Classification Rules Using variable-Valued Logic System VL_1. [Citation Graph (0, 0)][DBLP ] Conf ] Charles C. Tappert , N. R. Dixon A Procedure for Adaptive Control of the Interaction Between Acoustic Classification and Linguistic Decoding in Automatic Recognition of Continuous Speech. [Citation Graph (0, 0)][DBLP ] Conf ] D. R. Reddy , Lee D. Erman , R. D. Fenneli , Richard B. Neely The Hearsay Speech Understanding System: An Example of the Recognition Process. [Citation Graph (0, 0)][DBLP ] Conf ] Lee D. Erman , R. D. Fenneli , Victor R. Lesser , D. R. Reddy System Organizations for Speech Understanding: Implications of Network and Multiprocessor Computer Architecture for AI. [Citation Graph (0, 0)][DBLP ] Conf ] William A. Woods , John Makhoul Mechanical Inference Prohlems in Continuous Speech Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] Donald E. Walker Speech Understanding Through Syntactic and Semantic Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] William H. Paxton , Ann E. Robinson A Parser for a Speech Understanding System. [Citation Graph (0, 0)][DBLP ] Conf ] Robert C. Moore D-SCRlPT: A Computational Theory of Descriptions. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Sandewall Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Carl Hewitt , Peter Bishop , Richard Steiger A Universal Modular ACTOR Formalism for Artificial Intelligence. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel G. Bobrow A Model for Control Structures for Artificial Intelligence Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Roger C. Schank , Neil M. Goldman , Charles J. Rieger III , Christopher Riesbeck MARGIE: Memory Analysis Response Generation, and Inference on English. [Citation Graph (0, 0)][DBLP ] Conf ] Gary G. Hendrix , C. W. Thompson , Jonathan Slocum Language Processing Via Canonical Verbs and Semantic Models. [Citation Graph (0, 0)][DBLP ] Conf ] Yorick Wilks Understanding Without Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Horace Enea , Kenneth Mark Colby Idiolectic Language-Analysis for Understanding Doctor-Patient Dialogues. [Citation Graph (0, 0)][DBLP ] Conf ] Makoto Nagao , Jun-ichi Tsujii Mechanism of Deduction in a Question-Answering System with Natural Language Inputd. [Citation Graph (0, 0)][DBLP ] Conf ] Boris M. Dobrotin , Victor D. Scheinman Design of a Computer Controlled Manipulator for Robot Research. [Citation Graph (0, 0)][DBLP ] Conf ] A. P. Ambler , Harry G. Barrow , Christopher M. Brown , Rod M. Burstall , Robin J. Popplestone A Versatile Computer-Controlled Assembly System. [Citation Graph (0, 0)][DBLP ] Conf ] Richard A. Lewis , Antal K. Bejczy Planning Considerations for a Roving Robot with Arm. [Citation Graph (0, 0)][DBLP ] Conf ] D. E. Okhotsimsky , A. K. Platonov Control Algorithm of the Walker Climbing Over Obstacles. [Citation Graph (0, 0)][DBLP ] Conf ] Michael H. Smith , L. Stephen Coles Design of a Low Cost, General Purpose Robot. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene Charniak Jack and Janet in Search of a Theory of Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] James R. Carbonell , Allan M. Collins Natural Semantics in Artificial Intelligence. [Citation Graph (0, 0)][DBLP ] Conf ] Aravind K. Joshi , Ralph M. Weischedel Some Frills for the Modal Tic-Tac-Toe of Davies and Isard: Semantics of Predicate Complement Constructions. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth Biss , Robert T. Chien , Fred Stahl , Steven J. Weissman Semantic Modeling for Deductive Question-Answering. [Citation Graph (0, 0)][DBLP ] Conf ] Bertram C. Bruce Case Structure Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Vaughan R. Pratt A Linguistics Oriented Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Siklóssy , John W. Roach Proving the Impossible is Impossible is Possible: Disproofs Based on Hereditary Partitions. [Citation Graph (0, 0)][DBLP ] Conf ] Tadashi Nagata , Masato Yamazaki , Michiharu Tsukamoto Robot Planning System Based on Problem Solvers. [Citation Graph (0, 0)][DBLP ] Conf ] Leonard Uhr DECIDER-l: A System that Chooses Among Different Types of Acts. [Citation Graph (0, 0)][DBLP ] Conf ] Walter Jacobs , Maxine Kiefer Robot Decisions Based on Maximizing Utility. [Citation Graph (0, 0)][DBLP ] Conf ] Earl D. Sacerdoti Planning in a Hierarchy of Abstraction Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Siklóssy , J. Dreussi An Efficient Robot Planner which Generates Its Own Procedures. [Citation Graph (0, 0)][DBLP ] Conf ] Donald A. Waterman , Allen Newell PAS-II: An Interactive Task-Free Version of an Automatic Protocol Analysis System. [Citation Graph (0, 0)][DBLP ] Conf ] George R. Kiss Outlines of a Computer Model of Motivation. [Citation Graph (0, 0)][DBLP ] Conf ] David E. Rumelhart , Donald A. Norman Active Semantic Networks as a Model of Human Memory. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Eisenstadt , Yaakov Kareev Toward a Model of Human Game Playing. [Citation Graph (0, 0)][DBLP ] Conf ] Charles F. Schmidt , John D'Addamio A Model of the Common-Sense Theory of Intention and Personal Causation. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas P. Moran The Symbolic Nature of Visual Imagery. [Citation Graph (0, 0)][DBLP ] Conf ] John Darlington , Rod M. Burstall A System which Automatically Improves Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Robert S. Boyer , J. Strother Moore Proving Theorems about LISP Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Balzer A Gobal View of Automatic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Shmuel Katz , Zohar Manna A Heuristic Approach to Program Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Lenhart K. Schubert Iterated Limiting Recursion and the Program Minimization Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Ben Wegbreit Heuristic Methods for Mechanically Deriving Inductive Assertions. [Citation Graph (0, 0)][DBLP ] Conf ] Jared L. Darlington Automatic Program Synthesis in Second-Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Frank O'Gorman , M. B. Clowes Finding Picture Edges through Collinearity of Feature Points. [Citation Graph (0, 0)][DBLP ] Conf ] Alan K. Mackworth Interpreting Pictures of Polyhedral Scenes. [Citation Graph (0, 0)][DBLP ] Conf ] Fumiaki Tomita , Masahiko Yachida , Saburo Tsuji Detection of Homogeneous Regions by Structural Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Ruzena Bajcsy Computer Description of Textured Surfaces. [Citation Graph (0, 0)][DBLP ] Conf ] Yoram Yakimovsky , Jerome A. Feldman A Semantics-Based Decision Theory Region Analyser. [Citation Graph (0, 0)][DBLP ] Conf ] Gregory Dean Gibbons POPS: An Application of Heuristic Search Methods to the Processing of a Nondeterministic Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Balzer CASAP: A Testbed for Program Flexibility. [Citation Graph (0, 0)][DBLP ] Conf ] Stewart N. T. Shen , Edward R. Jones A Number Theory Approach to Problem Representation and Solution. [Citation Graph (0, 0)][DBLP ] Conf ] V. L. Stefanuk On a Local Approach to Representation in Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Chitoor V. Srinivasan The Architecture of Coherent Information System: A General Problem Solving System. [Citation Graph (0, 0)][DBLP ] Conf ] Gerald J. Agin , Thomas O. Binford Computer Description of Curved Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Ramakant Nevatia , Thomas O. Binford Structured Descriptions of Complex Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Irwin Sobel On Calibrating Computer Controlled Cameras for Perceiving 3-D Scenes. [Citation Graph (0, 0)][DBLP ] Conf ] Richard L. Didday Thoughts About a Visually Guided Grasp Reflex. [Citation Graph (0, 0)][DBLP ] Conf ] Gen-ichiro Kinoshita , Shuhei Aida , Masahiro Mori Pattern Classification of the Grasped Object by the Artificial Hand. [Citation Graph (0, 0)][DBLP ] Conf ] Lawrence G. Tesler , Horace Enea , David Canfield Smith The LISP7O Pattern Matching System. [Citation Graph (0, 0)][DBLP ] Conf ] David Canfield Smith , Horace Enea Backtracking in MLISP2: an efficient backtracking method for LISP. [Citation Graph (0, 0)][DBLP ] Conf ] Warren Teitelman CLISP - Conversational LISP. [Citation Graph (0, 0)][DBLP ] Conf ] John Mylopoulos , Norman I. Badler , L. Melli , Nick Roussopoulos l.Pak: A SNOBOL-Dased Programming Language for Artificial Intelligence Applications. [Citation Graph (0, 0)][DBLP ] Conf ] L. Peter Deutsch A LISP Machine with Very Compact Programs. [Citation Graph (0, 0)][DBLP ] Conf ] 