Syntactic propositional belief bases fusion with removed sets

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

Volumn 4724 LNAI, Issue , 2007, Pages 66-77

  Hue, Julien ^a   Papini, Odile ^b   Wurbel, Eric ^a  

^a UNIVERSITÉ DE TOULON   (France)

^b AIX MARSEILLE UNIVERSITY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; INFORMATION FUSION; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; PROBLEM SOLVING; SET THEORY;

CLASSICAL FUSION OPERATIONS; REMOVED SETS FUSION (RSF);

SYNTACTICS;

EID: 38049173325     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75256-1_9     Document Type: Conference Paper

References (27)

1. Baral, C., Kraus, S., Minker, J., Subrahmanian, V.S.: Combining knowledge bases consisting of first order theories. In: ISMIS, pp. 92-101 (1991)
2. Revesz, P.Z.: On the semantics of theory change: arbitration between old and new information. In: 12th ACM symp. on Principles of Databases, pp. 71-92 (1993)
3. Lin, J.: Integration of weighted knowledge bases. AI 83, 363-378 (1996)
4. Revesz, P.Z.: On the semantics of arbitration. J. of Alg. and Comp. 7(2), 133-160 (1997)
5. Cholvy, L.: Reasoning about merging information. Handbook of Defeasible Reasoning and Uncertainly Management Systems 3, 233-263 (1998)
6. Konieczny, S., Pérez, R.P.: On the logic of merging. In: Proc. of KR'98, pp. 488-498 (1998)
7. Lafage, C., Lang, J.: Logical representation of preferences for group decision making. In: Proc. of KR'00, Breckenridge, pp. 457-468 (2000)
8. Konieczny, S.: On the difference between merging knowledge bases and combining them. In: Proc. of KR2000, Breckenridge, pp. 135-144. Morgan Kaufmann, San Francisco (2000)
9. Delgrande, J., Dubois, D., Lang, J.: Iterated revision as prioritized merging. In: Proc. of KR06, Lake District (UK), pp. 210-220. AAAI Press, Stanford (2006)
10. Fagin, R., Kuper, G.M., Ullman, J.D., Vardi, M.Y.: Updating logical databases. Advances in Comp. Research, 1-18 (1986)
11. Meyer, T., Ghose, A., Chopra, S.: Syntactic representations of semantic merging operations. In: IJCAI'01 Workshop on Incons. in Data and Knowledge (2001)
12. Konieczny, S., Lang, J., Marquis, P.: Distance-based merging: A general framework and some complexity results. In: Proc. of KR'02, pp. 97-108 (2002)
13. Dubois, D., Lang, J., Prade, H.: Possibilistic Logic. Handbook of Logic in Artificial Intelligence and Logic Programming 3, 439-513 (1994)
14. Benferhat, S., Dubois, D., Kaci, S., Prade, H.: Possibilistic Merging and Distancebased Fusion of Propositional Information. AMAI'02 34(1-3), 217-252 (2002)
15. Papini, O.: A complete revision function in propositionnal calculus. In: Proc. of ECAI92, pp. 339-343. J. Wiley and Sons, Chichester (1992)
16. Würbel, E., Jeansoulin, R., Papini, O.: Revision: An application in the framework of gis. In: Proc. of KR'00, Breckenridge, pp. 505-516 (2000)
17. Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: The kr system div: progress report, comparison and benchmarks. In: Proc. of KR'98, pp. 406-417 (1998)
18. Cholewinski, P., Marek, V., Mikitiuk, A., Truszczynski, M.: Computing with default logic. AI 112, 105-146 (1999)
19. Rao, P., Sagonas, K., Swift, W.D.S., Friere, J.: Xsb: A system for efficiently computing well-founded semantics. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. Lecture Notes in Computer Science(LNAI), vol. 1265, pp. 430-440. Springer, Heidelberg (1997)
20. Niemelä, I., Simons, P.: An implementation of stable model and well-founded semantics for normal logic programs. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265, pp. 420-429. Springer, Heidelberg (1997)
21. Linke, T.: More on nomore. In: Proc. of NMR'02 (2002)
22. Lin, J., Mendelzon, A.O.: Merging databases under constraints. IJCIS'98 7(1), 55-76 (1998)
23. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. of the Fifth Int. Conf. on Logic Prog., pp. 1070-1080. MIT Press, Cambridge (1988)
24. Simons, P.: Extending and implementing the stable model semantics (2000)
25. Konieczny, S.: La logique du changement - Revision et fusion de connaissances. PhD thesis, Univ. de Lille (1999)
26. Bennaim, J., Benferhat, S., Papini, O., Würbel, E.: An answer set programming encoding of prioritized removed sets revision: application to gis. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 604-616. Springer, Heidelberg (2004)
27. Delgrande, J., Dubois, D., Lang, J.: Iterated revision as prioritized merging. In: Proc. of KR'06, Windermere, pp. 210-220 (2006)