-
...knowledge base represented by a logic program under the answer set semantics.
we then consider the following two problems: given two programs p
1 and p
2...an answer set of every program. consensus provides
a method of program development under a specification of constructing a program that reflects the meaning of...
-
...is on decidable forms of logic programming, in particular, propositional logic programming and datalog, but we also mention general logic programming with function symbols. next to...different forms of negation, disjunctive logic programming, logic programming with equality, and constraint logic programming....
-
...aggregates in answer set programming (asp) have recently been stud...of unfounded sets for disjunctive logic programs with arbitrary, possibly recur sive...
-
...paper studies generality relations on logic programs. intuitively, a program p1 is more general than another program p2 if p1 gives us...a maximal lower bound are constructed for any pair of logic pro- grams. we also introduce the concept of strong generality between logic programs and investigate its relationships to...
-
...equivalence and generality relations over logic programs have been proposed in answer set programming to semantically compare
information contents of logic programs. in this paper, we overview...to explore new relations between programs. such new relations include relativized variants
of generality relations over logic programs. by selecting contexts for comparison...
-
...in the field of logic databases the static semantics and the evaluation of queries iswell understood. however, there is no consensus about the appropriate treatment ofdynamic...time. various methodsto incorporate update constructs into logic databases have been proposed. in thispaper we address the explicit construction of (complex) update programs from basicupdate operations like &...
-
...is easily translated to declarative logic, in large part because the primitives used in consensus proto- col specifications map directly to simple overlog constructs such as aggregation and selection. we discuss the program- ming idioms that appear frequently in our implementation, and the applicability of declarative programming to related application domains....
-
...with synthesis of fault- tolerant programs is desirable to ensure their...also we guarantee that any program synthesized by these algorithms is correct by construction. towards this end, we formally...
-
...framework for bilattice-valued constraint programming which allows to represent incomplete...machine learning into con- straint programming, reconciliation of divergent opinions in...
-
...based on the work in logic programming. in the past decade, various methods to incorporate update constructs into logic programming and deductive databases have been proposed. however, there is still no consensus about the appropriate treatment of...