1436 search results - page 26 / 288 » Description Logic Unplugged |
AAAI
1994
14 years 11 months ago
1994
IJCAI
2003
14 years 11 months ago
2003
Many description logics (DLs) combine knowledge tation on an abstract, logical level with an interface to “concrete” domains such as numbers and strings. We propose to extend ...
AMAI
2000
Springer
14 years 9 months ago
2000
Springer
principled ones
98
Voted
FUIN
2010
14 years 7 months ago
2010
We study an extension of monadic second-order logic of order with the uncountability quantifier "there exist uncountably many sets". We prove that, over the class of fini...
122
click to vote
ICLA
2011
Springer
14 years 1 months ago
2011
Springer
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...