On the semantics of arbitration

International Journal of Algebra and Computation

Volumn 7, Issue 2, 1997, Pages 133-160

  Revesz, Peter Z ^a  

^a UNIVERSITY OF NEBRASKA LINCOLN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031515617     PISSN: 02181967     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218196797000095     Document Type: Article

References (41)

1. S. Abiteboul and G. Grahne, Update semantics for incomplete databases, Proc. of the Eleventh Int. Conf. on Very Large Databases (1985), 1-12.
2. S. Abiteboul and E. Simon and V. Vianu, Non-deterministic languages to express deterministic transformations, Proc. of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database System, 1990, 218-229.
3. C. E. Alchourrón, P. Gärdenfors and D. Makinson, On the logic of theory change: Partial meet contraction and revision functions, J. Symbolic Logic 50 (1985), 510-530.
4. F. Bancilhon and N. Spyratos, Update semantics of relational views, AMS Trans. on Database Systems 4 (1981), 557-575.
5. C. Baral, S. Kraus and J. Minker, Combining multiple knowledge bases, IEEE Trans. on Knowledge and Data Engineering 3(2) (1991), 208-220.
6. C. Baral, S. Kraus and J. Minker and V. S. Subrahmanian, Combining knowledge bases of first-order theories, Computational Intelligence 8(1) (1992), 45-71.
7. A. Benczur, A. Novak and P. Z. Revesz, On weighted knowledgebase transformation in Proc. Fourth Symposium on Programming Languages and Software Tools, Visegrad, Hungary, 1995, 404-415.
8. A. Benczur, A. Novak and P. Z. Revesz, On classical and weighted knowledgebase transformations, Computers and Mathematics, in print.
9. A. J. Bonner, Hypothetical Datalog: Complexity and Expressibility, Theoretical Computer Science, 76 (1990), 3-51.
10. A. Borgida, Language features for flexible handling of exceptions in information systems, ACM Trans. on Database Systems, 10 (1985), 563-603.
11. A. Borgida and T. Imielinski, Decision making in committees: A framework for dealing with inconsistency and non-monotonicity, Proc. Workshop on Nonmonotonic Reasoning, 1984, 21-32.
12. M. Dalal, Investigations into a theory of knowledge base revision: Preliminary report, Proc. AAAI, 1988, 475-479.
13. T. Eiter and G. Gottlob, On the complexity of propositional knowledge base revision, updates, and counterfactuals, Proc. of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992, 261-273.
14. R. Fagin, J. D. Ullman and M. Y. Vardi, On the semantics of updates in databases, Proc. of the Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1983, 352-365.
15. R. Fagin, G. Kuper, J. D. Ullman and M. Y. Vardi, Updating logical databases, Advances in Computing Research, Vol. 3, P. C. Kanellakis and F. Preparata eds., JAI Press, 1986, pp. 1-18.
16. D. M. Gabbay, N-Prolog: an extension of Prolog with hypothetical implications. II. Logical foundations and negation as failure, J. of Logic Programming 2 (1985), 251-283.
17. P. Gärdenfors, Knowledge in Flux: Modeling the Dynamics of Epistemic States, Bradford Books, MIT Press, Cambridge, MA, 1988.
18. M. L. Ginsberg, Counterfactuals, Artificial Intelligence 30 (1) (1986).
19. G. Grahne, Updates and counterfactuals, Proc. of the Second Int. Conf. on Principles of Knowledge Representation and Reasoning, 1991, 269-276.
20. G. Grahne and A. O. Mendelzon, Updates and subjunctive queries, R. Demolombe, T. Imielinski and L. Farinãs del Cerro (Eds.), Workshop on Nonstandard Queries and Answers, 1991, 33-52.
21. G. Grahne, A. O. Mendelzon and P. Z. Revesz, Knowledgebase tranformations, Proc. of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992, 246-260.
22. A. Grove, Two modellings for theory change, J. of Philosophical Logic, Vol. 17 (1988), 157-170.
23. S. O. Hansson, Belief Base Dynamics, Ph. D. thesis, Department of Philosophy, Uppsala University, 1991.
24. J. Lin and A. O. Mendelzon, Private communication.
25. A. M. Keller and M. Winslett Wilkins, On the use of an extended relational model to handle changing incomplete information, IEEE Trans. on Software Engineering 11(7) (1985), 620-633.
26. H. Katsuno and A. O. Mendelzon, A unified view of propositional knowledge base updates, Proc. of the Eleventh Int. Joint Conf. on Artificial Intelligence, 1989, 1413-1419.
27. H. Katsuno and A. O. Mendelzon, Propositional knowledge base revision and minimal change, Artificial Intelligence, 52 (1991), 263-294.
28. H. Katsuno and A. O. Mendelzon, On the difference between updating a knowledge base and revising it. In: Belief Revision, Gärdenfors, ed., pp. 183-203, Cambridge University Press, 1992. (Preliminary version in: Proc. of the Second Int. Conf. on Principles of Knowledge Representation and Reasoning, 1991, 387-394.
29. H. Katsuno and A. O. Mendelzon, On the difference between updating a knowledge base and revising it. In: Belief Revision, Gärdenfors, ed., pp. 183-203, Cambridge University Press, 1992. (Preliminary version in: Proc. of the Second Int. Conf. on Principles of Knowledge Representation and Reasoning, 1991, 387-394.
30. P. Liberatore and M. Schaerf, Arbitration: A commutative operator for belief revision, Proc. World Conf. on Artificial Intelligence, 1995.
31. J. McCarthy, Programs with common sense. In: M. Minsky, (Ed.) Semantic Information Processing, MIT Press, Cambridge, MA, 1968, 403-418.
32. D. Makinson, How to give it up: a survey of some formal aspects of the logic of theory change, Synthése 63 (1985), 347-363.
33. B. Nebel, Reasoning and Revision in Hybrid Representation Systems. Springer-Verlag Lecture Notes in Artificial Intelligence, 1990, 422.
34. R. van der Meyden, Recursively indefinite databases, Proc. of the Third Int. Conf. on Database Theory, 1990, 364-378.
35. R. Reiter, On specifying database updates, Proc. of the Third Int. Conf. on Extending Database Technology, 1992.
36. P. Z. Revesz, On the semantics of theory change: Arbitration between old and new information, Proc. of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1993, 71-82.
37. M. D. Ryan, Belief revision and ordered theory presentations, Proc. of the Eighth Amsterdam Colloquium on Logic, 1991.
38. K. Satoh, Nonmonotonic reasoning by minimal belief revision, Proc. International Conf. on Fifth Generation Systems, 1998, 455-462.
39. A. Weber, Updating propositional formulas, Proc. First Conf. on Expert Database Systems, 1986, 487-500.
40. M. Winslett, Reasoning about action using a possible models approach, Proc. Seventh National Conf. on Artificial Intelligence, 1988, 89-93.
41. L. A. Zadeh, Fuzzy sets as a basis for a theory of possibility, Fuzzy Sets and Systems 1(1) (1978), 3-28.