3658 search results - page 159 / 732 » The logic of proofs, semantically |
113
click to vote
JLP
2008
15 years 21 days ago
2008
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...
107
Voted
FAABS
2000
Springer
15 years 4 months ago
2000
Springer
This paper discusses automated reasoning in the KARO framework. The KARO framework accommodates a range of expressive modal logics for describing the behaviour of intelligent agent...
117
Voted
LOGCOM
2010
14 years 7 months ago
2010
When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is,...
96
Voted
AAAI
2008
15 years 3 months ago
2008
In this paper, we propose a new approach for iterated revision in possibilistic logic by applying a one-step revision operator. We first argue that the set of KM postulates for re...
95
Voted
IAT
2008
IEEE
15 years 7 months ago
2008
IEEE
In this work we introduce the first steps towards the definition of an answer set semantics for residuated logic programs with negation.