3244 search results - page 44 / 649 » Extensions to Description Logics |
109
click to vote
TIME
2005
IEEE
15 years 7 months ago
2005
IEEE
A clausal resolution approach originally developed for the branching logic CTL has recently been extended to the logics ECTL and ECTL+ . In the application of the resolution rules...
102
click to vote
IPMU
2010
Springer
15 years 4 months ago
2010
Springer
Our work is a contribution to the model-theoretic study of equality-free fuzzy predicate logics. We give a characterization of elementary equivalence in fuzzy predicate logics usin...
103
click to vote
JAPLL
2008
15 years 1 months ago
2008
Recently visibly pushdown automata have been extended to so called k-phase multistack visibly pushdown automata (k-MVPAs). On the occasion of introducing kMVPAs, it has been asked...
106
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
In this paper we present a preliminary logic-based evaluation of the integration of post-composed phenotypic descriptions with domain ontologies. The evaluation has been performed ...
129
click to vote
CADE
1994
Springer
15 years 6 months ago
1994
Springer
Abstract. PROTEIN (PROver with a Theory Extension INterface) is a PTTPbased first order theorem prover over built-in theories. Besides various standardrefinements knownformodelelim...