Modeling problem-solving methods in new KARL

Keywords

Computer science, Programming language, Executable, Representation (politics), Knowledge representation and reasoning

References

• Formal Specification of Compositional ArchitecturesIzak van Langevelde, Albert Philipsen, Jan Treur — 1992
• Assumptions and Limitations of a Problem-Solving Method: A Case StudyDieter Fensel — 1995
• KADS : a principled approach to knowledge-based system developmentGuus Schreiber, Bob Wielinga, Joost Breuker — 1993
• Domain Knowledge for Interactive System DesignA. Sutcliffe, F. V. Assche, D. Benyon — 1996
• A unifying view on business process modelling and knowledge engineeringStefan Decker, Michael Erdmann, Rudi Studer — 1996
• Mapping domains to methods in support of reuseJohn H. Gennari, Samson W. Tu, Thomas E. Rothenfluh — 1994
• Making Prolog more ExpressiveJohn W. Lloyd, Rodney Topor — 1984
• A multiple-method knowledge-acquisition shell for the automatic generation of knowledge-acquisition toolsÁngel R. Puerta, John W. Egar, Samson W. Tu — 1992
• Task-structure analysis for knowledge modelingB. Chandrasekaran, Todd R. Johnson, Jack W. Smith — 1992
• CommonKADS: a comprehensive methodology for KBS developmentGuus Schreiber, B. Wielinga, Robert de Hoog — 1994
• Logical foundations of object-oriented and frame-based languagesMichael Kifer, Georg Lausen, James C. Wu — 1995
• Combining KARL and CRLM for designing vertical transportation systemsKarsten Poeck, Dieter Fensel, Dieter Landes — 1996
• Structure-preserving specification languages for knowledge-based systemsFrank van Harmelen, Manfred Aben — 1996
• A comparison of languages which operationalize and formalize KADS models of expertiseDieter Fensel, Frank van Harmelen — 1994
• An Introduction to the Specification Language SpecV. Berzins, Luqi — 1990
• Task Modeling with Reusable Problem-Solving MethodsHenrik Eriksson, Yuval Shaḥar, Samson W. Tu — 1995
• The Knowledge Acquisition and Representation Language, KARLDieter Fensel — 1995
• Ontologies and the configurations of problem-solving methodsRudi Studer, Henrik Eriksson, John H. Gennari — 1996
• Task: a Framework for the Diierent Steps of a Kbs ConstructionXavier Talon, C. Pierret-golbreich — 1996
• TASK MODEL : a framework for the design of Models of Expertise and their operationalizationC. Pierret-golbreich, C. Ura — 1994

Cited by

• Semantic web methods for knowledge managementStefan Decker — 2002
• Knowledge Modelling in WebOnto and OCML A User GuideJohn Domingue, Enrico Motta, Óscar Corcho — 1999
• Knowledge Engineering Using the UML Profile - Adopting the Model-Driven Architecture for Knowledge-Based System DevelopmentMohd Syazwan Abdullah, Richard F. Paige, Ian Benest — 2006
• Re-design of compositional systemsN.J.E. Wijngaards — 1999
• PSMs do it!Summary of track on sharable and reusable problem solving methods of the 10th KAW'96V. Richard Benjamins, Dieter Fensel, B. Chandrasekhan — 1997
• Reusable components for knowledge modellingEnrico Motta — 1998
• Developing Knowledge-Based Systems with MIKEJürgen Angele, Dieter Fensel, Dieter Landes — 1998
• A unifying view on business process modelling and knowledge engineeringStefan Decker, Michael Erdmann, Rudi Studer — 1996
• Reuse, CORBA, and knowledge-based systemsJohn H. Gennari, HEYNING CHENG, Russ B. Altman — 1998
• Facilitating the interactions among reasoning components by multiple agentsYuan Yuan, Guoyin Wang — 2010
• Temporal Semantics of Compositional Task Models and Problem Solving MethodsFrances Brazier, Jan Treur, N.J.E. Wijngaards — 1999
• Knowledge Engineering: Principles and MethodsRudi Studer, V. Richard Benjamins, Dieter Fensel — 1998
• An approach for knowledge interaction to improve the availability of KBSYuan Yuan — 2009
• Domain Modelling for Interactive Systems DesignAlistair Sutcliffe, David Benyon — 1998
• The Knowledge Acquisition and Representation Language, KARLDieter Fensel — 1995
• A UML profile for conceptual modelling of knowledge-based systemsMohd Syazwan Abdullah — 2006
• Ontologies and the configurations of problem-solving methodsRudi Studer, Henrik Eriksson, John H. Gennari — 1996
• Propose-and-revise modeled in KarlJürgen Angele — 1996
• Providing User-Support in Performing Knowledge Discovery in DatabasesRobert, Engels, Michael — 2002
• An Overview of the OCML Modelling LanguageE. Motta — 1998

Related papers

• The Knowledge Acquisition and Representation Language, KARLDieter Fensel — 1995
• CommonKADS: a comprehensive methodology for KBS developmentGuus Schreiber, B. Wielinga, Robert de Hoog — 1994
• Task Modeling with Reusable Problem-Solving MethodsHenrik Eriksson, Yuval Shaḥar, Samson W. Tu — 1995
• Common KADS Library for Expertise ModellingVan de velde Breuker — 1994
• The Knowledge LevelAllen Newell — 1989
• Task-structure analysis for knowledge modelingB. Chandrasekaran, Todd R. Johnson, Jack W. Smith — 1992
• Mapping domains to methods in support of reuseJohn H. Gennari, Samson W. Tu, Thomas E. Rothenfluh — 1994
• KADS : a principled approach to knowledge-based system developmentGuus Schreiber, Bob Wielinga, Joost Breuker — 1993