(ML)²: A formal language for KADS models of expertise (1993)


Download Links

by Frank Van Harmelen , John Balder
Citations:35 - 9 self

Active Bibliography

13 Definable Naming Relations in Meta-level Systems – Frank Van Harmelen - 1992
46 Generic Tasks and Task Structures: History, Critique and New Directions – B. Chandrasekaran, Todd R. Johnson - 1993
Expertise Model Definition Document – Bob J. Wielinga (ed.), Bob J. Wielinga, Contributions From, Hans Akkermans, Heshem Hassan, Olle Olsson, Guus Schreiber, Peter Terpstra - 1993
10 Pragmatics of the Knowledge Level – A. Th. (Guus) Schreiber - 1992
22 A Metatheory of a Mechanized Object Theory – Fausto Giunchiglia, Paolo Traverso - 1994
58 Logic Programming over Polymorphically Order-Sorted Types – Gert Smolka - 1989
178 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 Bartsch­Spörl, Brigitte Bartsch-spsrl, Erik Vinkhuyzen, I Problem Statement - 1992
13 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
15 Introspective Metatheoretic Reasoning – Fausto Giunchiglia, Alessandro Cimatti - 1994
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
4 Describing Reusable Problem-Solving Methods with a Method Ontology – Eliana Coelho, Guy Lapalme - 1996
10 Knowledge Representation and Classical Logic – Vladimir Lifschitz, Leora Morgenstern
Chapter 1 Knowledge Representation and Classical Logic – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Vladimir Lifschitz, Leora Morgenstern, David Plaisted
1 Reasoning about Beliefs: An Inference Network Approach – Boon Toh Low, Boon Toh, Tang Tong-gao, Abhaya Nayak, Rex Kwok, David Stirling - 1994