The Valid Model Semantics for Logic Programs

Summary: Introduces the valid model semantics: a three-valued semantics for logic programs with negation, set-terms, grouping and non-ground facts, defined via a ‘normal form’ computation. Naturally extends/refines well-founded semantics, is founded and subsumed by every regular and two-valued stable model, yielding clearer intuition and advantages over prior formulations. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 957
Venue: PODS
Year: 1992
Pagerank: 5.4911506e-05
Overall Rank: 8,083 | 44.55%
DOI: 10.1145/137097.137115

Incoming Non-self Citations Over Time

Authors

1. Catriel Beeri (Hebrew University)
2. Raghu Ramakrishnan (University of Wisconsin)
3. Divesh Srivastava (University of Wisconsin)
4. S. Sudarshan (University of Wisconsin)

BibTeX Citation

@inproceedings{beeri_pods92,
        address = {New York, NY, USA},
        series = {{PODS} '92},
        title = {{The Valid Model Semantics for Logic Programs}},
        url = {https://dl.acm.org/doi/10.1145/137097.137115},
        doi = {10.1145/137097.137115},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Beeri, Catriel and Ramakrishnan, Raghu and Srivastava, Divesh and Sudarshan, S.},
        year = {1992}
}

Incoming Citations (Sorted by Pagerank)

Showing 3 of 3 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
5,111	The Well-Founded Semantics of Aggregation (Extended Abstract)	1992	PODS	6.3602348e-05
7,260	On the Power of Algebras with Recursion	1993	SIGMOD	5.6612789e-05
8,562	New Data Models and Languages - the Challenge	1992	PODS	5.4119882e-05

Outgoing Citations (Sorted by Pagerank)

Showing 7 of 7 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
1,297	The Alternating Fixpoint of Logic Programs with Negation (Extended Abstract)	1989	PODS	0.0001126031
1,714	Modular Stratification and Magic Sets for DATALOG Programs with Negation	1990	PODS	9.9404301e-05
3,560	Minimum and Maximum Predicates in Logic Programming	1991	PODS	7.3094581e-05
4,002	Monotonic Aggregation in Deductive Databases	1992	PODS	6.9661579e-05
4,831	Stable Models and Non-Determinism in Logic Programs with Negation	1990	PODS	6.4877275e-05
5,111	The Well-Founded Semantics of Aggregation (Extended Abstract)	1992	PODS	6.3602348e-05
8,621	Three-Valued Formalization of Logic Programming: Is It Needed?	1990	PODS	5.3986999e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	5,964	Negation and Minimality in Non-Horn Databases	1993	PODS
2	1,297	The Alternating Fixpoint of Logic Programs with Negation (Extended Abstract)	1989	PODS
3	5,111	The Well-Founded Semantics of Aggregation (Extended Abstract)	1992	PODS
4	5,210	On the Expressive Power of Logic Programming Languages with Sets	1988	PODS
5	11,968	Stable Model Semantics for Tuple-Generating Dependencies Revisited	2017	PODS
6	1,419	Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model	1989	PODS
7	4,831	Stable Models and Non-Determinism in Logic Programs with Negation	1990	PODS
8	8,295	The Expressive Powers of the Logic Programming Semantics	1990	PODS
9	1,522	Unfounded Sets and Well-Founded Semantics for General Logic Programs	1988	PODS
10	8,621	Three-Valued Formalization of Logic Programming: Is It Needed?	1990	PODS