1486 search results - page 19 / 298 » A Logically Saturated Extension of |
LPNMR
1995
Springer
13 years 11 months ago
1995
Springer
In this paper we propose a version of default logic with the following two properties: (1) defaults with mutually inconsistent justications are never used together in constructing ...
AML
2008
13 years 8 months ago
2008
We study problems of Clote and Paris, concerning the existence of end extensions of models of n-collection. We continue the study of the notion of ` -fullness', begun by Wilki...
CADE
2010
Springer
13 years 9 months ago
2010
Springer
iProver-Eq is an implementation of an instantiation-based calculus Inst-Gen-Eq which is complete for first-order logic with equality. iProver-Eq extends the iProver system with sup...
CADE
2006
Springer
13 years 11 months ago
2006
Springer
In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using ...
DLOG
2008
13 years 10 months ago
2008
Abstract. We show that subsumption problems in EL and related description logics can be expressed as uniform word problems in classes of semilattices with monotone operators. We us...