default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th IJCAI 1983: Karlsruhe, West Germany
- Alan Bundy:
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, FRG, August 1983. William Kaufmann 1983
VOLUME 1
Automatic Programming
Keynote Address
- Gérard D. Guiho:
Automatic Programming Using Abstract Data Types. 1-9
Theorem Proving / Automatic Programming
- Uday S. Reddy, Bharat Jayaraman:
Theory of Linear Equations Applied to Program Transformation. 10-16
Automatic Programming 1
- Donald Cohen:
Symbolic Execution of the Gist Specification Language. 17-20 - Peter M. D. Gray, David S. Moffat:
Manipulating Descriptions of Programs for Database Access. 21-24 - Shamim A. Naqvi, Lawrence J. Henschen:
Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs. 25-28
Automatic Programming 2
- Robert L. Sedlmeyer, William B. Thompson, Paul E. Johnson:
Diagnostic Reasoning in Software Fault Localization. 29-31 - Douglas R. Smith:
A Problem Reduction Approach to Program Synthesis. 32-36 - Christian Gresse:
Automatic Programming From Data Types Decomposition Patterns. 37-39
Expert Systems / Automatic Programming / Knowledge Representation
- Jack Mostow:
Program Transtormations for VLSI. IJCAI 1983: 40-43
Cognitive Modelling
Panel
- Aaron Sloman, Drew V. McDermott, William A. Woods, Brian Cantwell Smith, Patrick J. Hayes:
Under What Conditions Can a Machine Attribute Meanings to Symbols. 44-48
Cognitive Modelling 2
- Benjamin Kuipers, Jerome P. Kassirer:
How to Discover a Knowledge Representation for Causal Reasoning by Studying an Expert Physician. 49-56 - John R. Anderson:
Learning to Program. 57-62
Cognitive Modelling 1
- Michael Lebowitz:
Creating a Story-Telling Universe. 63-65 - András Márkus:
Shifting the Focus of Attention: The Way Agatha Christie Leads You On. 66-68 - Sharon Wood:
Dynamic World Simulation for Planning With Multiple Agents. 69-71 - Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia:
Some Basic Mechanisms for Common Sense Reasoning About Stories Environments. 72-74 - Michael G. Dyer:
Understanding Stories Through Morals and Remindings. 75-77 - Gabriella Airenti, Bruno G. Bara, Marco Colombetti:
Planning Perlocutionary Acts. 78-80
Cognitive Modelling 3
- Göran Hagert, Åke Hansson:
Logic Modelling of Cognitive Reasoning. 81-83 - J. G. (Iain) Wallace:
Motives and Emotions in a General Learning System. 84-86 - Wynne Bell:
Artificial Intelligence in the Classroom. 87-89 - Edwina L. Rissland:
Examples in Legal Reasoning: Legal Hypotheticals. 90-93 - Stephanie Sage, Pat Langley:
Modeling Cognitive Development on the Balance Scale Task. 94-96 - L. Konst, Bob J. Wielinga, Jan J. Elshout, Wouter N. H. Jansweijer:
Semi-Automated Analysis of Protocols From Novices and Experts Solving Physics Problems. 97-99
Expert Systems
Keynote Address
- John P. McDermott:
Extracting Knowledge From Expert Systems. 100-107
Panel
- Thomas P. Kehler, Peter Friedland, Harry E. Pople, René Reboh, Steve Rosenberg:
Industrial Strength Knowledge Bases: Issues and Experiences - Knowledge Base Stability, Memory: Unitorm or Structured, Integrity, Knowledge Acquisition and the User Interface, Joint Knowledge Base Development, Intertaces to Databases (Panel). 108-109
Expert Systems 1: Commercial Applications
- Ron Sauers, Rick Walsh:
On the Requirements of Future Expert Systems. 110-115 - Gregg T. Vesonder, Salvatore J. Stolfo, John E. Zielinski, Frederick D. Miller, David H. Copp:
ACE: An Expert System for Telephone Cable Maintenance. 116-121 - Reid G. Smith, James D. Baker:
The Dipmeter Advisor System - A Case Study in Commercial Expert System Development. 122-129
Expert Systems 2: Plausible Inference
- Henri Prade:
A Synthetic View of Approximate Reasoning Techniques. 130-136 - J. Ross Quinlan:
Consistency and Plausible Reasoning. 137-144 - René Reboh:
Extracting Useful Advice From Conflicting Expertise. 145-150
Expert Systems 4: Applications
- Michael P. Georgeff, Umberto Bonollo:
Procedural Expert Systems. 151-157 - Mark S. Fox, Simon Lowenfeld, Pamela Kleinosky:
Techniques for Sensor-Based Diagnosis. 158-163
Expert Systems 3: General
- Jiang Xinsong, Song Guoning, Chen Yu:
AI Research in China: A Review. 164-166 - Douglas B. Lenat, Alan Borning, David W. McDonald, Craig Taylor, Steven Weyer:
Knoesphere: Building Expert Systems With Encyclopedic Knowledge. 167-169
Expert Systems 5
- Charles Kellogg:
Intelligent Assistants for Knowledge and Information Resources Management. 170-172 - Riichiro Mizoguchi, Yukuo Isomoto, Osamu Kakusho:
Expert System as an Intelligent Assistant for Computer Users. 173-175 - Timothy W. Finin:
Providing Help and Advice in Task Oriented Systems. 176-178 - Thomas L. Williams, Paul J. Orgren, Carl L. Smith:
Diagnosis of Multiple Faults in a Nationwide Communications Network. 179-181 - Donald W. Loveland, Marco Valtorta:
Detecting Ambiguity: An Example in Knowledge Evaluation. 182-184 - Alain Bonnet, Claude Dahan:
Oil-Well Data Interpretation Using Expert System and Pattern Recognition Technique. 185-189
Expert Systems 6: Plausible Reasoning
- Jin H. Kim, Judea Pearl:
A Computational Model for Causal and Diagnostic Reasoning in Inference Systems. 190-193 - Richard M. Tong, Daniel G. Shapiro, Jeffrey S. Dean, Brian P. McCune:
A Comparison of Uncertainty Calculi in an Expert System for Information Retrieval. 194-197 - Peter C. Cheeseman:
A Method of Computing Generalized Bayesian Probability Values for Expert Systems. 198-202 - Leonard P. Wesley:
Reasoning About Control: The Investigation of an Evidential Approach. 203-206 - Richard R. Cantone, Frank J. Pipitone, W. Brent Lander, Michael P. Marrone:
Model-Based Probabilistic Reasoning for Electronics Troubleshooting. 207-211 - Paul R. Cohen, Mark D. Lieberman:
A Report on FOLIO: An Expert Assistant for Portfolio Managers. 212-214
Expert Systems 7: Languages and Structures, Especially for Time Dependent Reasoning
- Steven Rosenberg:
HPRL: A Language for Building Expert Systems. 215-217 - Tom Bylander, Sanjay Mittal, B. Chandrasekaran:
CSRL: A Language for Expert Systems for Diagnosis. 218-221 - C. M. Lou, J. Wang:
Structure Based Control Strategy. 222-224 - Naoyuki Yamada, Hiroshi Motoda:
A Diagnosis Method of Dynamic System Using the Knowledge on System Description. 225-229 - William J. Long, Thomas A. Russ:
A Control Structure for Time Dependent Reasoning. 230-232 - Shoichi Masui, John P. McDermott, Alan Sobel:
Decision-Making in Time-Critical Situations. 233-235
Expert Systems 8: Applications
- William B. Thompson, Paul E. Johnson, James B. Moen:
Recognition-Based Diagnostic Reasoning. 236-238 - Perry L. Miller:
Medical Plan-Analysis: The Attending System. 239-241 - Tetsutaro Shibahara, John K. Tsotsos, John Mylopoulos, H. Dominic Covvey:
CAA: A Knowledge Based System Using Causal Knowledge to Diagnose Cardiac Rhythm Disorders. 242-245 - José Cuena:
The Use of Simulation Models and Human Advice to Build an Expert System for the Defense and Control of River Floods. 246-249 - Jean-Luis Roos:
Artificial Intelligence and Macro-Economy, An Application. 250-251 - H. Jaap van den Herik:
Representation of Experts' Knowledge in a Subdomain of Chess Intelligence. 252-255
Expert Systems / Automatic Programming / Knowledge Representation
- Ryszard S. Michalski, Arthur B. Baskin:
Integrating Multiple Knowledge Representations and Learning Capabilities in an Expert System: The ADVISE System. 256-258 - Douglas B. Lenat, Albert Clarkson, Garo Kiremidjian:
An Expert System for Indications and Warning Analysis. 259-262 - Takushi Tanaka:
Representation and Analysis of Electrical Circuits in a Deductive System. 263-267 - Robert L. Blum:
Representation of Empirically Derived Causal Relationships. 268-271
Knowledge Representation
Knowledge Representation 4: Exotic Logics
- Robert C. Moore:
Semantical Considerations on Nonmonotonic Logic. 272-279 - John A. Barnden:
Intensions as Such: An Outline. 280-286 - L. Thorne McCarty:
Permissions and Obligations. 287-294
Knowledge Representation 5: Time and Space
- Ernest Davis:
The Mercator Representation of Spatial Knowledge. 295-301 - Drew V. McDermott:
Generalizing Problem Reduction: A Logical Analysis. 302-308 - Jon Doyle:
A Society of Mind-Multiple Perspectives, Reasoned Assumptions, and Virtual Copies. 309-314
Knowledge Representation / Logic Programming / Learning and Knowledge Acquisition
- Kenneth D. Forbus:
Measurement Interpretation in Qualitative Process Theory. 315-320
Knowledge Representation 1: Frames and Semantic Networks
- Werner Dilger, Wolfgang Womann:
Semantic Networks as Abstract Data Types. 321-324 - Robert Meersman, Frans Van Assche:
Modelling and Manipulating Production Data Bases in Terms of Semantic Nets. 325-329 - James G. Schmolze, Thomas A. Lipkis:
Classification in the KL-ONE Knowledge Representation System. 330-332 - Amedeo Cappelli, Lorenzo Moretti, Carlo Vinchesi:
KL-Conc: A Language for Interacting With SI-Nets. 333-336 - Ulrich Reimer, Udo Hahn:
A Formal Approach to the Semantics of a Frame Data Model. 337-339 - Bradley P. Allen, J. Mark Wright:
Integrating Logic Programs and Schemata. 340-342
Knowledge Representation 2: Uncertainty, Non-Monotonic Logic and Timespace
- Jitendra Malik, Thomas O. Binford:
Reasoning in Time and Space. 343-345 - E. Yu Kandrashina:
Representation of Temporal Knowledge. 346-348 - Jon Doyle:
The Ins and Outs of Reason Maintenance. 349-351 - Witold Lukaszewicz:
General Approach to Nonmonotonic Logics. 352-354 - Paul R. Cohen, Milton R. Grinberg:
A Framework for Heuristic Reasoning About Uncertainty. 355-357 - Claus-Rainer Rollinger:
How to Represent Evidence - Aspects of Uncertain Reasoning. 358-361
Knowledge Representation 3: Knowledge and Belief
- James W. Hearne:
Simulating Non-Deductive Reasoning. 362-364 - Robert E. Filman, John Lamping, Fanya S. Montalvo:
Meta-Knowledge and Meta-Reasoning. 365-369 - João P. Martins, Stuart C. Shapiro:
Reasoning in Multiple Belief Spaces. 370-373 - Martin Nilsson:
A Logical Model of Knowledge. 374-376 - Kurt Konolige:
A Deductive Model of Belief. 377-381 - Anthony S. Maida:
Knowing Intensional Individuals, and Reasoning About Knowing Intensional Individuals. 382-384
Knowledge Representation 6
- Jean-François Cloarec, Jean-François Cudelou:
An Experiment in Representing the Knowledge Involved in the Specification and Design of Switching Systems. 385-387 - David N. Chin:
A Case Study of Knowledge Representation in UC. 388-390 - Setsuo Ohsuga:
Predicate Logic Involving Data Structure as a Knowledge Representation Language. 391-394 - Luc Steels:
Descriptions as Constraints in Object-Oriented Representation. 395-397 - Xiwen Ma, Weide Guo:
W-JS: A Modal Logic of Knowledge. 398-401 - Robert Wilensky:
Memory and Inference. 402-404
Expert Systems / Automatic Programming / Knowledge Representation
- Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi:
A Description and Reasoning of Plant Controllers in Temporal Logic. 405-408
Learning and Knowledge Acquisition
Knowledge Representation / Logic Programming / Learning and Knowledge Acquisition
- Fritz Wysotzki:
Representation and Induction of Infinite Concepts and Recursive Action Sequences. 409-414
Learning and Knowledge Acquisition 1
- Dennis F. Kibler, Bruce W. Porter:
Perturbation: A Means for Guiding Generalization. 415-418 - Pat Langley:
Learning Effective Search Heuristics. 419-421 - Stephen F. Smith:
Flexible Learning of Problem Solving Heuristics Through Adaptive Search. 422-425 - Stellan Ohlsson:
A Constrained Mechanism for Procedural Learning. 426-428 - Bernard Silver:
Learning Equation Solving Methods From Examples. 429-431 - Paul D. Scott, Robert C. Vogt:
Knowledge Oriented Learning. 432-435
Learning and Knowledge Acquisition 2
- Mark D. Grover:
A Pragmatic Knowledge Acquisition Methodology. 436-438 - Agustin A. Araya:
Learning by Controlled Transference of Knowledge Between Domains. 439-443 - G. M. K. Hunt:
Admissible Hypotheses and Enhanced Learning. 444-446 - Paul E. Utgoff:
Adjusting Bias in Concept Learning. 447-449 - Russell Greiner, Michael R. Genesereth:
What's New? A Semantic Definition of Novelty. 450-454 - Werner Emde, Christopher Habel, Claus-Rainer Rollinger:
The Discovery of the Equator or Concept Driven Learning. 455-458
Learning and Knowledge Acquisition 3
- Robert C. Berwick:
Learning Word Meanings From Examples. 459-461 - Gerald DeJong:
Acquiring Schemata Through Understanding and Generalizing Plans. 462-464 - Pat Langley, Jan M. Zytkow, Gary L. Bradshaw, Herbert A. Simon:
Three Facets of Scientific Discovery. 465-468
Learning and Knowledge Acquisition 4
- Larry A. Rendell:
A Learning System Which Accommodates Feature Interactions. 469-472 - B. A. Shepherd:
An Appraisal of a Decision Tree Approach to Image Classification. 473-475 - Joël Quinqueton, Jean Sallantin:
Algorithms for Learning Logical Formulas. 476-478 - Richard A. O'Keefe:
Concept Formation From Very Large Training Sets. 479-481 - Toyoaki Nishida, Akira Kosaka, Shuji Doshita:
Towards Knowledge Acquisition From Natural Language Documents - Automatic Model Construction From Hardware Manual. 482-486
Logic Programming
Keynote Address
- Alain Colmerauer:
Prolog in Ten Figures. 487-499
Logic Programming 2: Theoretical
- Joxan Jaffar, Jean-Louis Lassez, John W. Lloyd:
Completeness of the Negation as Failure Rule. 500-506 - Masahiko Sato, Takafumi Sakurai:
Qute: A Prolog/Lisp Type Language for Logic Programming. 507-513 - William A. Kornfeld:
Equality for Prolog. 514-519
Knowledge Representation / Logic Programming / Learning and Knowledge Acquisition
- Walter G. Wilson, Chester C. John:
Semantic Code Analysis. IJCAI 1983: 520-525
Logic Programming 1
- Adrian Walker:
Prolog/Ex 1, An Inference Engine Which Explains Both Yes and No Answers. 526-528 - Ehud Y. Shapiro:
Logic Programs With Uncertainties: A Tool for Implementing Rule-Based Systems. 529-532 - Chris Mellish, Steve Hardy:
Integrating Prolog Into the Poplog Environment. 533-535 - D. C. Dodson, Alan L. Rector:
"Logal": Algorithmic Control Structures for Prolog. 536-538 - John S. Conery, Dennis F. Kibler:
AND Parallelism in Logic Programs. 539-543 - Simon Kasif, Madhur Kohli, Jack Minker:
PRISM: A Parallel Inference System for Problem Solving. 544-546
Logic Programming 3
- Kuniaki Mukai:
A Unification Algorithm for Infinite Trees. 547-549 - Alan R. Feuer:
Building Libraries in Prolog. 550-552 - Anneli Edman, Sten-Åke Tärnlund:
Mechanization of an Oracle in a Debugging System. 553-555
Natural Language
Natural Language 1: Keynote Addresses
- Gerald Gazdar:
Phrase Structure Grammars and Natural Languages. 556-565 - Daniel N. Osherson, Michael Stob, Scott Weinstein:
Formal Theories of Language Acquisition: Practical and Theoretical Perspectives. 566-572
Natural Language 8
- Paul A. Martin, Douglas E. Appelt, Fernando C. N. Pereira:
Transportability and Generality in a Natural-Language Interface System. 573-581 - Kathleen R. McKeown:
Focus Constraints on Language Generation. 582-587 - Wolfgang Hoeppner, Thomas Christaller, Heinz Marburger, Katharina Morik, Bernhard Nebel, Mike O'Leary, Wolfgang Wahlster:
Beyond Domain-Independence: Experience With the Development of a German Language Access System to Highly Diverse Background Systems. 588-594
Natural Language 2: Generation - Theoretical, Including Semantics
- Douglas E. Appelt:
TELEGRAM: A Grammar Formalism for Language Planning. 595-599 - Jeremy Eilman:
An Indirect Approach to Types of Speech Acts. 600-602 - Gopalan Nadathur, Aravind K. Joshi:
Mutual Beliefs in Conversational Systems: Their Role in Referring Expressions. 603-605 - Laurence Danlos:
Some Issues in Generation From a Semantic Representation. 606-609 - Paul S. Jacobs:
Generation in a Natural Language Interface. 610-612 - Shun Ishizaki:
Generation of Japanese Sentences From Conceptual Representation. 613-615
VOLUME 2
Natural Language 3: Generation - Theoretical, Including Semantics
- Anthony Jameson:
Impression Monitoring in Evaluation-Oriented Dialog - The Role of the Listener's Assumed Expectations and Values in the Generation of Informative Statements. 616-620 - Karen Sparck Jones:
Shifting Meaning Representations. 621-623 - Peter Norvig:
Frame Activated Inferences in a Story Understanding Program. 624-626 - Ingeborg Steinacker, Harald Trost:
Structural Relations - A Case Against Case. 627-629
Natural Language 4: Speech Related Areas
- Mary O'Kane:
The FOPHO Speech Recognition Project. 630-632 - Joachim Mudler:
A System for Improving the Recognition of Fluently Spoken German Speech. 633-635 - Kenneth Ward Church:
Allophonic and Phonotactic Constraints Are Useful. 636-638 - Sei-ichi Nakagawa:
A Recognition Method of Connected Spoken Words With Syntactical Constraints by Augmented Continuous DP Algorithm. 639-642
Natural Language 5: Interfaces and Applications
- Wolfgang Wahlster, Heinz Marburger, Anthony Jameson, Stephan Busemann:
Over-Answering Yes-No Questions: Extended Responses in a NL Interface to a Vision System. 643-646 - Katharina Morik:
Demand and Requirements for Natural Language Systems - Results of an Inquiry. 647-649 - Bonnie L. Webber, Eric Mays:
Varieties of User Misconceptions: Detection and Correction. 650-652 - Jaime G. Carbonell, W. Mark Boggs, Michael L. Mauldin, Peter G. Anick:
The XCALIBUR Project: A Natural Language Interface to Expert Systems. 653-656
Natural Language 6: Interfaces and Applications
- Richard I. Kittredge, Igor Mel'cuk:
Towards a Computable Model of Meaning-Text Relations Within a Natural Sublanguage. 657-659 - Eva-Maria M. Mueckstein:
Q-TRANS: Query Translation Into English. 660-662 - R. Comino, Roberto Gemello, Giovanni Guida, Claudio Rullent, L. Sisto, Marco Somalvico:
Understanding Natural Language Through Parallel Processing of Syntactic and Semantic Knowledge: An Application to Data Base Query. 663-667 - Philip J. Hayes, Jaime G. Carbonell:
A Framework for Processing Corrections in Task-Oriented Dialogues. 668-670
Natural Language 7: Parsing, Grammar Implementation and Morphology
- Eero Hyvönen:
Graph Grammar Approach to Natural Language Parsing and Understanding. 671-674 - Janusz S. Bien:
Articles and Resource Control. 675-677 - Mark A. Jones:
Activation-Based Parsing. 678-682 - Kimmo Koskenniemi:
Two-Level Model for Morphological Analysis. 683-685 - Eric Wehrli:
A Modular Parser for French. 686-689 - Brian Phillips:
An Object-Oriented Parser for Text Understanding. 690-692
Natural Language 9: Parsing, Grammar Implementation and Morphology
- Uwe Reyle, Werner Frey:
A PROLOG Implementation of Lexical Functional Grammar. 693-695 - John Bear:
A Breadth-First Parsing Model. 696-698 - Stuart M. Shieber:
Sentence Disambiguation by a Shift-Reduce Parsing Technique. 699-703 - Roy J. Byrd:
Word Formation in Natural Language Processing Systems. 704-706 - Gérard Sabah, Mohamed Rady:
A Deterministic Syntactic-Semantic Parser. 707-709 - Robert C. Berwick:
A Deterministic Parser With Broad Coverage. 710-712
Natural Language 10: Discourse, Dialogue, Etc.
- Wendy G. Lehnert:
Narrative Complexity Based on Summarization Algorithms. 713-716 - Akira Shimazu, Shozo Naito, Hirosato Nomura:
Japanese Language Semantic Analyzer Based on an Extended Case Frame Model. 717-720 - Manfred Gehrke:
Syntax, Semantics, and Pragmatics in Concert: An Incremental, Multilevel Approach in Reconstructing Task-Oriented Dialogues. 721-723 - Bernd Neumann, Hans-Joachim Novak:
Event Models for Recognition and Natural Language Description of Events in Real-World Image Sequences. 724-726 - Werner Frey, Uwe Reyle, Christian Rohrer:
Automatic Construction of a Knowledge Base by Analysing Texts in Natural Language. 727-729 - John H. Clippinger Jr., David D. McDonald:
Why Good Writing Is Easier to Understand. 730-732
Planning and Search
Planning and Search 3
- David E. Wilkins:
Representation in a Domain-Independent Planner. 733-740 - James F. Allen, Johannes A. G. M. Koomen:
Planning Using a Temporal World Model. 741-747 - Daniel D. Corkill, Victor R. Lesser:
The Use of Meta-Level Control for Coordination in a Distributed Problem Solving Network. 748-756
Planning and Search 1
- Ling Zhang, Bo Zhang:
The Statistical Inference Method in Heuristic Search Techniques. 757-759 - Hermann Kaindl:
Searching to Variable Depth in Computer Chess. 760-762 - T. Anthony Marsland:
Relative Efficiency of Alpha-Beta Implementations. 763-766 - Stephanie J. Cammarata, David McArthur, Randall Steeb:
Strategies of Cooperation in Distributed Problem Solving. 767-770 - John E. Laird, Allen Newell:
A Universal Weak Method: Summary of Results. 771-773 - Jeffrey A. Barnett, Don Cohen:
A Wrinkle on Satisficing Search Problems. 774-776
Planning and Search 2
- Marco Valtorta:
A Result on the Computational Complexity of Heuristic Estimates for the A* Algorithm. 777-779 - Roy Rada:
Characterizing Search Spaces. 780-782 - Marcel Schoppers:
On A* as a Special Case of Ordered Search. 783-785 - Jeffrey A. Barnett:
Optimal Searches From AND and OR Nodes. 786-788 - Malik Ghallab, Dennis G. Allard:
Aepsilon - An Efficient Near Admissible Heuristic Search Algorithm. 789-791
Robotics
Robotics 2: Motion Planning and Tracking
- John Hallam:
Resolving Observer Motion by Object Tracking. 792-798 - Rodney A. Brooks, Tomás Lozano-Pérez:
A Subdivision Algorithm Configuration Space for Findpath With Rotation. 799-806 - Eugene Grechanovsky, Ilia Pinsker:
An Algorithm for Moving a Computer-Controlled Manipulator While Avoiding Obstacles. 807-813
Robotics / Vision: Robot Programming
- Boalin Yin:
A Framework for Handling Vision Data in an Object Level Robot Language - RAPT. 814-820
Robotics 1
- Maria L. Gini, Giuseppina C. Gini:
Towards Automatic Error Recovery in Robot Programs. 821-823 - Mark H. Lee, David P. Barnes, Nigel W. Hardy:
Knowledge Based Error Recovery in Industrial Robots. 824-826
Robotics 3: Mobile Robots and Programming
- C. M. Witkowski:
A Parallel Processor Algorithm for Robot Route Planning. 827-829 - Alberto Elfes, Sarosh Talukdar:
A Distributed Control System for the CMU Rover. 830-833 - Yutaka Kanayama:
Concurrent Programming of Intelligent Robots. 834-838 - Jean-Paul Laumond:
Model Structuring and Concept Recognition: Two Aspects of Learning for a Mobile Robot. 839-841 - D. F. Corner, A. Patricia Ambler, Robin J. Popplestone:
Reasoning About the Spatial Relationships Derived From a RAPT Program for Describing Assembly by a Robot. 842-844
Systems Support
- Rodney A. Brooks, Richard P. Gabriel, Guy L. Steele Jr.:
Lisp-in-Lisp: High Performance and Portability. 845-849 - Salvatore J. Stolfo, Daniel P. Miranker, David Elliot Shaw:
Architecture and Applications of DADO: A Large-Scale Parallel Computer for Artificial Intelligence. 850-854 - Reid G. Smith:
STROBE: Support for Structured Object Knowledge Representation. 855-858 - Sanjai Narain, David McArthur, Philip Klahr:
Large-Scale System Development in Several Lisp Environments. 859-861 - Giuliano Pacini, Franco Turini:
Demonizing Production Systems. 862-866
Theorem Proving
Theorem Proving 3: Keynote Address
- Larry Wos:
Automated Reasoning: Real Uses and Potential Uses. 867-876
Theorem Proving 2
- Tamás Gergely, Konstantin Vershinin:
Negative Hyper-Resolution for Proving Statements Containing Transitive Relations. 877-881 - Christoph Walther:
A Many-Sorted Calculus Based on Resolution and Paramodulation. 882-891 - W. W. Bledsoe:
Using Examples to Generate Instantiations of Set Variables. 892-901
Theorem Proving / Automatic Programming
- William McCune, Lawrence J. Henschen:
Semantic Paramodulation for Horn Sets. 902-908 - Jean-Pierre Jouannaud, Hélène Kirchner, Jean-Luc Rémy:
Church-Rosser Properties of Weakly Terminating Term Rewriting Systems. 909-915
Theorem Proving 1
- Grigoris Antoniou, Hans Jürgen Ohlbach:
TERMINATOR. 916-919 - Wolfgang Bibel, Elmar Eder, Bertram Fronhöfer:
Towards an Advanced Implementation of the Connection Method. 920-922 - Laurent Fribourg:
A Superposition Oriented Theorem Prover. 923-925 - Luis Fariñas del Cerro:
Temporal Reasoning and Termination of Programs. 926-929 - Yves Kodratoff, Jacqueline Castaing:
Trivializing the Proof of Trivial Theorems. 930-932 - John A. Kalman, J. G. Peterson:
Computer-Aided Studies of All Possible Shortest Single Axioms for the Equivalential Calculus. 933-935
Theorem Proving 3
- Karl-Hans Bläsius:
Equality Reasoning in Clause Graphics. 936-939 - Nachum Dershowitz, Jieh Hsiang, N. Alan Josephson, David A. Plaisted:
Associative-Commutative Rewriting. 940-944
Vision
Vision 1: Motion and Correspondence
- Hans-Hellmut Nagel:
Constraints for the Estimation of Displacement Vector Fields From Image Sequences. 945-951 - R. I. D. Cowie:
The Viewer's Place in Theories of Vision. 952-958 - Charles E. Thorpe, Steven A. Shafer:
Correspondence in Line Drawings of Multiple Views of Objects. 959-965
Vision 3: Surfaces and Shape
- Bruno Cernuschi-Frías, Ruud M. Bolle, David B. Cooper:
A New Conceptually Attractive and Computationally Effective Approach to Shape From Shading. 966-968 - Michael Brady, Alan L. Yuille:
An Extremum Principle for Shape From Contour. 969-972 - Alex Pentland:
Fractal-Based Description. 973-981
Vision 4: Object Models and Recognition
- Olivier D. Faugeras, Jean Ponce:
Prism Trees: A Hierarchical Representation for 3-D Objects. 982-988 - Robert B. Fisher:
Using Surfaces and Object Models to Recognize Partially Obscured Objects. 989-995 - Olivier D. Faugeras, Martial Hebert:
A 3-D Recognition and Positioning Algorithm Using Geometrical Matching Between Primitive Surfaces. 996-1002
Robotics / Vision: Robot Programming
- M. D. Diamond, N. Narasimhamurthi, S. Ganapathy:
Optimization Approaches to the Problem of Edge Linking With a Focus on Parallel Processing. 1003-1009
Vision 2: Perceptual Organization
- Martin A. Fischler, Helen C. Wolf:
Machine Perception of Linear Structure. 1010-1013 - Martin A. Fischler, Robert C. Bolles:
Perceptual Organization and the Curve Partitioning Problem. 1014-1018 - Andrew P. Witkin:
Scale-Space Filtering. 1019-1022 - Andrew P. Witkin, Jay M. Tenenbaum:
What Is Perceptual Organization For? 1023-1026
Vision 5: Motion Perception
- Joachim H. Rieger, Daryl T. Lawton:
Sensor Motion and Relative Depth From Difference Fields of Optic Flows. 1027-1031 - Minoru Asada, Saburo Tsuji:
Inferring Motion of Cylindrical Object From Shape Information. 1032-1034 - Jia-Qi Fang, Thomas S. Huang:
Estimating 3-0 Movement of a Rigid Object: Experimental Results. IJCAI 1983: 1035-1037 - Roger Y. Tsai:
3-D Inference From the Motion Parallax of a Conic Arc and a Point in Two Perspective Views. IJCAI 1983: 1038-1042
Vision 6: Shape from Stereo, Shading and Contour
- Michael Kass:
A Computational Framework for the Visual Correspondence Problem. IJCAI 1983: 1043-1045 - A. Peter Blicher:
The Stereo Matching Problem From the Topological Viewpoint. IJCAI 1983: 1046-1049 - K. Prazdny:
Computing Convergence Angle From Random Dot Stereograms. IJCAI 1983: 1050-1052 - Anni R. Bruss:
Is What You See What You Get? IJCAI 1983: 1053-1056 - Kemt A. Stevens:
The Line of Curvature Constraint and the Interpretation of 3-D Shape From Parallel Surface Contours. IJCAI 1983: 1057-1061 - Stephen T. Barnard, Alex Pentland:
Three-Dimensional Shape From Line Drawings. IJCAI 1983: 1062-1064
Vision 7: Integration of Information
- Marc Berthod:
Global Optimization of a Consistent Labeling. IJCAI 1983: 1065-1067 - Bernhard H. Stuth, Dana H. Ballard, Christopher M. Brown:
Boundary Conditions in Multiple Intrinsic Images. IJCAI 1983: 1068-1072 - Demetri Terzopoulos:
The Role of Constraints and Discontinuities in Visible-Surface Reconstruction. IJCAI 1983: 1073-1077 - Jay Glicksman:
Using Multiple Information Sources in a Computational Vision System. IJCAI 1983: 1078-1080 - Christopher M. Brown, Matthew B. Curtiss, David B. Sher:
Advanced Hough Transform Implementations. IJCAI 1983: 1081-1085 - Joseph Naor, Shmuel Peleg:
Image Compression and Filtering Using Pyramid Data Structures. IJCAI 1983: 1086-1088
Vision 8: Object Modelling, Detection and Recognition
- Michael Potmesil:
Generating Models of Solid Objects by Matching 3D Surface Segments. IJCAI 1983: 1089-1093 - Hermann Tropf, I. Walter:
An ATN Model for 3-D Recognition of Solids in Single Images. IJCAI 1983: 1094-1098 - Andres Huertas, Ramakant Nevatia:
Detection of Buildings in Aerial Images Using Shape and Shadows. IJCAI 1983: 1099-1103 - John R. Kender:
Environmental Labelings in Low-Level Image Understanding. IJCAI 1983: 1104-1107 - Martin Herman, Takeo Kanade, Shigeru Kuroe:
The 3D MOSAIC Scene Understanding System. IJCAI 1983: 1108-1112 - Norihiro Abe, Fumihide Itho, Saburo Tsuji:
Toward Generation of 3-Dimensional Models of Objects Using 2-Dimensional Figures and Explanations in Language. IJCAI 1983: 1113-1115
Vision 9: Systems and Applications
- Robert C. Bolles, Radu Patrice Horaud, Marsja Jo Hannah:
3DPO: A Three-Dimensional Part Orientation System. IJCAI 1983: 1116-1120 - Augustin Lux, Viviane Souvignier:
PVV: A Goal-Oriented System for Industrial Vision. IJCAI 1983: 1121-1124 - Masahiko Yachida, T. Ichinose, Saburo Tsuji:
Model-Guided Monitoring of a Building Environment by a Mobile Robot. IJCAI 1983: 1125-1127 - Gabor T. Herman, Leon Axel, Ruzena Bajcsy, Harold L. Kundel, R. LeVeen, Jayaram K. Udupa, G. Wolf:
Model Driven Visualization of Coronary Arteries. IJCAI 1983: 1128-1131 - Fumiaki Tomita:
A Learning Vision System for 2D Object Recognition. IJCAI 1983: 1132-1135 - Bir Bhanu:
Recognition of Occluded Objects. IJCAI 1983: 1136-1138
General
Computers and Thought Lecture
- Tom M. Mitchell:
Learning and Problem Solving. IJCAI 1983: 1139-1151
Distinguished Service Award
- Arthur L. Samuel:
AI, Where It Has Been and Where It Is Going. IJCAI 1983: 1152-1157
Invited Talks
- John Seely Brown, Johan de Kleer:
The Origin, Form, and Logic of Qualitative Physical Laws. IJCAI 1983: 1158-1169 - David R. Barstow:
A Perspective on Automatic Programming. IJCAI 1983: 1170-1179 - Stanley J. Rosenschein:
Natural-Language Processing: Crucible for Computational Theories of Cognition. IJCAI 1983: 1180-1186 - Alan K. Mackworth:
On Seeing Things, Again. IJCAI 1983: 1187-1191
Panels
- Robert A. Kowalski, Hervé Gallaire, Toshio Yokoi, Robert B. K. Dewar:
Panel on the Fifth Generation Project. IJCAI 1983: 1192-1194 - Nils J. Nilsson, Sandra B. Cook, Alan C. Kay, Faye Duchin, Margaret A. Boden, Dennis Chamot:
Artificial Intelligence: Its Impact on Human Occupations and Distribution of Income. IJCAI 1983: 1195-1198 - Raymond Reiter, Hervé Gallaire, Jonathan J. King, John Mylopoulos, Bonnie L. Webber:
A Panel on AI and Databases. IJCAI 1983: 1199
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-26 07:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
