H ? « »

Language peer sets for MLPM:
Designed 1996
1990s languages
Fifth generation
Post-Cold War


alternate simple view
Designed 1996

for Modal Logic for Predicate Modification

KBS language

Provides validation and verification of formal specifications, and a proof calculus to support them

  • Fensel, D. (1996) Fensel, D. and R. Groenboom. MLPM: Defing a semantics and axiomatization for specifying the reasoning process of knowledge--based systems. In Proceedings of the 12th European Conference on Artificial Intelligence (ECAI-96), Budapest, August 1996.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder