-
2
-
-
0001119421
-
The stable model semantics for logic programming
-
MIT Press
-
M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proc. of ICLP1988, pages 1081-1086. MIT Press, 1988.
-
(1988)
Proc. of ICLP1988
, pp. 1081-1086
-
-
Gelfond, M.1
Lifschitz, V.2
-
3
-
-
38149131281
-
Tightly integrated fuzzy description logic programs under the answer set semantics for the semantic web
-
Springer-Verlag
-
T. Lukasiewicz and U. Straccia. Tightly integrated fuzzy description logic programs under the answer set semantics for the semantic web. In Proc. of RR2007, pages 289-298. Springer-Verlag, 2007.
-
(2007)
Proc. of RR2007
, pp. 289-298
-
-
Lukasiewicz, T.1
Straccia, U.2
-
4
-
-
34548269173
-
An introduction to fuzzy answer set programming
-
D. Van Nieuwenborgh, M. De Cock, and D. Vermeir. 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
-
-
Van Nieuwenborgh, D.1
De Cock, M.2
Vermeir, D.3
-
5
-
-
0040203293
-
Probabilistic logic programming
-
J. Wiley and Sons
-
T. Lukasiewicz. Probabilistic logic programming. In Proc. of ECAI1998, pages 388-392. J. Wiley and Sons, 1998.
-
(1998)
Proc. of ECAI1998
, pp. 388-392
-
-
Lukasiewicz, T.1
-
6
-
-
84871906341
-
Annotated answer set programming
-
U. Straccia. Annotated answer set programming. In Proc. of IPMU2006, 2006.
-
(2006)
Proc. of IPMU2006
-
-
Straccia, U.1
-
7
-
-
79960140137
-
Sorted multi-adjoint logic programs: Termination results and applications
-
Springer-Verlag
-
C.V. Damásio, J. Medina, and M. Ojeda-Aciego. Sorted multi-adjoint logic programs: termination results and applications. In Proc. of JELIA2004, pages 260-273. Springer-Verlag, 2004.
-
(2004)
Proc. of JELIA2004
, pp. 260-273
-
-
Damásio, C.V.1
Medina, J.2
Ojeda-Aciego, M.3
-
8
-
-
84867776649
-
Antitonic logic programs
-
Springer-Verlag
-
C. V. Damásio and L. M. Pereira. Antitonic logic programs. In Proc. of LPNMR2001, pages 379-392. Springer-Verlag, 2001.
-
(2001)
Proc. of LPNMR2001
, pp. 379-392
-
-
Damásio, C.V.1
Pereira, L.M.2
-
9
-
-
57949087763
-
Managing uncertainty and vagueness in description logics, logic programs and description logic programs
-
Springer Verlag
-
U. Straccia. Managing uncertainty and vagueness in description logics, logic programs and description logic programs. In Reasoning Web, 4th International Summer School, Tutorial Lectures, number 5224, pages 54-103. Springer Verlag, 2008.
-
(2008)
Reasoning Web, 4th International Summer School, Tutorial Lectures, Number 5224
, pp. 54-103
-
-
Straccia, U.1
-
10
-
-
84857234381
-
Complex preferences for answer set optimization
-
G. Brewka. Complex preferences for answer set optimization. In Proc. of KR2004, pages 213-223, 2004.
-
(2004)
Proc. of KR2004
, pp. 213-223
-
-
Brewka, G.1
-
12
-
-
42549099494
-
Gradual numbers and their application to fuzzy interval analysis
-
IEEE Transactions on
-
J. Fortin, D. Dubois, and H. Fargier. Gradual numbers and their application to fuzzy interval analysis. Fuzzy Systems, IEEE Transactions on, 16(2): 388-402, 2008.
-
(2008)
Fuzzy Systems
, vol.16
, Issue.2
, pp. 388-402
-
-
Fortin, J.1
Dubois, D.2
Fargier, H.3
-
13
-
-
8344238236
-
Inclusion measures in intuitionistic fuzzy set theory
-
C. Cornelis and E.E. Kerre. Inclusion measures in intuitionistic fuzzy set theory. In Proc. of ECSQARU2003, pages 345-356, 2003.
-
(2003)
Proc. of ECSQARU2003
, pp. 345-356
-
-
Cornelis, C.1
Kerre, E.E.2
-
14
-
-
34249737599
-
On the cardinalities of interval-valued fuzzy sets
-
G. Deschrijver and P. Král'. On the cardinalities of interval-valued fuzzy sets. Fuzzy Sets and Systems, 158(15): 1728-1750, 2007.
-
(2007)
Fuzzy Sets and Systems
, vol.158
, Issue.15
, pp. 1728-1750
-
-
Deschrijver, G.1
Král, P.2
|