3891 search results - page 32 / 779 » A logic for strategic reasoning |
127
click to vote
LANMR
2007
15 years 1 months ago
2007
Abstract. We present GLukG, a paraconsistent logic recently introduced. We discuss our motivation as well as interesting properties of this logic. We introduce a non-monotonic sema...
EUROCAST
2007
Springer
15 years 1 months ago
2007
Springer
LPNMR
1999
Springer
15 years 4 months ago
1999
Springer
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...
ICLP
2001
Springer
15 years 4 months ago
2001
Springer
Multi-adjoint logic programs has been recently introduced [9, 10] as a generalization of monotonic logic programs [2, 3], in that simultaneous use of several implications in the ru...
100
click to vote
ENTCS
2008
14 years 12 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...