884 search results - page 82 / 177 » Using Nested Logic Programs for Answer Set Programming |
154
click to vote
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
100
click to vote
AGILEDC
2003
IEEE
15 years 7 months ago
2003
IEEE
YP is an agile programming methodology that has evolved over the past 15 years. Many of its features are common to other agile methodologies; its novel features include using a hi...
117
click to vote
MICS
2010
15 years 19 days ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
LPNMR
2009
Springer
15 years 8 months ago
2009
Springer
We report on recent advancements in the development of grounder Gringo for logic programs under answer set semantics. Like its relatives, DLV and Lparse, Gringo has in the meantime...
110
click to vote
HASE
2008
IEEE
15 years 8 months ago
2008
IEEE
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....