27 search results - page 1 / 6 » Logical and Computational Aspects of Programming with Sets B... |
ICALP
1991
Springer
13 years 9 months ago
1991
Springer
VSTTE
2012
Springer
12 years 1 months ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
ECSQARU
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
KSEM
2010
Springer
13 years 3 months ago
2010
Springer
We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanation...
LPNMR
2007
Springer
13 years 11 months ago
2007
Springer
Recent research in answer-set programming (ASP) is concerned with the problem of finding faithful transformations of logic programs under the stable semantics. This is in particul...