1024 search results - page 16 / 205 » Value complete, column complete, predicate complete |
VL
2007
IEEE
14 years 5 months ago
2007
IEEE
Description logics (DLs) are a well-understood family of knowledge representation (KR) languages. The notation of DLs has the flavour of a variable-free first order predicate lo...
TABLEAUX
2007
Springer
14 years 5 months ago
2007
Springer
Subintuitionistic logics are a class of logics defined by using Kripke models with more general conditions than those for intuitionistic logic. In this paper we study predicate lo...
APAL
2010
13 years 11 months ago
2010
Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to ...
CAV
2004
Springer
14 years 2 months ago
2004
Springer
Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatinstructed given a set of predi...
ISIM
2007
14 years 9 days ago
2007
Abstract. This paper introduces deriuation table.sthat representa complete grammatical derivations as whole in a vertical way. These tables are obtained by writing the consecutives...