3470 search results - page 270 / 694 » Head-Elementary-Set-Free Logic Programs |
198
click to vote
AGP
2003
IEEE
15 years 12 months ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
157
click to vote
ERSHOV
2001
Springer
15 years 11 months ago
2001
Springer
A general semantics-based framework for the analysis of logic programs with delay declarations is presented. The framework incorporates well known refinement techniques based on r...
175
click to vote
CONCUR
2004
Springer
15 years 12 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
162
click to vote
ICLP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
158
click to vote
EPIA
2005
Springer
16 years 2 days ago
2005
Springer
This paper introduces an original 2-valued semantics for Normal Logic Programs (NLP), which conservatively extends the Stable Model semantics (SM) to all normal programs. The dist...