2035 search results - page 107 / 407 » On the complexity of stratified logics |
182
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...
173
click to vote
ICCAD
1997
IEEE
15 years 10 months ago
1997
IEEE
In this paper we present an algorithm for converting a BDD representation of a logic function into a multiple-level netlist of disjoint-support subfunctions. On the theoretical si...
164
click to vote
AUSAI
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we generalize our formal approach to modelling PRS agents away from PRS-specific assumptions to more general theories of rationality, while not losing the concretene...
184
click to vote
ASE
2004
15 years 6 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
126
click to vote
TFS
2010
15 years 1 months ago
2010
Abstract--Higher order fuzzy logic systems (FLSs), such as interval type-2 FLSs, have been shown to be very well suited to deal with the high levels of uncertainties present in the...