884 search results - page 112 / 177 » A Proof Theory for DL-Lite |
ICALP
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
ASWEC
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
113
click to vote
LICS
2006
IEEE
15 years 5 months ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
116
click to vote
ACL2
2006
ACM
15 years 5 months ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...
106
click to vote
SIGECOM
2006
ACM
15 years 5 months ago
2006
ACM
We present a reduction from graphical games to Markov random fields so that pure Nash equilibria in the former can be found by statistical inference on the latter. Our result, wh...