메뉴 건너뛰기




Volumn 5956 LNCS, Issue , 2010, Pages 133-152

Possibilistic semantics for logic programs with Ordered Disjunction

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMS; LOGIC PROGRAMS WITH ORDERED DISJUNCTIONS; POSSIBILISTIC; POSSIBILISTIC LOGIC; REALISTIC APPLICATIONS; REASONING PROCESS; TRANSFORMATION RULES;

EID: 77951119242     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-11829-6_11     Document Type: Conference Paper
Times cited : (14)

References (43)
  • 1
    • 0036736416 scopus 로고    scopus 로고
    • Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants
    • Alsinet, T., Godo, L.: Towards an Automated Deduction System for First-Order Possibilistic Logic Programming with Fuzzy Constants. International Journal of Intelligent Systems 17(9), 887-924 (2002)
    • (2002) International Journal of Intelligent Systems , vol.17 , Issue.9 , pp. 887-924
    • Alsinet, T.1    Godo, L.2
  • 2
    • 31644443616 scopus 로고    scopus 로고
    • CR-Prolog with Ordered Disjunction
    • Balduccini, M., Mellarkod, V. (eds.) CEUR Workshop Proceedings CEUR-WS.org
    • Balduccini, M., Mellarkod, V.: CR-Prolog with Ordered Disjunction. In: Balduccini, M., Mellarkod, V. (eds.) Advances in Theory and Implementation. CEUR Workshop Proceedings, vol.78, CEUR-WS.org, pp. 98-112 (2003)
    • (2003) Advances in Theory and Implementation , vol.78 , pp. 98-112
    • Balduccini, M.1    Mellarkod, V.2
  • 6
    • 64749115823 scopus 로고    scopus 로고
    • Preference handling - An introductory tutorial
    • Brafman, R.I., Domshlak, C.: Preference Handling - An Introductory Tutorial. AI Magazine 30(1), 58-86 (2009)
    • (2009) AI Magazine , vol.30 , Issue.1 , pp. 58-86
    • Brafman, R.I.1    Domshlak, C.2
  • 7
    • 84870792414 scopus 로고
    • Characterizations of the stable semantics by partial evaluation
    • Marek, V.W., Nerode, A., Truszczýnski, M. (eds.) LPNMR 1995. Springer, Heidelberg
    • Brass, S., Dix, J.: Characterizations of the Stable Semantics by Partial Evaluation. In: Marek, V.W., Nerode, A., Truszczýnski, M. (eds.) LPNMR 1995. LNCS, vol.928, pp. 85-98. Springer, Heidelberg (1995)
    • (1995) LNCS , vol.928 , pp. 85-98
    • Brass, S.1    Dix, J.2
  • 8
    • 0032050871 scopus 로고    scopus 로고
    • Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA
    • Brass, S., Dix, J.: Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA. Journal of Automated Reasoning 20(1-2), 143-165 (1998)
    • (1998) Journal of Automated Reasoning , vol.20 , Issue.1-2 , pp. 143-165
    • Brass, S.1    Dix, J.2
  • 9
    • 0032687460 scopus 로고    scopus 로고
    • Semantics of (disjunctive) logic programs based on partial evaluation
    • Brass, S., Dix, J.: Semantics of (disjunctive) Logic Programs Based on Partial Evaluation. Journal of Logic Programming 40(1), 1-46 (1999)
    • (1999) Journal of Logic Programming , vol.40 , Issue.1 , pp. 1-46
    • Brass, S.1    Dix, J.2
  • 10
    • 0003328460 scopus 로고    scopus 로고
    • Nonmonotonic reasoning: An overview
    • CSLI Publications, Stanford
    • Brewka, G., Dix, J., Konolige, K.: Nonmonotonic Reasoning: An Overview. CSLI Lecture Notes, vol.73. CSLI Publications, Stanford (1997)
    • (1997) CSLI Lecture Notes , vol.73
    • Brewka, G.1    Dix, J.2    Konolige, K.3
  • 13
    • 84858616226 scopus 로고    scopus 로고
    • A preference meta-model for logic programs with possibilistic ordered disjunction
    • September To appear in CEUR Workshop Proc. of SEA 2009, Co-located with LPNMR 2009
    • Confalonieri, R., Nieves, J.C., V́azquez-Salceda, J.: A Preference Meta-Model for Logic Programs with Possibilistic Ordered Disjunction. In: Software Engineering for Answer Set Programming (SEA 2009) (September 2009), To appear in CEUR Workshop Proc. of SEA 2009, Co-located with LPNMR 2009, http://sea09.cs.bath.ac.uk/downloads/sea09proceedings.pdf
    • (2009) Software Engineering for Answer Set Programming (SEA 2009)
    • Confalonieri, R.1    Nieves, J.C.2    V́azquez-Salceda, J.3
  • 15
    • 78650700672 scopus 로고    scopus 로고
    • Pstable semantics for logic programs with possibilistic ordered disjunction
    • Serra, R., Cucchiara, R. (eds.) AI*IA 2009. Springer, Heidelberg
    • Confalonieri, R., Nieves, J.C., V́azquez-Salceda, J.: Pstable Semantics for Logic Programs with Possibilistic Ordered Disjunction. In: Serra, R., Cucchiara, R. (eds.) AI*IA 2009. LNCS (LNAI), vol.5883, pp. 52-61. Springer, Heidelberg (2009)
    • (2009) LNCS (LNAI) , vol.5883 , pp. 52-61
    • Confalonieri, R.1    Nieves, J.C.2    V́azquez-Salceda, J.3
  • 17
    • 2442570954 scopus 로고    scopus 로고
    • A classification and survey of preference handling approaches in nonmonotonic reasoning
    • Delgrande, J., Schaub, T., Tompits, H., Wang, K.: A classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning. Computational Intelligence 20(2), 308-334 (2004)
    • (2004) Computational Intelligence , vol.20 , Issue.2 , pp. 308-334
    • Delgrande, J.1    Schaub, T.2    Tompits, H.3    Wang, K.4
  • 19
    • 0011087828 scopus 로고    scopus 로고
    • A general theory of confluent rewriting systems for logic programming and its applications
    • Dix, J., Osorio, M., Zepeda, C.: A General Theory of Confluent Rewriting Systems for Logic Programming and its Applications. Annals of Pure and Applied Logic 108(1-3), 153-188 (2001)
    • (2001) Annals of Pure and Applied Logic , vol.108 , Issue.1-3 , pp. 153-188
    • Dix, J.1    Osorio, M.2    Zepeda, C.3
  • 21
    • 1842864007 scopus 로고    scopus 로고
    • Possibilistic logic: A retrospective and prospective view
    • Dubois, D., Prade, H.: Possibilistic logic: a retrospective and prospective view. Fuzzy Sets and Systems 144(1), 3-23 (2004)
    • (2004) Fuzzy Sets and Systems , vol.144 , Issue.1 , pp. 3-23
    • Dubois, D.1    Prade, H.2
  • 24
    • 44949277265 scopus 로고
    • Bilattices and the semantics of logic programming
    • Fitting, S.: Bilattices and the Semantics of Logic Programming. Journal of Logic Programming 11(2), 91-116 (1991)
    • (1991) Journal of Logic Programming , vol.11 , Issue.2 , pp. 91-116
    • Fitting, S.1
  • 25
    • 35048887038 scopus 로고    scopus 로고
    • LPOD answer sets and nash Equilibria
    • Maher M.J. (ed.) ASIAN 2004. Springer, Heidelberg
    • Foo, N.Y., Meyer, T., Brewka, G.: LPOD Answer Sets and Nash Equilibria. In: Maher, M.J. (ed.) ASIAN 2004. LNCS, vol.3321, pp. 343-351. Springer, Heidelberg (2004)
    • (2004) LNCS , vol.3321 , pp. 343-351
    • Foo, N.Y.1    Meyer, T.2    Brewka, G.3
  • 26
    • 77951505493 scopus 로고
    • Classical negation in logic programs and disjunctive databases
    • Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing 9(3/4), 365-386 (1991)
    • (1991) New Generation Computing , vol.9 , Issue.3-4 , pp. 365-386
    • Gelfond, M.1    Lifschitz, V.2
  • 27
    • 2942639704 scopus 로고    scopus 로고
    • Combining probabilistic logic programming with the power of maximum entropy
    • Kern-Isberner, G., Lukasiewicz, T.: Combining probabilistic logic programming with the power of maximum entropy. Artificial Intelligence 157(1-2), 139-202 (2004)
    • (2004) Artificial Intelligence , vol.157 , Issue.1-2 , pp. 139-202
    • Kern-Isberner, G.1    Lukasiewicz, T.2
  • 28
    • 84858620357 scopus 로고    scopus 로고
    • Weak order equivalence for logic programs with P
    • Technische Universiẗat Wien, Austria. volume 1843-06-02 of INFSYS Research Report
    • Konczak, K.: Weak Order Equivalence for Logic Programs with P. In: Workshop on Logic Programming, Technische Universiẗat Wien, Austria. volume 1843-06-02 of INFSYS Research Report, pp. 154-163 (2006)
    • (2006) Workshop on Logic Programming , pp. 154-163
    • Konczak, K.1
  • 29
    • 38049028343 scopus 로고    scopus 로고
    • Logic programming and nonmonotonic reasoning: From theory to systems and applications
    • Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. Springer, Heidelberg
    • Leone, N.: Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.4483, p. 1. Springer, Heidelberg (2007)
    • (2007) LNCS (LNAI) , vol.4483 , pp. 1
    • Leone, N.1
  • 33
    • 0000187751 scopus 로고
    • On theories with a combinatorial definition of equivalence
    • Newman, M.H.A.: On Theories with a Combinatorial Definition of Equivalence. The Annals of Mathematics 43(2), 223-243 (1942)
    • (1942) The Annals of Mathematics , vol.43 , Issue.2 , pp. 223-243
    • Newman, M.H.A.1
  • 36
    • 38048999560 scopus 로고    scopus 로고
    • Semantics for possibilistic disjunctive programs
    • Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. Springer, Heidelberg
    • Nieves, J.C., Osorio, M., Cort́es, U.: Semantics for Possibilistic Disjunctive Programs. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.4483, pp. 315-320. Springer, Heidelberg (2007)
    • (2007) LNCS (LNAI) , vol.4483 , pp. 315-320
    • Nieves, J.C.1    Osorio, M.2    Cort́es, U.3
  • 37
    • 84879489747 scopus 로고    scopus 로고
    • Equivalence in answer set programming
    • Pettorossi A. (ed.) LOPSTR 2001. Springer, Heidelberg
    • Osorio, M., Navarro, J.A., Arrazola, J.: Equivalence in Answer Set Programming. In: Pettorossi, A. (ed.) LOPSTR 2001. LNCS, vol.2372, pp. 57-75. Springer, Heidelberg (2002)
    • (2002) LNCS , vol.2372 , pp. 57-75
    • Osorio, M.1    Navarro, J.A.2    Arrazola, J.3
  • 38
    • 38149023272 scopus 로고    scopus 로고
    • PStable semantics for possibilistic logic programs
    • Gelbukh, A., Kuri Morales, ́A.F. (eds.) MICAI 2007. Springer, Heidelberg
    • Osorio, M., Nieves, J.C.: PStable Semantics for Possibilistic Logic Programs. In: Gelbukh, A., Kuri Morales, ́A.F. (eds.) MICAI 2007. LNCS (LNAI), vol.4827, pp. 294-304. Springer, Heidelberg (2007)
    • (2007) LNCS (LNAI) , vol.4827 , pp. 294-304
    • Osorio, M.1    Nieves, J.C.2
  • 39
    • 17044394884 scopus 로고    scopus 로고
    • Useful transformations in answer set programming
    • Provetti, A., Son, T.C. (eds.) Stanford, E.U. AAAI Press, Stanford
    • Osorio, M., Nieves, J.C., Giannella, C.: Useful Transformations in Answer Set Programming. In: Provetti, A., Son, T.C. (eds.) AAAI 2001 Spring Symposium Series, Stanford, E.U., pp. 146-152. AAAI Press, Stanford (2001)
    • (2001) AAAI 2001 Spring Symposium Series , pp. 146-152
    • Osorio, M.1    Nieves, J.C.2    Giannella, C.3
  • 40
    • 0003361385 scopus 로고    scopus 로고
    • Transformation of logic programs
    • Gabbay, D.M., Robinson, J.A., Hogger, C.J. (eds.) Oxford University Press, Oxford
    • Pettorossi, A., Proietti, M.: Transformation of Logic Programs. In: Gabbay, D.M., Robinson, J.A., Hogger, C.J. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol.5, pp. 697-787. Oxford University Press, Oxford (1998)
    • (1998) Handbook of Logic in Artificial Intelligence and Logic Programming , vol.5 , pp. 697-787
    • Pettorossi, A.1    Proietti, M.2
  • 41
    • 0004277312 scopus 로고
    • Readings in nonmonotonic reasoning
    • Reiter, R. (ed.) ch. A Morgan Kaufmann Publishers Inc., San Francisco
    • Reiter, R.: Readings in Nonmonotonic Reasoning. In: Reiter, R. (ed.) Logic for Default Reasoning, ch. A, pp. 68-93. Morgan Kaufmann Publishers Inc., San Francisco (1987)
    • (1987) Logic for Default Reasoning , pp. 68-93
    • Reiter, R.1
  • 42
    • 0006745915 scopus 로고
    • A semantical approach to nonmonotonic logics
    • Ginsberg M.L. (ed.) Morgan Kaufmann Publishers Inc., San Francisco
    • Shoham, Y.: A Semantical Approach to Nonmonotonic Logics. In: Ginsberg, M.L. (ed.) Readings in Nonmonotonic Reasoning, pp. 227-250. Morgan Kaufmann Publishers Inc., San Francisco (1987)
    • (1987) Readings in Nonmonotonic Reasoning , pp. 227-250
    • Shoham, Y.1
  • 43
    • 84879982984 scopus 로고    scopus 로고
    • Applications of p using answer set programming
    • Zepeda, C., Osorio, M., Nieves, J.C., Solnon, C., Sol D. (eds.) CEUR Workshop Proceedings, CEUR-WS.org
    • Zepeda, C., Osorio, M., Nieves, J.C., Solnon, C., Sol, D.: Applications of P using Answer Set Programming. In: Zepeda, C., Osorio, M., Nieves, J.C., Solnon, C., Sol, D. (eds.) Proc. of the 3rd Intl. Workshop in Advances in Theory and Implementation. CEUR Workshop Proceedings, CEUR-WS.org, vol.142 (2005)
    • (2005) Proc. of the 3rd Intl. Workshop in Advances in Theory and Implementation , vol.142
    • Zepeda, C.1    Osorio, M.2    Nieves, J.C.3    Solnon, C.4    Sol, D.5


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.