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: h3d24c0f9adee9879
Venue: PODS
Year: 1993
Pagerank: 4.9793485e-05
Overall Rank: 13,338 | 10.33%
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
619	On the Semantics of Updates in Databases	1983	PODS	0.00015518944
2,459	Update Semantics for Incomplete Databases	1985	VLDB	8.4353518e-05
2,557	On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals	1992	PODS	8.3008262e-05
3,796	Non-Deterministic Languages to Express Deterministic Transformations	1990	PODS	7.0166914e-05
13,372	Knowledgebase Transformations	1992	PODS	4.9793485e-05

Semantically Similar Papers

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