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
LLilog → FORKADS   Based on
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