Conferences in DBLP
Mario Aiello , Richard W. Weyhrauch Checking Proofs in the Metamathematics of First Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Hajnal Andréka , Tamás Gergely , István Németi On the Role of Mathematical Language Concept in the Theory of Intelligent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] W. W. Bledsoe A New Mehtod for Proving Certain Presburger Formules. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Bundy Analysing Mathematical Proofs (Or Reading Between the Lines). [Citation Graph (0, 0)][DBLP ] Conf ] P. Florath On Methods To Decide Solvability of Transformation Problems. [Citation Graph (0, 0)][DBLP ] Conf ] J. Geiser Commenting Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] T. Gorgely , Hajnal Andréka , István Németi Definition Theory as Basis for a Creative Problem Solver. [Citation Graph (0, 0)][DBLP ] Conf ] Lawrence J. Henschen Semantic Resolution for Horn Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Ivan Kramosil A Note on Deduction Rules with Negative Premises. [Citation Graph (0, 0)][DBLP ] Conf ] T. Nishimura , M. Nakanishi , M. Nogeta , Y. Iwamaru Gentzen-Type Formel System Representing Properties of Function and its Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] D. Poepolov Semiotic Models in Artificial Intelligence Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Mark E. Stickel A Complete Unification Algorithm for Associative-Commutative Functions. [Citation Graph (0, 0)][DBLP ] Conf ] J. van Vaalen An Extension of Unification to Substitution with an Application to Automatic Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Nick Cercone , Lenhart K. Schubert Toward a State Based Conceptual Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene Charniak A Partial Taxonomy of Knowledge about Actions. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Fikes Deductive Retrieval Mechanisms for State Description Models. [Citation Graph (0, 0)][DBLP ] Conf ] L. Hawkinson The Representation of Concepts in OWL. [Citation Graph (0, 0)][DBLP ] Conf ] Gary G. Hendrix Expanding the Utility of Semantic Networks Through Partitioning. [Citation Graph (1, 0)][DBLP ] Conf ] Joachim Laubsch Some Thoughts about Representing Knowledge in Instructional Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas B. Lenat BEINGS: Knowledge as Interacting Experts. [Citation Graph (0, 0)][DBLP ] Conf ] John Mylopoulos , P. Cohen , Alexander Borgida , L. Sugar Semantic Networks and the Generation of Context. [Citation Graph (0, 0)][DBLP ] Conf ] Charles J. Rieger III Conceptual Overlays: A Mechanism for the Interpretation of Sentence Meaning in Context. [Citation Graph (0, 0)][DBLP ] Conf ] R. Schenk , Robert P. Abelson Scripts, Plans and Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Lenhart K. Schubert Extending The Expressive Power Of Semantic Networks. [Citation Graph (0, 0)][DBLP ] Conf ] M. Weinzweig Association Memory Model Using The Notion Of "Importance". [Citation Graph (0, 0)][DBLP ] Conf ] Robert T. Chien , Steven J. Weissman Planning And Execution in Incompletely Specified Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Ira P. Goldstein Bargaining Between Goals. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick J. Hayes A Representation For Robot Plans. [Citation Graph (0, 0)][DBLP ] Conf ] Carl Hewitt How To Use What You Know. [Citation Graph (0, 0)][DBLP ] Conf ] E. Kuzin , G. Pozdnyak , I. Fominykh Planning The Activity Of Robot With Artificial Intelligence. [Citation Graph (0, 0)][DBLP ] Conf ] Earl D. Sacerdoti The Nonlinear Nature of Plans. [Citation Graph (0, 0)][DBLP ] Conf ] Austin Tate Interacting Goals And Their Use. [Citation Graph (0, 0)][DBLP ] Conf ] Nikolay G. Zagoruiko Empirical Prediction Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] V. Akhutin , M. Ioffe , G. Kotler , A. Rats Application of Methods of Adaptive Learning to the Problem of Automatic Decision Making Under Conditions of a Priori Uncertainty. [Citation Graph (0, 0)][DBLP ] Conf ] M. Bauer A Basis For The Acquisition Of Procedures From Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] C. Cordell Green , David R. Barstow Some Rules For The Automatic Synthesis Of Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Hardy Synthesis Of LISP Functions From Examples. [Citation Graph (0, 0)][DBLP ] Conf ] Frederick Hayes-Roth , D. Moslow An Automatically Compilable Recognition Network For Structured Patterns. [Citation Graph (0, 0)][DBLP ] Conf ] J. Knapman Some Principles Of Artificial Learning That Have Emerged From Examples. [Citation Graph (0, 0)][DBLP ] Conf ] D. Shaw , W. Wartout , C. Green Inferring LISP Programs From Examples. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Siklóssy , D. Sykas Automatic Program Synthesis from Example Problems. [Citation Graph (0, 0)][DBLP ] Conf ] R. Solomonott Inductive Inference Theory - A Unified Approach to Problems in Pattern Recognition and Artificial Intelligence. [Citation Graph (0, 0)][DBLP ] Conf ] S. Vera Induction of Concepts in the Predicate Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Richard J. Waldinger , Zohar Manna Knowledge and Reasoning in Program Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] Donald A. Waterman Adaptive Production Systems. [Citation Graph (0, 0)][DBLP ] Conf ] G. M. Adelson-Velskiy , V. L. Arlazarov , M. V. Donskoy On the Structure Of An Important Class Of Exhaustive Problems And On Ways Of Search Reduction For Them. [Citation Graph (0, 0)][DBLP ] Conf ] Dennis de Champeaux , Lenie Sint An Improved Di-Directional Heuristic Search Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Teiji Furugori Knowledge And Its Use In A Program For Going From One Place To Another. [Citation Graph (0, 0)][DBLP ] Conf ] M. Goeze-Rapopori , V. Zekharov , D. Pospelov The Influence Of Nonuniformity in The Models Of Automate Collective Behaviour. [Citation Graph (0, 0)][DBLP ] Conf ] H. Hagendori , W. Kolbe , E. Sommerfeld About The Solution Of Combinatorical Problems With Problem Solving Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Larry R. Harris The Heuristic Search And The Game Of Chess - A Study Of Quiescene, Sacrifices, And Plan Oriented Play. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Levi , Franco Sirovich A Problem Reduction Model for Non-Independent Subproblems. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Martelli , Ugo Montanari Form Dynamic Programming To Search Algorithms With Functional Costs. [Citation Graph (0, 0)][DBLP ] Conf ] Charles G. Morgan Automated Hypothesis Generation Using Extended Inductive Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] V. Ozernoi , M. Gaft Method For The Best Solutions Search in Multiobjective Decision Problems. [Citation Graph (0, 0)][DBLP ] Conf ] J. Ross Quinlan Predicting The Length Of Solutions To Problems. [Citation Graph (0, 0)][DBLP ] Conf ] L. Rastrigin , R. Erenshtein A Collective Of Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] A. M. Stanier BRIBIP: A Bridge Bidding Program. [Citation Graph (0, 0)][DBLP ] Conf ] J. Bian Toward A Multiple Environments Model Of Natural Language. [Citation Graph (0, 0)][DBLP ] Conf ] C. Bullwinkle Picnics, Kittens And Wigs: Using Scenarios For The Sentence Competition Task. [Citation Graph (0, 0)][DBLP ] Conf ] A. Ershov , A. Nariniany , I. Mel'chuk RITA - An Experimental Man-Computer System On A Natural Language Basis. [Citation Graph (0, 0)][DBLP ] Conf ] R. Hart , Elliot B. Koffman A Student-Oriented Natural Language Environment For Learning LISP. [Citation Graph (0, 0)][DBLP ] Conf ] Michael G. Malkovsky TULIPS - Teachable, Understanding Natural Language Input Problem-Solver. [Citation Graph (0, 0)][DBLP ] Conf ] D. McDonald Preliminary Report On A Program For Generating Natural Langugage. [Citation Graph (0, 0)][DBLP ] Conf ] Perry Lowell Miller An Adaptive Natural Language System That Listens, Asks, And Learns. [Citation Graph (0, 0)][DBLP ] Conf ] John Mylopoulos TORUS - A Natural Language Understanding System For Data Management. [Citation Graph (0, 0)][DBLP ] Conf ] V. Prati LINGOL-A Progress Report. [Citation Graph (0, 0)][DBLP ] Conf ] Camilla Schwind Generating Hierarchical Semantic Networks Froma Natural Language Discourse. [Citation Graph (0, 0)][DBLP ] Conf ] G. Scragg Answering Process Questions. [Citation Graph (0, 0)][DBLP ] Conf ] Petr Sgall , Eva Hajicová Negation And Focus in Man - Machine Communication. [Citation Graph (0, 0)][DBLP ] Conf ] S. Yoshida On The System Of Concepts Relations And Outline Of The Natural Language System. [Citation Graph (0, 0)][DBLP ] Conf ] J. Allen A Speech Understanding System Based Upon A Co-Routine Parser. [Citation Graph (0, 0)][DBLP ] Conf ] Bertram C. Bruce Pragmatics In Speech Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] Renato de Mori , Silvano Rivoira , Angelo Serra A Speech Understanding System With Learning Capability. [Citation Graph (0, 0)][DBLP ] Conf ] A. Dziurnikowski Microphonemes As Fundamental Segments Of Speech Wave Primary Segmentation - Automatic Searching For Microphonemes. [Citation Graph (0, 0)][DBLP ] Conf ] Lee D. Erman , Victor R. Lesser A Multi-Level Organization For Problem Solving Using Many, Diverse, Cooperating Sources Of Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] W. Hoss Time-Domain, Digital Segmentation Of Connected Natural Speech. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen E. Levinson The Vocal Speech Understanding System. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshiaki Shirai Feature Extraction And Sentence Recognition Algorithm In Speech Input System. [Citation Graph (0, 0)][DBLP ] Conf ] V. Briebrin , V. Serebriekov , V. Yufa LORD: LISP-Oriented Resolver And Data Base. [Citation Graph (0, 0)][DBLP ] Conf ] R. Gerrilsan The Application Of Artificial Intelligence Of Data Base Management. [Citation Graph (0, 0)][DBLP ] Conf ] William D. Haseman , Andrew B. Whinston Problem Solving Approach In Data Management. [Citation Graph (0, 0)][DBLP ] Conf ] A. Hill , H. Townsend Deadlock-Free Parallel Processing. [Citation Graph (0, 0)][DBLP ] Conf ] V. Lozovsky Some Considerations Concerning The Problem Base Of Purposeful Systems. [Citation Graph (0, 0)][DBLP ] Conf ] P. Madama A Control Structure For A Question-Answering System. [Citation Graph (0, 0)][DBLP ] Conf ] L. Melli The 2 PAK Language: Goals And Descriptions. [Citation Graph (0, 0)][DBLP ] Conf ] Carlo Montangero , Giuliano Pacini , Franco Turini MAGMA-LISP: A "Machine Language" For Artificial Intelligence. [Citation Graph (0, 0)][DBLP ] Conf ] Judea Pearl On The Storage Economy Of Error-Tolerating Question-Answering Systems. [Citation Graph (0, 0)][DBLP ] Conf ] G. Pfinter The Description And Control Of Changing Pictures.. [Citation Graph (0, 0)][DBLP ] Conf ] V. Pilshikov Planner-BESM-6 Systems Implementation Methods. [Citation Graph (0, 0)][DBLP ] Conf ] J. Quinton , A. Andrew A Database For A.I.. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Sandewall Ideas About Management Of LISP Data Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas R. Skuce An English-Like Language For Qualitative Scientific Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Sten-Åke Tärnlund An Interpreter For The Programming Languages Predicate Logic. [Citation Graph (0, 0)][DBLP ] Conf ] M. Weinstein Structured Robotics. [Citation Graph (0, 0)][DBLP ] Conf ] M. Dunlavay An Hypothesis-Driven Vision System. [Citation Graph (0, 0)][DBLP ] Conf ] M. Ejirl , H. Yode , J. Motolke Direction Coding Method And Its Application To Scene Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] V. Gallo A Program For Geometrical Pattern Recognition Based On The Linguistic Method Of The Description And Analysis Of Geometrical Structures. [Citation Graph (0, 0)][DBLP ] Conf ] T. Ito Color Picture Processing By Computer. [Citation Graph (0, 0)][DBLP ] Conf ] V. Krol , L. Tannenholz The Textural Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] O. Levashov On A Possible Mechanism Of Binocular Fusion. [Citation Graph (0, 0)][DBLP ] Conf ] László Méro , Z. Vassy A Simplified And Fast Version Of The Huockel Operator For Finding Optimal Edges in Pictures. [Citation Graph (0, 0)][DBLP ] Conf ] Edward L. Morofsky , Andrew K. C. Wong Isolating And Identifying Objects In Line Drawings. [Citation Graph (0, 0)][DBLP ] Conf ] Robin J. Popplestone , Christopher M. Brown , A. P. Ambler , G. Crawford Forming Models Of Plane-And-Cylinder Faceled Bodies From Light Stripes. [Citation Graph (0, 0)][DBLP ] Conf ] F. Roecker , A. Kiessling Methods For Analyzing Three Dimensional Scenes. [Citation Graph (0, 0)][DBLP ] Conf ] Y. Shirai Edge Finding, Segmentation Of Edges And Recognition Of Complex Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Jay M. Tenenbaum , S. Weyl A Region-Analysis Subsystem For Interactive Scene Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Harry Wechsler , Jack Sklansky Automatic Detection Of Rib Contours in Chest Radiographs. [Citation Graph (0, 0)][DBLP ] Conf ] Yoram Yakimovsky Boundary And Object Detection In Real World Images. [Citation Graph (0, 0)][DBLP ] Conf ] M. Yagl , N. Zavalishin , R. Shelnin Analysis Of Three-Dimensional Scene Images On The Knowledge Of Their Texture Features. [Citation Graph (0, 0)][DBLP ] Conf ] N. Zavalishin Identification Of Bodies in A Contour Image Of A Three-Dimensional Scene. [Citation Graph (0, 0)][DBLP ] Conf ] Steven W. Zucker , Azriel Rosenfeld , Larry S. Davis General Purpose Models: Expectations About The Unexpected. [Citation Graph (0, 0)][DBLP ] Conf ] N. Amosov , A. Kasatkin , L. Kasatkina Active Semantic Networks In Robots With Independant Control. [Citation Graph (0, 0)][DBLP ] Conf ] N. Amosov , E. Kussul , V. Fomenko Transport Robot With Network Control System. [Citation Graph (0, 0)][DBLP ] Conf ] V. Beletskii , P. Tchudinov , T. Kirsanova Walking Control And Dynamics Of A Systems With Two Legs. [Citation Graph (0, 0)][DBLP ] Conf ] H. Chien , V. Jones Acquisition Of Moving Objects And Hand-Eye Coordination. [Citation Graph (0, 0)][DBLP ] Conf ] R. Chien , W. Snyder Visual Understanding Of Hybrid Circuits Via Procedural Models. [Citation Graph (0, 0)][DBLP ] Conf ] I. Coles Decision Analysis For An Experimental Robot With Unreliable Sensors. [Citation Graph (0, 0)][DBLP ] Conf ] Raphael A. Finkel An Overview Of AL, A Programming System For Automation. [Citation Graph (0, 0)][DBLP ] Conf ] Georgy L. Gimel'farb , E. F. Kushner , V. I. Rybak A "Hand-Eye" Robot-Simulating System. [Citation Graph (0, 0)][DBLP ] Conf ] V. Gurfinkel , A. Shneider , E. Gurfinkel , E. Kanaov , S. Fomin Some Aspects Of Sensory Instrumentation For Robots And Manipulators. [Citation Graph (0, 0)][DBLP ] Conf ] J. Hale , P. Saraga Control Of A PCB Drilling Machine By Visual Feedback. [Citation Graph (0, 0)][DBLP ] Conf ] S. Iwata , S. Ishino , V. Michima Heuristics In The Alloy Designing. [Citation Graph (0, 0)][DBLP ] Conf ] E. Kugushev , V. Jaroshevskij Problems of Selecting A Galt For An Integrated Locomotion Robot. [Citation Graph (0, 0)][DBLP ] Conf ] A. Narinyani , V. Pyatkin , P. Kim , V. Domentyev Walking Robot: A Non-Deterministic Model Of Control. [Citation Graph (0, 0)][DBLP ] Conf ] D. E. Okhotsimsky , A. K. Platongy Perceptive Robot Moving in 3D World. [Citation Graph (0, 0)][DBLP ] Conf ] J. Potter Scene Segmentation By Velocity Measurements Obtained With A Cross-Shaped Template. [Citation Graph (0, 0)][DBLP ] Conf ] Saburo Tsuji , A. Nakamura Recognition Of An Object in A Stack Of Industrial Parts. [Citation Graph (0, 0)][DBLP ] Conf ] Masahiko Yachida , Saburo Tsuji A Machine Vision For Complex Industrial Parts With Learning Capability. [Citation Graph (0, 0)][DBLP ] Conf ] Y. Buchstab , S. Kamynin "QUESTION-ANSWER" - A Multipurpose Information System. [Citation Graph (0, 0)][DBLP ] Conf ] Peter E. Hart Progress On A Computer Based Consultant. [Citation Graph (0, 0)][DBLP ] Conf ] A. Malhoira Knowledge Based English Language Systems For Management Support: An Analysis Of Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Harry E. Pople , J. Myers , R. Miller DIALOG: A Model Of Diagnostic Logic For Internal Medicine. [Citation Graph (0, 0)][DBLP ] Conf ] A. Rubin The Role Of Hypothesis in Medical Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] A. Tiro The Use Of Informal Calculus in Problems Of Artificial Intellect. [Citation Graph (0, 0)][DBLP ] Conf ] D. Walts Natural Language Access To A Large Data Base: An Engineering Approach. [Citation Graph (0, 0)][DBLP ] Conf ] R. Zarlpov Simulation Of Functions Of Composer and Musicologist On Electronic Computer. [Citation Graph (0, 0)][DBLP ] Conf ] R. Brooks A Model Of Human Cognitive Behavior in Writing Code For Computer Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Arthur M. Farley Constructive Visual Imagery And Perception. [Citation Graph (0, 0)][DBLP ] Conf ] William S. Faught Affect As Motivation For Cognitive And Conative Processes. [Citation Graph (0, 0)][DBLP ] Conf ] D. Frederickson An Organization For A Dictionary of Senses. [Citation Graph (0, 0)][DBLP ] Conf ] James Gips , George Stiny Artificial Intelligence And Aesthetics. [Citation Graph (0, 0)][DBLP ] Conf ] R. Hajiev Experimental Studies Of Human Decision-Making And Its Simulation By Situation Control Technique. [Citation Graph (0, 0)][DBLP ] Conf ] Yu. Klykov , V. Pushkin Semantic Language And The Problem Of Goal Formation Modelling in Human Thinking. [Citation Graph (0, 0)][DBLP ] Conf ] I. Lubinsky , N. Pozin , L. Shmelev Neuronal Mechanisms Of Determination The Direction Upon The Sound Source. [Citation Graph (0, 0)][DBLP ] Conf ] George F. Luger , G. Goldin Problem Structure And Problem Solving Behavior. [Citation Graph (0, 0)][DBLP ] Conf ] O. Tikhomirov Philosophical And Psychological Problems Of Artificial Intelligence. [Citation Graph (0, 0)][DBLP ] Conf ] D. Zavalishina , B. Lomov , Y. Rubachin Levels Of Decision Making And Certain Problems Of Artificial Intellect. [Citation Graph (0, 0)][DBLP ] Conf ] 