On the Semantics of Theory Change: Arbitration between Old and New Information

Summary: Introduces arbitration as a third form of theory change—new information treated as an equal ‘voice’ among existing beliefs, making the operator commutative and distinct from revision/update. Gives postulates, a model-theoretic characterization for propositional theories, and a weighted-extension assigning weights to models. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 988
Venue: PODS
Year: 1993
Pagerank: 5.093636e-05
Overall Rank: 13,048 | 10.48%
DOI: 10.1145/153850.153857

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

1. Peter Z. Revesz (University of Nebraska–Lincoln; University of Toronto)

BibTeX Citation

@inproceedings{revesz_pods93,
        address = {New York, NY, USA},
        series = {{PODS} '93},
        title = {{On the Semantics of Theory Change: Arbitration between Old and New Information}},
        url = {https://dl.acm.org/doi/10.1145/153850.153857},
        doi = {10.1145/153850.153857},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Revesz, Peter Z.},
        year = {1993}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

Outgoing Citations (Sorted by Pagerank)

Showing 5 of 5 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
602	On the Semantics of Updates in Databases	1983	PODS	0.00015856828
2,402	Update Semantics for Incomplete Databases	1985	VLDB	8.6276184e-05
2,506	On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals	1992	PODS	8.4897076e-05
3,712	Non-Deterministic Languages to Express Deterministic Transformations	1990	PODS	7.1777407e-05
13,082	Knowledgebase Transformations	1992	PODS	5.093636e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	2,934	Data Exchange and Incomplete Information	2006	PODS
2	1,419	Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model	1989	PODS
3	5,984	Database Updates Through Abduction	1990	VLDB
4	13,082	Knowledgebase Transformations	1992	PODS
5	12,953	Referential Actions as Logical Rules	1997	PODS
6	6,722	A Model-Theoretic Approach to Updating Logical Databases (Extended Abstract)	1986	PODS
7	2,506	On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals	1992	PODS
8	3,161	On the Equivalence of Logical Databases	1984	PODS
9	602	On the Semantics of Updates in Databases	1983	PODS
10	13,149	A Framework for Comparison of Update Semantics (Extended Abstract)	1988	PODS