|
13
|
Definable Naming Relations in Meta-level Systems
– Frank Van Harmelen
- 1992
|
|
44
|
Generic Tasks and Task Structures: History, Critique and New Directions
– B. Chandrasekaran, Todd R. Johnson
- 1993
|
|
9
|
Pragmatics of the Knowledge Level
– A. Th. (Guus) Schreiber
- 1992
|
|
|
Expertise Model Definition Document
– Bob J. Wielinga (ed.), Bob J. Wielinga, Contributions From, Hans Akkermans, Heshem Hassan, Olle Olsson, Guus Schreiber, Peter Terpstra
- 1993
|
|
22
|
A Metatheory of a Mechanized Object Theory
– Fausto Giunchiglia, Paolo Traverso
- 1994
|
|
58
|
Logic Programming over Polymorphically Order-Sorted Types
– Gert Smolka
- 1989
|
|
163
|
Multilanguage Hierarchical Logics (or: How We Can Do Without Modal Logics)
– Fausto Giunchiglia, Luciano Serafini
- 1994
|
|
13
|
A Foundation for Metareasoning, Part I: The Proof Theory
– Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini
- 1997
|
|
4
|
Knowledge-level Reflection
– Frank van Harmelen, Bob Wielinga, Bert Bredeweg, Guus Schreiber, Werner Karbach, Martin Reinders, Angi Voß, Hans Akkermans, Brigitte BartschSpörl, Brigitte Bartsch-spsrl, Erik Vinkhuyzen, I Problem Statement
- 1992
|
|
12
|
Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics
– Fausto Giunchiglia , Luciano Serafini, Alex Simpson
- 1991
|
|
8
|
A KADS/(ML)² Model of a Scheduling Task
– John Balder, Frank van Harmelen, Manfred Aben
- 1993
|
|
|
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition -
– Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner
- 1997
|
|
|
Operationalizing Problem-Solving Methods Using The KADS Framework
– Eliana Coelho, Guy Lapalme, Vimla L. Patel
- 1995
|
|
|
From KADS Models to Operational Problem-Solving Methods: Perspectives in the Domain View
– Eliana Coelho Guy, Guy Lapalme, Vimla L. Patel
- 1996
|
|
5
|
Describing Reusable Problem-Solving Methods with a Method Ontology
– Eliana Coelho, Guy Lapalme
- 1996
|
|
15
|
Introspective Metatheoretic Reasoning
– Fausto Giunchiglia, Alessandro Cimatti
- 1994
|
|
2
|
Knowledge Representation and Classical Logic
– Vladimir Lifschitz, Leora Morgenstern
|
|
1
|
Reasoning about Beliefs: An Inference Network Approach
– Boon Toh Low, Boon Toh, Tang Tong-gao, Abhaya Nayak, Rex Kwok, David Stirling
- 1994
|
|
1
|
Reengineering Unification And T-Entailment For Mantra In C++
– Tania Kharma, Tania Kharma
- 1996
|
