3 search results - page 1 / 1 » A Sequent Calculus for Bilattice-Based Logic and Its Many-So... |
TABLEAUX
2007
Springer
13 years 11 months ago
2007
Springer
ENTCS
2008
13 years 5 months ago
2008
Logical frameworks serve as meta-languages to represent deductive systems, sometimes requiring special purpose meta logics to reason about the representations. In this work, we de...
ECAI
2000
Springer
13 years 9 months ago
2000
Springer
Knowledge representation systems, including ones based on Description Logics (DLs), use explanation facilities to, among others, debug knowledge bases. Until now, such facilities w...