528 search results - page 11 / 106 » Transition Logic Revisited |
131
click to vote
CONCUR
2001
Springer
15 years 6 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
110
click to vote
ER
2006
Springer
15 years 5 months ago
2006
Springer
Transitive propagation along properties can be modelled in various ways in the OWL description logic. Doing so allows existing description logic reasoners based on the tableaux alg...
136
click to vote
DLOG
2007
15 years 4 months ago
2007
Distributed Description Logics (DDLs) is a KR formalism that enables reasoning with multiple ontologies interconnected by directional semantic mapping (bridge rules). DDLs capture ...
141
Voted
ILP
2004
Springer
15 years 7 months ago
2004
Springer
For the last ten years a lot of work has been devoted to propositionalization techniques in relational learning. These techniques change the representation of relational problems t...
FLOPS
2008
Springer
15 years 3 months ago
2008
Springer
