Combining answer sets of nonmonotonic logic programs

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

Volumn 3900 LNAI, Issue , 2006, Pages 320-339

  Sakama, Chiaki ^a   Inoue, Katsumi ^b  

^a WAKAYAMA UNIVERSITY   (Japan)

^b NATIONAL INSTITUTE OF INFORMATICS   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; KNOWLEDGE BASED SYSTEMS; MULTI AGENT SYSTEMS; SEMANTICS;

COMPOSITIONAL SEMANTICS; EXTENDED DISJUNCTIVE PROGRAMS; NONMONOTONIC LOGIC PROGRAMS; PROGRAM Q;

LOGIC PROGRAMMING;

EID: 33745586098     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11750734_18     Document Type: Conference Paper

References (23)

1. C. Baral, S. Kraus, and J. Klinker. Combining multiple knowledge bases. IEEE Transactions of Knowledge and Data Engineering, 3(2):208-220, 1991.
2. C. Baral, S. Kraus, J. Minker, and V. S. Subrahmanian. Combining knowledge base consisting of first-order theories. Computational Intelligence, 8:45-71, 1992.
3. C. Baral and M. Gelfond. Logic programming and knowledge representation. Journal of Logic Programming, 19/20.73-148, 1994.
4. R. Ben-Eliyahu and R. Dechter. Propositional semantics for disjunctive logic programs. Annals of Mathematics and Artificial Intelligence, 12(1):53-87, 1994.
5. S. Brass and J. Dix. Characterizations of the disjunctive stable semantics by partial evaluation. Journal of Logic Programming, 32(3):207-228, 1997.
6. A. Brogi, S. Contiero, and F. Turini. Programming by combining general logic programs. Journal of Logic and Computation, 9(1):7-24, 1999.
7. A. Brogi. On the semantics of logic program composition. Program Development in Computational Logic, Lecture Notes in Computer Science, 3049, pp. 115-151, Springer, 2004.
8. A. Brogi, E. Lamma, P. Mancarella, and P. Mello. A unifying view for logic programming with nonmonotonic reasoning. Theoretical Computer Science, 184(1):159, 1997.
9. F. Bry, A compositional semantics for logic programs and deductive databases. Proceedings of the Joint International Conference and Symposium on Logic Programming, pp. 453-467, MIT Press, 1996.
10. F. Buccafurri and G. Gottlob. Multiagent compromises, joint fixpoints, and stable models. Computational Logic: Logic Programming and Beyond, Lecture Notes in Artificial Intelligence 2407, pp. 561-585, Springer, 2002.
11. F. Buccafurri, W. Faber, and N. Leone. Disjunctive programs with inheritance. Proceedings of the 1999 International Conference on Logic Programming, pp. 79-93, MIT Press, 1999.
12. M. Bugliesi, E. Lamma, and P. Mello. Modularity in logic programming. Journal of Logic Programming, 19/20:443-502, 1994.
13. M. De. Vos and D. Vermeir. Extending answer sets for logic programming agents. Annals of Mathematics and Artificial Intelligence, 42: 103-139, 2004.
14. S. Etalle and F. Teusink. A compositional semantics for normal open programs. Proceedings of the Joint International Conference and Symposium on Logic Programming, pp. 468-482, MIT Press, 1988.
15. W. Faber, N. Leone, and G. Pfeifer. Recursive aggregates in disjunctive logic programs: semantics and complexity. Proceedings of the 9th European Conference on Logics in Artificial Intelligence, Lecture Notes in Artificial Intelligence, 3229, pp. 200-212, Springer, 2004.
16. M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9(3/4).-365-385, 1991.
17. K. Inoue and C. Sakama. Negation as failure in the head. Journal of Logic Programming, 35(1):39-78, 1998.
18. S. Konieczny and R. Pino-Pérez. On the logic of merging. Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning, pp. 488-498, Morgan Kaufmann, 1998.
19. J. A. Leite. Evolving Knowledge Bases, Specification and Semantics. IOS Press, 2003.
20. P. Liberators and M. Schaerf. Arbitration (or how to merge knowledge bases). IEEE Transactions on Knowledge and Data Engineering, 10(1):76-90, 1998.
21. S. Pradhan and J. Minker. Using priorities to combine knowledge bases. Journal of Cooperative Information Systems, 5(2&3):333-364. 1996.
22. C. Sakama and K. Inoue. Coordination between logical agents. Proceedings of the 5th International Workshop on Computational Logic in Multi-Agent Systems, Lecture Notes in Artificial Intelligence 3487, pp. 161-177, Springer, 2005.
23. S. Verbaeten, M. Denecker, and D. De. Schreye. Compositionality of normal open logic programs. Proceedings of the 1997 International Symposium on Logic Programming, pp. 371-385, MIT Press, 1997.