Comparing disjunctive well-founded semantics

CEUR Workshop Proceedings

Volumn 277, Issue , 2007, Pages

  Knorr, Matthias ^a   Hitzler, Pascal ^b  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^b UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET PROGRAMMING; DISJUNCTIVE LOGIC PROGRAMS; DISJUNCTIVE STABLE MODELS; DISJUNCTIVE WELL-FOUNDED SEMANTICS; LOGIC PROGRAMMING SEMANTICS; LOGIC PROGRAMS; STABLE MODEL SEMANTICS; WELL FOUNDED SEMANTICS;

ARTIFICIAL INTELLIGENCE; LOGIC PROGRAMMING;

SEMANTICS;

EID: 79551679194     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In Kowalski, R.A., Bowen, K.A., eds.: Logic Programming. Proceedings of the 5th International Conference and Symposium on Logic Programming, MIT Press (1988) 1070-1080
2. van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the ACM 38 (1991) 620-650
3. Lobo, J., Minker, J., Rajasekar, A.: Foundations of Disjunctive Logic Programming. MIT Press (1992)
4. Minker, J., Seipel, D.: Disjunctive logic programming: A survey and assessment. In: Essays in Honour of Robert A. Kowalski, Part I, LNAI 2407, Springer (2002)
5. Przymusinski, T.C.: Stable semantics for disjunctive programs. New Generation Computing 9 (1991) 401-424
6. Ross, K.A.: The well founded semantics for disjunctive logic programs. In Kim, W., Nicolas, J.M., Nishio, S., eds.: First International Conference on Deductive and Object Oriented Databases, Elsevier Science Publishers B.V. (North-Holland) (1990) 385-402
7. Baral, C., Lobo, J., Minker, J.: Generalized disjunctive well-founded semantics for logic programs. In Z. W. Ras, M.Z., Emrich, M., eds.: Proceedings of the Fifth International Symposium on Methodologies for Intelligent Systems. ACM SIGMOD-SIGACT-SIGART, North Holland (1989) 465-473
8. Yahya, A., Henschen, L.: Deduction in non-Horn databases. Journal Automated Reasoning 1 (1985) 141-160
9. Brass, S., Dix, J.: Disjunctive semantics based upon partial and bottom-up evaluation. In: Proceedings of the 12th International Logic Programming Conference, Tokyo, MIT Press (1995) 199-213
10. Hitzler, P., Wendt, M.: A uniform approach to logic programming semantics. Theory and Practice of Logic Programming 5 (2005) 123-159
11. Knorr, M., Hitzler, P.: A comparison of disjunctive well-founded semantics. Technical report, AIFB, University of Karlsruhe, Germany (2006) http://www.aifb.uni-karlsruhe.de/Publikationen/showPublikation?publid=1383.
12. Minker, J.: On indefinite databases and the closed world assumption. In: Lecture Notes in Computer Science 138, Springer, Berlin (1982) 292-308
13. Dix, J., Stolzenburg, F.: Computation of non-ground disjunctive well-founded semantics with constraint logic programming. In Dix, J., Pereira, L.M., Przymusin-ski, T.C., eds.: Selected Papers of the Workshop on Non-Monotonic Extensions of Logic Programming in Conjunction with Joint International Conference and Symposium on Logic Programming 1996, Springer, Berlin, Heidelberg, New York (1997) 202-224 (Pubitemid 127061846)
14. Dix, J., Müller, M.: An axiomatic approach to semantics of disjunctive programs. In van Hentenryck, P., ed.: Logic Programming, Proc. of the 11th International Conference, MIT Press (1994) 303-320
15. Ben-Eliyahu, R., Dechter, R.: Propositional semantics for disjunctive logic programs. Ann. Math. Artif. Intell. 12 (1994) 53-87
16. Wang, K., Zhou, L.: Comparisons and computation of well-founded semantics for disjunctive logic programs. ACM Trans. Comput. Logic 6 (2005) 295-327 (Pubitemid 40479435)
17. Alcântara, J., Damásio, C.V., Pereira, L.M.: A well-founded semantics with disjunction. In M. Gabbrielli, G.G., ed.: Proceedings of the 21st Intl. Conf. on Logic Programming (ICLP '05). LNCS 3668, Springer (2005) 341-355 (Pubitemid 41491612)
18. Przymusinski, T.: Stationary Semantics for Normal and Disjunctive Logic Programs. In Delobel, C., Kifer, M., Masunaga, Y., eds.: DOOD '91, Proceedings of the 2nd International Conference, Springer, LNCS 566 (1991)
19. Przymusinski, T.C.: Static semantics for normal and disjunctive logic programs. Annals of Mathematics and Artificial Intelligence 14 (1995) 323-357
20. Baral, C., Lobo, J., Minker, J.: Wf 3: A semantics for negation in normal disjunctive logic programs. In Ras, Z.W., Zemankova, M., eds.: Methodologies for Intelligent Systems, LNAI 542, Springer (1991) 459-468