3244 search results - page 49 / 649 » Extensions to Description Logics |
121
click to vote
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quanti...
163
click to vote
ENTCS
2006
15 years 4 months ago
2006
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us...
145
click to vote
NMR
2004
Springer
15 years 9 months ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
152
click to vote
ECOOP
1995
Springer
15 years 7 months ago
1995
Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
132
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...