default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAIFIPP 1992: Madrid, Spain
- José Cuena:
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. IFIP Transactions A-27, North-Holland 1993, ISBN 0-444-81541-4
Modular Knowledge Structures
- B. Chandrasekaran, Todd R. Johnson, Jack W. Smith:
Task-Structure Analysis for Knowledge Modeling. AIFIPP 1992: 3-21 - Mark A. Musen, Samson W. Tu:
Problem-Solving Models for Generation of Task-Specific Knowledge-Acquisition Tools. AIFIPP 1992: 23-49 - José Cuena:
Contributions to a Knowledge Oriented View of Software Design. AIFIPP 1992: 51-75 - Michael C. Tanner:
Explanation in Generic-Task Systems. AIFIPP 1992: 77-89 - Luc Steels:
Corporate Knowledge Management. AIFIPP 1992: 91-116
Design and Validation
- Natalia Juristo Juzgado, Juan Pazos:
Towards a Joint Life Cycle for Software and Knowledge Engineering. AIFIPP 1992: 119-138 - Jürgen Angele, Dieter Fensel, Dieter Landes, Susanne Neubert, Rudi Studer:
Model-Based and Incremental Knowledge Engineering: The MIKE Approach. AIFIPP 1992: 139-168 - Ivan Bratko, Marko Grobelnik:
Inductive Learning Applied to Program Construction and Verification. AIFIPP 1992: 169-182 - Ranan B. Banerji:
The General Problem Solver as a Paradigm for Software Design. AIFIPP 1992: 183-192 - Pedro Meseguer:
Conventional Software and Expert Systems: Some Comparative Aspects Regarding Validation. AIFIPP 1992: 193-204
Ai Basic Techniques
- Manuel V. Hermenegildo:
The Role of Computational Logic as a Hinge Paradigm among Deduction, Problem Solving, Programming, and Parallelism. AIFIPP 1992: 207-221 - Ernst Bahr, Andreas Holzmann, Eduard Mehofer, Günter Pollak:
PAMELA-C++: Tight Integration of Rule-Based Features into an Object-Oriented Language. AIFIPP 1992: 223-236 - Ulises Cortés, Enric Sesa, Mario Mango Furnari, Claudia Di Napoli, Renata Napolitano:
Continuations as a Generic Control-Flow Mechanism. AIFIPP 1992: 237-250 - John F. Sowa:
Logic-Based Standards for the Conceptual Schema. AIFIPP 1992: 251-280
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 2024-10-02 20:49 CEST 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:
