1462 search results - page 21 / 293 » Autoepistemic Description Logics |
AAAI
1994
14 years 11 months ago
1994
IJAR
2010
14 years 8 months ago
2010
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
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...