Databases Reference
In-Depth Information
81. Schaub, T., Wang, K.: A Comparative Study of Logic Programs with Preference. In: Pro-
ceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI
2001), Seattle, WA, USA, pp. 597-602. Morgan Kaufmann Publishers (August 2001)
82. Brewka, G.: Logic Programming with Ordered Disjunction. In: Proceedings of the 9th In-
ternational Workshop on Non-Monotonic Reasoning (NMR 2002), pp. 67-76 (April 2002)
83. Brewka, G., Niemela, I., Truszczynski, M.: Answer Set Optimization. In: Gottlob, G.,
Walsh, T. (eds.) Proceedings of the Eighteenth International Joint Conference on Artificial
Intelligence (IJCAI 2003), Acapulco, Mexico, pp. 867-872. Morgan Kaufmann (August
2003)
84. Balduccini, M., Gelfond, M.: Logic Programs with Consistency-Restoring Rules. In: Do-
herty, P., McCarthy, J., Williams, M. (eds.) International Symposium on Logical Formaliza-
tion of Commonsense Reasoning, AAAI 2003 Spring Symposium Series (2003)
85. Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: A Logic Programming Approach
to Knowledge-State Planning: Semantics and Complexity. ACM Transactions on Compu-
tational Logic 5(2), 206-263 (2004)
86. Dimopoulos, Y., Kakas, A.C., Michael, L.: Reasoning About Actions and Change in An-
swer Set Programming Programs. In: Lifschitz, V., Niemela, I. (eds.) LPNMR 2004. LNCS
(LNAI), vol. 2923, pp. 61-73. Springer, Heidelberg (2003)
87. Perri, S., Scarcello, F., Leone, N.: Abductive Logic Programs with Penalization: Seman-
tics, Complexity and Implementation. Theory and Practice of Logic Programming 5(1-2),
123-159 (2005)
88. Marien, M., Gilis, D., Denecker, M.: On the Relation Between ID-Logic and Answer Set
Programming. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp.
108-120. Springer, Heidelberg (2004)
89. Ricca, F., Leone, N.: Disjunctive Logic Programming with types and objects: The DLV
+
System. Journal of Applied Logics 5(3), 545-573 (2007)
90. Heymans, S., Van Nieuwenborgh, D., Hadavandi, E.: Semantic web reasoning with con-
ceptual logic programs. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323,
pp. 113-127. Springer, Heidelberg (2004)
91. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A Uniform Integration of Higher-Order
Reasoning and External Evaluations in Answer Set Programming. In: International Joint
Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, UK, pp. 90-96 (August
2005)
92. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The
Description Logic Handbook: Theory, Implementation, and Applications. Cambridge Uni-
versity Press (2003)
93. Calimeri, F., Ianni, G., Ielpa, G., Pietramala, A., Santoro, M.C.: A system with template
answer set programs. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229,
pp. 693-697. Springer, Heidelberg (2004)
94. Pearce, D., Tompits, H., Woltran, S.: Encodings for Equilibrium Logic and Logic Programs
with Nested Expressions. In: Brazdil, P.B., Jorge, A.M. (eds.) EPIA 2001. LNCS (LNAI),
vol. 2258, pp. 306-320. Springer, Heidelberg (2001)
95. Pearce, D., Sarsakov, V., Schaub, T., Tompits, H., Woltran, S.: A Polynomial Translation
of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary
Report. In: Proceedings of the 9th International Workshop on Non-Monotonic Reasoning
(NMR 2002) (2002)
96. Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Declarative Problem-Solving Using the DLV
System. In: Minker, J. (ed.) Logic-Based Artificial Intelligence, pp. 79-103. Kluwer Aca-
demic Publishers (2000)
