Sciweavers

JANCL
2000
67views more  JANCL 2000»
13 years 11 months ago
Specification of nonmonotonic reasoning
Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion o...
Joeri Engelfriet, Jan Treur
JANCL
2000
52views more  JANCL 2000»
13 years 11 months ago
On theorem proving in annotated logics
Mi Lu, Jin-Zhao Wu
JANCL
2000
47views more  JANCL 2000»
13 years 11 months ago
A multimodal logic for reasoning about complementarity
Ivo Düntsch, Beata Konikowska