3624 search results - page 203 / 725 » Abstract Algebraic Logic |
157
click to vote
LPNMR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper describes a system called SELP for studying strong equivalence in answer set logic programming. The basic function of the system is to check if two given groun...
159
click to vote
TABLEAUX
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a clausal connection calculus for first-order intuitionistic logic. It extends the classical connection calculus by adding prefixes that encode the character...
152
click to vote
AGP
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper is a presentation of ONTO-DLP, an extension of Disjunctive Logic Programming (DLP) for complex knowledge modelling. ONTO-DLP enhances DLP by constructs coming from othe...
162
click to vote
TACS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We present two modal typing systems with the approximation modality, which has been proposed by the author to capture selfreferences involved in computer programs and the...
265
click to vote
POPL
1999
ACM
15 years 10 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...