3793 search results - page 61 / 759 » Expressive Description Logics |
95
Voted
CADE
2009
Springer
15 years 8 months ago
2009
Springer
292
click to vote
DIMACS
1996
15 years 5 months ago
1996
in Structure'95. 14] R. Fagin. Easier ways to win logical games. In Proc. DIMACS Workshop on Descriptive Complexity and Finite Models, AMS 1997. 15] R. Fagin, L. Stockmeyer, M...
134
Voted
CSL
2010
Springer
15 years 5 months ago
2010
Springer
It is standard to regard the intuitionistic restriction of a classical logic as increasing the expressivity of the logic because the classical logic can be adequately represented i...
139
click to vote
RULEML
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The language of dl-programs is a latest effort in developing an expressive representation for Web-based ontologies. It allows to build answer set programming (ASP) on top...
120
click to vote
CSL
2010
Springer
15 years 3 months ago
2010
Springer
We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic ...