H ?
«
‹
←
→
›
»
Language peer sets for FORKADS:
United States↑
United States/1991↑
Designed 1991 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
FORKADS(ID:5410/for017)
alternate simple view
Country: United States
Designed 1991
for First ORder KADS
Knowledge management language, based on LLILOG
IBM Germany Scientific Center, Heidelberg
Related languages
References:
Wetter, T. (1990) Wetter, T. "First Order Logic Foundation of the KADS Conceptual Model" In B. Wielinga et al. (eds.), Current Trends in Knowledge Acquisition, IOS Press, Amsterdam, 1990.
Wetter, T. and W. Schmidt (1991) Wetter, T. and W. Schmidt "Formalization of the KADS Interpretation Models. In Proceedings of the 8th Conference of the Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB91), Leeds, GB, April 16-19, 1991
Wetter, T. (1992) Wetter, T. "FORKADS: An Executable Language for the KADS Conceptual and Interpretation Models", Habilitationsschrift, University of Kaiserslautern, Germany, 1992.
Fensel (1994) Fensel, Dieter and van Harmelen, Frank "A Comparison of Languages which Operationalise and Formalise KADS Models of Expertise" The Knowledge Engineering Review, 9(2), 1994.
Abstract
Online copy
Extract:
(ML)2
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|