Publication:5688814
From MaRDI portal
zbMath0874.03021MaRDI QIDQ5688814
Renate A. Schmidt, Ullrich Hustadt, Hans Jürgen Ohlbach
Publication date: 5 November 1997
completeness; soundness; multi-modal logic; functional translation; knowledge representation systems; efficient reasoning with finite sets; knowledge representation language ALCN; logic of graded modalities; two-step translation of graded modal logic into predicate logic
03B45: Modal logic (including the logic of norms)
68T27: Logic in artificial intelligence
68T30: Knowledge representation
03B80: Other applications of logic
Related Items