3793 search results - page 129 / 759 » Expressive Description Logics |
268
click to vote
SIGMOD
2000
ACM
15 years 8 months ago
2000
ACM
XML is rapidly emerging as the new standard for data representation and exchange on the Web. An XML document can be accompanied by a Document Type Descriptor (DTD) which plays the...
131
click to vote
LADS
2007
Springer
15 years 10 months ago
2007
Springer
This paper proposes a method of integrating two different concepts of belief in artificial intelligence: belief as a probability distribution and belief as a logical formula. The...
137
click to vote
AIML
2006
15 years 5 months ago
2006
Bisimulation quantifiers are a natural extension of modal logics. They preserve the bisimulation invariance of modal logic, while allowing monadic second-order expressivity. Unfort...
139
click to vote
ISMVL
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper focuses on the fixed polarity ReedMuller (FPRM) expression of multiple-valued logic (MVL) symmetric functions. In the FPRM expression, each variable occurs in exactly o...
145
click to vote
DIMACS
1996
15 years 5 months ago
1996
: We review the expressibility of some basic graph properties in certain fragments of Monadic Second-Order logic, like the set of Monadic-NP formulas. We focus on cases where a pro...