Merging first-order knowledge using dilation operators

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4932 LNCS, Issue , 2008, Pages 132-150

  Gorogiannis, Nikos ^a   Hunter, Anthony ^a  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CANNING; FORMAL LOGIC; FOUNDATIONS;

APPLICATIONS.; DILATION OPERATORS; FIRST ORDERS; FIRST-ORDER LOGIC; INTERNATIONAL SYMPOSIUM; KNOWLEDGE BASES; KNOWLEDGE SYSTEMS; MERGING OPERATORS; MODEL-BASED; PROPOSITIONAL LOGICS;

MERGING;

EID: 49949113783     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77684-0_11     Document Type: Conference Paper

References (21)

1. Baral, C., Kraus, S., Minker, J.: Combining multiple knowledge bases. IEEE Transactions on Knowledge and Data Engineering 3(2), 208-220 (1991)
2. Revesz, P.Z.: On the semantics of arbitration. Journal of Algebra and Computation 7(2), 133-160 (1997)
3. Liberatore, P., Schaerf, M.: Arbitration (or how to merge knowledge bases). IEEE Transactions on Knowledge and Data Engineering 10(1), 76-90 (1998)
4. Lin, J., Mendelzon, A.O.: Merging databases under constraints. International Journal of Cooperative Information Systems 7(1), 55-76 (1998)
5. Everaere, P., Konieczny, S., Marquis, P.: Quota and Gmin merging operators. In: IJCAI 2005. Nineteenth International Joint Conference on Artificial Intelligence, pp. 424-429 (2005)
6. Konieczny, S., Pérez, R.P.: On the logic of merging. In: KR 1998. Sixth International Conference on Principles of Knowledge Representation and Reasoning, pp. 488-498 (1998)
7. Konieczny, S., Pérez, R.P.: Merging with integrity constraints. In: Hunter, A., Parsons, S. (eds.) ECSQARU 1999. LNCS (LNAI), vol. 1638, pp. 233-244. Springer, Heidelberg (1999)
8. Konieczny, S., Pérez, R.P.: Merging Information Under Constraints: A Logical Framework. Journal of Logic and Computation 12(5), 773-808 (2002)
9. 2 merging operators. Artificial Intelligence 157(1-2), 49-79 (2004)
10. Baral, C., Kraus, S., Minker, J., Subrahmanian, V.S.: Combining knowledge bases consisting of first-order theories. Computational Intelligence 8, 45-71 (1992)
11. Chacón, J.L., Pérez, R.P.: Merging operators: Beyond the finite case. Information Fusion 7(1), 41-60 (2006)
12. Booth, R.: Social contraction and belief negotiation. In: KR 2002. Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning, pp. 375-384. Morgan Kaufmann, San Francisco (2002)
13. Konieczny, S.: On the difference between merging knowledge bases and combining them. In: Cohn, A.G., Giunchiglia, F., Selman, B. (eds.) KR 2000. International Conference on Principles of Knowledge Representation and Reasoning, pp. 135-144. Morgan Kaufmann, San Francisco (2000)
14. Bloch, I., Lang, J.: Towards Mathematical Morpho-Logics. In: Technologies for Constructing Intelligent Systems, vol. 2, pp. 367-380. Springer, Heidelberg (2002)
15. Lehmann, D., Magidor, M., Schlechta, K.: Distance semantics for belief revision. Journal of Symbolic Logic 66(1), 295-317 (2001)
16. Levesque, H.J., Lakemeyer, G.: The Logic of Knowledge Bases. MIT Press, Cambridge (2000)
17. Gorogiannis, N., Hunter, A.: Implementing semantic merging operators using binary decision diagrams. Technical report, University College London (2007)
18. Dalal, M.: Investigations into a theory of knowledge base revision. In: AAAI 1988. Proceedings of the Seventh National Conference on Artificial Intelligence, vol. 2, pp. 475-479 (1988)
19. Granne, G., Mendelzon, A.O., Revesz, P.Z.: Knowledgebase transformations. Journal of Computer and System Sciences 54(1), 98-112 (1997)
20. Hamming, R.W.: Error detecting and error correcting codes. Bell System Technical Journal 29, 147-160 (1950)
21. Lafage, C., Lang, J.: Prepositional distances and compact preference representation. European Journal of Operational Research 160(3), 741-761 (2005)