1536 search results - page 29 / 308 » The Underlying Logic of Hoare Logic |
SAS
2004
Springer
15 years 3 months ago
2004
Springer
ASP
2001
Springer
15 years 2 months ago
2001
Springer
ISMVL
1994
IEEE
15 years 1 months ago
1994
IEEE
LPAR
2000
Springer
15 years 1 months ago
2000
Springer
CORR
2008
Springer
14 years 10 months ago
2008
Springer
The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a ...