AIFIPP 1992: Madrid, Spain

@proceedings{DBLP:conf/aifipp/1992,
  editor    = {Jos{\'e} Cuena},
  title     = {Knowledge Oriented Software Design, Extended Papers from the
               IFIP TC12 Workshop on Artificial Intelligence from the Information
               Processing Perspective - AIFIPP '92, Madrid, Spain, 14-15 September,
               1992},
  booktitle = {AIFIPP},
  publisher = {North-Holland},
  series    = {IFIP Transactions},
  volume    = {A-27},
  year      = {1993},
  isbn      = {0-444-81541-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Modular Knowledge Structures

• B. Chandrasekaran, Todd R. Johnson, Jack W. Smith: Task-Structure Analysis for Knowledge Modeling. 3-21
• Mark A. Musen, Samson W. Tu: Problem-Solving Models for Generation of Task-Specific Knowledge-Acquisition Tools. 23-49
• José Cuena: Contributions to a Knowledge Oriented View of Software Design. 51-75
• Michael C. Tanner: Explanation in Generic-Task Systems. 77-89
• Luc Steels: Corporate Knowledge Management. 91-116

Design and Validation

• Natalia Juristo Juzgado, Juan Pazos: Towards a Joint Life Cycle for Software and Knowledge Engineering. 119-138
• Jürgen Angele, Dieter Fensel, Dieter Landes, Susanne Neubert, Rudi Studer: Model-Based and Incremental Knowledge Engineering: The MIKE Approach. 139-168
• Ivan Bratko, Marko Grobelnik: Inductive Learning Applied to Program Construction and Verification. 169-182
• Ranan B. Banerji: The General Problem Solver as a Paradigm for Software Design. 183-192
• Pedro Meseguer: Conventional Software and Expert Systems: Some Comparative Aspects Regarding Validation. 193-204

Ai Basic Techniques

• Manuel V. Hermenegildo: The Role of Computational Logic as a Hinge Paradigm among Deduction, Problem Solving, Programming, and Parallelism. 207-221
• Ernst Bahr, Andreas Holzmann, Eduard Mehofer, Günter Pollak: PAMELA-C++: Tight Integration of Rule-Based Features into an Object-Oriented Language. 223-236
• Ulises Cortés, Enric Sesa, Mario Mango Furnari, Claudia Di Napoli, Renata Napolitano: Continuations as a Generic Control-Flow Mechanism. 237-250
• John F. Sowa: Logic-Based Standards for the Conceptual Schema. 251-280