124 search results - page 9 / 25 » Automata can show PSpace results for description logics |
DLOG
1998
13 years 9 months ago
1998
This paper proposes a framework to learn concepts from di erent kinds of observations. We de ne a language to describe meta-concepts, that represent the sets of possible concepts ...
CONCUR
2006
Springer
13 years 9 months ago
2006
Springer
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
AI
2008
Springer
13 years 7 months ago
2008
Springer
The work in this paper is directed towards sophisticated formalisms for reasoning under probabilistic uncertainty in ontologies in the Semantic Web. Ontologies play a central role...
KR
2010
Springer
14 years 12 days ago
2010
Springer
We propose a new family of probabilistic description logics (DLs) that, in contrast to most existing approaches, are derived in a principled way from Halpern’s probabilistic fi...
DLT
2009
13 years 5 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...