2500 search results - page 112 / 500 » Logical Semantics of Modularisation |
140
click to vote
IJCAI
2001
15 years 4 months ago
2001
We are interested in semantical underpinnings for existing approaches to preference handling in extended logic programming (within the framework of answer set programming). As a s...
147
click to vote
IJCAI
2003
15 years 4 months ago
2003
We consider the problem of updating nonmonotonic knowledge bases represented by epistemic logic programs where disjunctive information and notions of knowledge and beliefs can be ...
117
click to vote
TARK
2005
Springer
15 years 8 months ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
119
click to vote
AUSAI
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...
124
click to vote
FASE
2008
Springer
15 years 4 months ago
2008
Springer
For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...