50 search results - page 3 / 10 » The Modal Logic Programming System MProlog |
99
Voted
AAAI
2007
15 years 3 months ago
2007
Agents’ pro attitudes such as goals, intentions, desires, wishes, and judgements of satisfactoriness play an important role in how agents act rationally. To provide a natural an...
120
Voted
ENTCS
2008
15 years 1 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...
118
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
212
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
113
Voted
ICALP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...