-
1
-
-
0036736416
-
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
-
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
-
4
-
-
65849353731
-
Probabilistic reasoning with answer sets
-
Baral, C., Gelfond, M., Rushton, N.: Probabilistic Reasoning with Answer Sets. Theory and Practice of Logic Programming 9(1), 57-144 (2009)
-
(2009)
Theory and Practice of Logic Programming
, vol.9
, Issue.1
, pp. 57-144
-
-
Baral, C.1
Gelfond, M.2
Rushton, N.3
-
5
-
-
33745008627
-
PDL with P
-
IEEE Computer Society, Washington
-
Bertino, E., Mileo, A., Provetti, A.: PDL with P. In: Proc. of the Sixth IEEE International Workshop on Policies for Distributed Systems and Networks, pp. 213-222. IEEE Computer Society, Washington (2005)
-
(2005)
Proc. of the Sixth IEEE International Workshop on Policies for Distributed Systems and Networks
, pp. 213-222
-
-
Bertino, E.1
Mileo, A.2
Provetti, A.3
-
6
-
-
64749115823
-
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
-
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
-
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
-
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
-
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
-
11
-
-
2442535018
-
Logic programs with ordered disjunction
-
Brewka, G., Niemel̈a, I., Syrj̈anen, T.: Logic Programs with Ordered Disjunction. Computational Intelligence 20(2), 333-357 (2004)
-
(2004)
Computational Intelligence
, vol.20
, Issue.2
, pp. 333-357
-
-
Brewka, G.1
Niemel̈a, I.2
Syrj̈anen, T.3
-
12
-
-
58649096599
-
P and nonmonotonic reasoning
-
Brewka, G., Niemel̈a, I., Truszczýnski, M.: P and Nonmonotonic Reasoning. AI Magazine 29(4), 69-78 (2008)
-
(2008)
AI Magazine
, vol.29
, Issue.4
, pp. 69-78
-
-
Brewka, G.1
Niemel̈a, I.2
Truszczýnski, M.3
-
13
-
-
84858616226
-
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
-
14
-
-
77951106482
-
-
Research Report LSI-09-19-R, UPC - LSI
-
Confalonieri, R., Nieves, J.C., V́azquez-Salceda, J.: Logic Programs with Possibilistic Ordered Disjunction. Research Report LSI-09-19-R, UPC - LSI (2009), http://www.lsi.upc.edu/~techreps/files/R09-19.zip
-
(2009)
Logic Programs with Possibilistic Ordered Disjunction
-
-
Confalonieri, R.1
Nieves, J.C.2
V́azquez-Salceda, J.3
-
15
-
-
78650700672
-
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
-
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
-
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
-
20
-
-
0001245395
-
Possibilistic logic
-
Oxford University Press, Oxford
-
Dubois, D., Lang, J., Prade, H.: Possibilistic Logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol.3, pp. 439-513. Oxford University Press, Oxford (1994)
-
(1994)
Handbook of Logic in Artificial Intelligence and Logic Programming
, vol.3
, pp. 439-513
-
-
Dubois, D.1
Lang, J.2
Prade, H.3
-
21
-
-
1842864007
-
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
-
23
-
-
74049083866
-
Notions of strong equivalence for logic programs with ordered disjunction
-
AAAI Press, Menlo Park
-
Faber, W., Tompits, H., Woltran, S.: Notions of Strong Equivalence for Logic Programs with Ordered Disjunction. In: Proc. of the 11th International Conference on Principles of Knowledge Representation and Reasoning, pp. 433-443. AAAI Press, Menlo Park (2008)
-
(2008)
Proc. of the 11th International Conference on Principles of Knowledge Representation and Reasoning
, pp. 433-443
-
-
Faber, W.1
Tompits, H.2
Woltran, S.3
-
24
-
-
44949277265
-
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
-
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
-
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
-
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
-
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
-
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
-
30
-
-
84945953994
-
Strongly equivalent logic programs
-
Lifschitz, V., Pearce, D., Valverde, A.: Strongly equivalent logic programs. ACM Transaction on Computational Logic 2(4), 526-541 (2001)
-
(2001)
ACM Transaction on Computational Logic
, vol.2
, Issue.4
, pp. 526-541
-
-
Lifschitz, V.1
Pearce, D.2
Valverde, A.3
-
33
-
-
0000187751
-
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
-
34
-
-
33750985357
-
Possibilistic uncertainty handling for answer set programming
-
Nicolas, P., Garcia, L., St́ephan, I., Lef̀evre, C.: Possibilistic Uncertainty Handling for Answer Set Programming. Annals of Mathematics and Artificial Intelligence 47(1-2), 139-181 (2006)
-
(2006)
Annals of Mathematics and Artificial Intelligence
, vol.47
, Issue.1-2
, pp. 139-181
-
-
Nicolas, P.1
Garcia, L.2
St́ephan, I.3
Lef̀evre, C.4
-
35
-
-
34548269173
-
An introduction to fuzzy answer set programming
-
Nieuwenborgh, D., Cock, M., Vermeir, D.: An introduction to fuzzy answer set programming. Annals of Mathematics and Artificial Intelligence 50(3-4), 363-388 (2007)
-
(2007)
Annals of Mathematics and Artificial Intelligence
, vol.50
, Issue.3-4
, pp. 363-388
-
-
Nieuwenborgh, D.1
Cock, M.2
Vermeir, D.3
-
36
-
-
38048999560
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
|