Relevance-driven evaluation of modular nonmonotonic logic programs

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

Volumn 5753 LNAI, Issue , 2009, Pages 87-100

  Dao Tran, Minh ^a   Eiter, Thomas ^a   Fink, Michael ^a   Krennwallner, Thomas ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

CONTEXT DEPENDENT; EXPONENTIAL INCREASE; MODULE INSTANCE; NONMONOTONIC LOGIC PROGRAMS; PROBLEM REPRESENTATION; SET SEMANTICS; SUFFICIENT CONDITIONS; TOPDOWN;

LOGIC PROGRAMMING;

EID: 70349850656     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04238-6_10     Document Type: Conference Paper

References (13)

1. Eiter, T., Gottlob, G., Veith, H.: Modular Logic Programming and Generalized Quantifiers. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.1265, pp. 290-309. Springer, Heidelberg (1997)
2. Lifschitz, V., Turner, H.: Splitting a logic program. In: ICLP 1994, pp. 23-37. MIT Press, Cambridge (1994)
3. Janhunen, T., Oikarinen, E., Tompits, H., Woltran, S.: Modularity Aspects of Disjunctive Stable Models. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.4483, pp. 175-187. Springer, Heidelberg (2007)
4. Oikarinen, E., Janhunen, T.: Achieving compositionality of the stable model semantics for Smodels programs. Theory Pract. Log. Program. 8(5-6), 717-761 (2008)
5. Baral, C., Dzifcak, J., Takahashi, H.: Macros, Macro calls and Use of Ensembles in Modular Answer Set Programming. In: Etalle, S., Truszczýnski, M. (eds.) ICLP 2006. LNCS, vol.4079, pp. 376-390. Springer, Heidelberg (2006) (Pubitemid 44492603)
6. Calimeri, F., Ianni, G.: Template programs for Disjunctive Logic Programming: An operational semantics. AI Commun. 19(3), 193-206 (2006)
7. Bugliesi, M., Lamma, E., Mello, P.: Modularity in Logic Programming. J. Log. Program. 19/20, 443-502 (1994)
8. Brogi, A., Mancarella, P., Pedreschi, D., Turini, F.:Modular logic programming. ACMTrans. Program. Lang. Syst. 16(4), 1361-1398 (1994)
9. Dao-Tran,M., Eiter, T., Fink, M., Krennwallner, T.: Modular Nonmonotonic Logic Programming Revisited. In: ICLP 2009, pp. 145-159. Springer, Heidelberg (2009)
10. Faber, W., Leone, N., Pfeifer, G.: Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.3229, pp. 200-212. Springer, Heidelberg (2004)
11. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Effective integration of declarative rules with external evaluations for semantic web reasoning. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.4011, pp. 273-287. Springer, Heidelberg (2006)
12. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and deductive databases. New Gener. Comput. 9, 365-385 (1991)
13. Ferraris, P., Lee, J., Lifschitz, V., Palla, R.: Symmetric Splitting in the General Theory of Stable Models. In: IJCAI 2009, pp. 797-803. AAAI Press, Menlo Park (2009)