Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | José Cuena (eds.) |
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 |
AIFIPP |
1993 |
DBLP BibTeX RDF |
|
1 | Ulises Cortés, Enric Sesa, Mario Mango Furnari, Claudia Di Napoli, Renata Napolitano |
Continuations as a Generic Control-Flow Mechanism. |
AIFIPP |
1992 |
DBLP BibTeX RDF |
|
1 | José Cuena |
Contributions to a Knowledge Oriented View of Software Design. |
AIFIPP |
1992 |
DBLP BibTeX RDF |
|
1 | Natalia Juristo Juzgado, Juan Pazos |
Towards a Joint Life Cycle for Software and Knowledge Engineering. |
AIFIPP |
1992 |
DBLP BibTeX RDF |
|
1 | Ivan Bratko, Marko Grobelnik |
Inductive Learning Applied to Program Construction and Verification. |
AIFIPP |
1992 |
DBLP BibTeX RDF |
|
1 | Manuel V. Hermenegildo |
The Role of Computational Logic as a Hinge Paradigm among Deduction, Problem Solving, Programming, and Parallelism. |
AIFIPP |
1992 |
DBLP BibTeX RDF |
|
1 | Luc Steels |
Corporate Knowledge Management. |
AIFIPP |
1992 |
DBLP BibTeX RDF |
|
1 | B. Chandrasekaran 0001, Todd R. Johnson, Jack W. Smith |
Task-Structure Analysis for Knowledge Modeling. |
AIFIPP |
1992 |
DBLP BibTeX RDF |
|
1 | Ranan B. Banerji |
The General Problem Solver as a Paradigm for Software Design. |
AIFIPP |
1992 |
DBLP BibTeX RDF |
|
1 | John F. Sowa |
Logic-Based Standards for the Conceptual Schema. |
AIFIPP |
1992 |
DBLP BibTeX RDF |
|
1 | Pedro Meseguer |
Conventional Software and Expert Systems: Some Comparative Aspects Regarding Validation. |
AIFIPP |
1992 |
DBLP BibTeX RDF |
|
1 | Mark A. Musen, Samson W. Tu |
Problem-Solving Models for Generation of Task-Specific Knowledge-Acquisition Tools. |
AIFIPP |
1992 |
DBLP BibTeX RDF |
|
1 | Michael C. Tanner |
Explanation in Generic-Task Systems. |
AIFIPP |
1992 |
DBLP BibTeX RDF |
|
1 | Ernst Bahr, Andreas Holzmann, Eduard Mehofer, Günter Pollak |
PAMELA-C++: Tight Integration of Rule-Based Features into an Object-Oriented Language. |
AIFIPP |
1992 |
DBLP BibTeX RDF |
|
1 | Jürgen Angele, Dieter Fensel, Dieter Landes, Susanne Neubert, Rudi Studer |
Model-Based and Incremental Knowledge Engineering: The MIKE Approach. |
AIFIPP |
1992 |
DBLP BibTeX RDF |
|