Semantics Of (Disjunctive) Logic Programs Based On Partial Evaluation

Semantics Of (Disjunctive) Logic Programs Based On Partial Evaluation (1994)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Stefan Brass , Jürgen Dix

Citations:

49 - 14 self

BibTeX

@MISC{Brass94semanticsof,
    author = {Stefan Brass and Jürgen Dix},
    title = {Semantics Of (Disjunctive) Logic Programs Based On Partial Evaluation},
    year = {1994}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

1263	The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
855	Negation as Failure - Clark - 1978
743	The Well-Founded Semantics for General Logic Programs - Gelder, Ross, et al. - 1991
689	Classical negation in logic programs and disjunctive databases - Gelfond, Lifschitz - 1991
347	A Kripke-Kleene Semantics of logic Programs - Fitting - 1985
226	Tabled Evaluation with Delaying for General Logic Programs - Chen, Warren - 1996
149	Stable semantics for disjunctive programs - Przymusinski - 1991
75	Efficient Top-Down Computation of Queries under the Well-Founded Semantics - Chen, Swift, et al. - 1995
72	Semantics of logic programs: Their intuitions and formal properties. An overview - Dix - 1995
68	Static Semantics For Normal and Disjunctive Logic Programs - Przymusinski - 1995
56	Stationary semantics for disjunctive logic programs and deductive databases - Przymusinski - 1990
48	A Classification-Theory of Semantics of Normal Logic Programs - Dix - 1995
47	Inferring Negative Information from Disjunctive Databases - Ross, Topor - 1988
46	Computing of Stable Models and its Integration with Logical Query Processing - Chen, Warren - 1995
42	Mixed integer programming methods for computing nonmonotonic deductive databases - Bell, Nerode, et al. - 1994
41	Characterizations of the Disjunctive Stable Semantics by Partial Evaluation. Journal of logic programming, 32(3), 207–228. (Extended abstract appeared in - Brass, Dix - 1997
36	Logic Programming as Constructivism: A Formalization and its Application to Databases. Pages 34–50 of - Bry - 1989
36	Weak Generalized Closed World Assumption - Rajasekar, Lobo, et al. - 1989
34	A framework for representing and characterizing semantics of logic programs - Dix - 1992
32	Magic sets and bottom-up evaluation of wellfounded models - Kemp, Srivastava, et al. - 1991
29	Characterizations of the Disjunctive Well-founded Semantics: Confluent Calculi and Iterated GCWA - Brass, Dix - 1998
28	Transformation-based bottomup computation of the well-founded model - Brass, Dix, et al. - 2001
28	A fixpoint approach to declarative semantics of logic programs. Pages 604–625 of: Proc. north american conference on logic programming (naclp’89 - Dung, Kanchansut - 1989
25	Formalizing a Logic for Logic Programming - Schlipf - 1992
24	A General Approach to BottomUp Computation of Disjunctive Semantics - Brass, Dix - 1995
19	Partial Deduction of Disjunctive Logic Programs: A Declarative Approach - Sakama, Seki - 1994
16	A Framework to incorporate Nonmonotonic Reasoning into Constraint Logic Programming - Dix, Stolzenburg - 1998
14	Negation in Logic Programming: A Formalization in Constructive Logic. Pages 30–46 of: Karagiannis, Dimitris (ed), Information systems and artificial intelligence: Integration aspects - Bry - 1990
13	Implementing Semantics for Disjunctive Logic Programs Using Fringes and Abstract Properties - Dix, Muller - 1993
13	Partial evaluation and relevance for approximations of stable semantics - Dix, Müller
11	A natural semantics of logic programs with negation. Pages 70–80 of - Dung, Kanchansut - 1989
9	On the relationship between CWA, minimal model, and minimal Herbrand model semantics - Gelfond, Przymusinska, et al. - 1990
9	Extended Well-Founded Model Semantics for General Logic Programs - Hu, Yuan - 1991
6	Lanzarone: Static semantics as program transformation and well-founded computation - Costantini, A - 1995
6	A Goal Oriented Approach to Computing The Well-founded Semantics - Chen, Warren - 1993
5	On Well-Behaved Semantics Suitable for Aggregation - Dix, Osorio - 1997
2	editors, Principles of Knowledge Representation and Reasoning - Aiello, Doyle, et al. - 1996
2	Branch and Bound = Stable Models - WFS - 1995
1	Confluent rewriting systems for logic programming semantics - Arrazola, Dix, et al. - 1997
1	Improved bottom-up query evaluation in positive disjunctive databases - Brass - 1994
1	Minker and Arcot Rajasekar. A fixpoint semantics for disjunctive logic programs - Jack - 1990