1536 search results - page 29 / 308 » The Underlying Logic of Hoare Logic |
SAS
2004
Springer
14 years 1 months ago
2004
Springer
ASP
2001
Springer
14 years 29 days ago
2001
Springer
ISMVL
1994
IEEE
14 years 17 days ago
1994
IEEE
LPAR
2000
Springer
14 years 1 days ago
2000
Springer
CORR
2008
Springer
13 years 8 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 ...