3468 search results - page 32 / 694 » An open logical framework |
114
click to vote
CADE
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
AMAI
2008
Springer
15 years 18 days ago
2008
Springer
Several justification logics have been created, starting with the logic LP, [1]. These can be thought of as explicit versions of modal logics, or of logics of knowledge or belief,...
95
Voted
OOIS
1997
Springer
15 years 4 months ago
1997
Springer
Tool environments supporting the development of complex products need to be open and flexible. These requirements cannot be fulfilled in an adequate way by predefined coordinat...
135
Voted
JAPLL
2007
15 years 11 days ago
2007
We extend answer set programming (ASP) with, possibly infinite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guard...
101
Voted
AIML
2008
15 years 1 months ago
2008
In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is prooftheoretically well-behaved, in particular, it gives r...