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