H ? « ‹ ← → › »

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

MLPM(ID:5415/mlp001)

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
References:
  • 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