Modularity aspects of disjunctive stable models

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

Volumn 4483 LNAI, Issue , 2007, Pages 175-187

  Janhunen, Tomi ^a   Oikarinen, Emilia ^a   Tompits, Hans ^b   Woltran, Stefan ^b  

^a AALTO UNIVERSITY   (Finland)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; LOGIC PROGRAMMING; SEMANTICS; THEOREM PROVING;

COMPOSITIONAL SEMANTICS; DISJUNCTIVE LOGIC PROGRAMS (DLPS); NONMONOTONIC LOGIC PROGRAMMING LANGUAGES; STABLE-MODEL SEMANTICS;

MODULATION;

EID: 38049011403     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72200-7_16     Document Type: Conference Paper

References (16)

1. Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing 9 (1991) 365-385
2. Gaifman, H., Shapiro, E.: Fully Abstract Compositional Semantics for Logic Programs. In: Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages (POPL'89). (1989) 134-142
3. Eiter, T., Gottlob, G., Veith, H.: Modular Logic Programming and Generalized Quantifiers. In: Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'97). Volume 1265 of LNCS, Springer (1997) 290-309
4. Baral, C., Dzifcak, J., Takahashi, H.: Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming. In: Proceedings of the 22nd International Conference on Logic Programming (ICLP'06). Volume 4079 of LNCS, Springer (2006) 376-390
5. Lifschitz, V., Turner, H.: Splitting a Logic Program. In: Proceedings of the 11th International Conference on Logic Programming (ICLP'94), MIT Press (1994) 23-37
6. Eiter, T., Gottlob, G., Mannila, H.: Disjunctive Datalog. ACM Transactions on Database Systems 22(3) (1997) 364-418
7. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Effective Integration of Declarative Rules with External Evaluations for Semantic Web Reasoning. In: Proceedings of the 3rd European Semantic Web Conference (ESWC'06). Volume 4011 of LNCS, Springer (2006) 273-287
8. Oikarinen, E., Janhunen, T.: Modular Equivalence for Normal Logic Programs. In: Proceedings of the 17th European Conference on Artificial Intelligence (ECAI'06). (2006) 412-416.
9. Gelfond, M.: Representing Knowledge in A-Prolog. In Kakas, A., Sadri, F., eds.: Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II. Volume 2408 of LNCS, Springer (2002) 413-451
10. Janhunen, T.: Some (In)translatability Results for Normal Logic Programs and Prepositional Theories. Journal of Applied Non-Classical Logics 16(1-2) (2006) 35-86
11. Janhunen, T., Oikarinen, T.: Automated Verification of Weak Equivalence within the SMODELS System. Theory and Practice of Logic Programming (2006). To appear
12. Ben-Eliyahu, R., Dechter, R.: Prepositional Semantics for Disjunctive Logic Programs. Annals of Mathematics and Artificial Intelligence 12(1-2) (1994) 53-87
13. Lifschitz, V.: Computing Circumscription. In: Proceedings of the 9th International Joint Conference on Artificial Intelligence (UCAF 85), Morgan Kaufmann (1985) 121-127
14. Eiter, T., Fink, M., Tompits, H., Woltran, T.: Simplifying Logic Programs under Uniform and Strong Equivalence. In: Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'03). Volume 2923 of LNAI, Springer (2004) 87-99
15. Eiter, T., Tompits, H., Woltran, S.: On Solution Correspondences in Answer-Set Programming. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI'05), Professional Book Center (2005) 97-102
16. Faber, W., Greco, G., Leone, N.: Magic Sets and Their Application to Data Integration. In: Proceedings of the 10th International Conference on Database Theory (ICDT'05). Volume 3363 of LNCS, Springer (2005) 306-320