3773 search results - page 27 / 755 » Logical Reasoning |
EUROCAST
2007
Springer
14 years 11 months ago
2007
Springer
DLOG
2006
14 years 11 months ago
2006
In the current paper we investigate the role of Euclidian roles in Description Logics.
DLOG
2000
14 years 11 months ago
2000
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed-up TBox and ABox reasoning...
76
Voted
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
88
Voted
ENTCS
2008
14 years 9 months ago
2008
We show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneou...