On coherence and consistence in fuzzy answer set semantics for residuated logic programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5571 LNAI, Issue , 2009, Pages 60-67

  Madrid, Nicolás ^a   Ojeda Aciego, Manuel ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET SEMANTICS; NOTIONS OF COHERENCE; RESIDUATED LOGIC;

FUZZY SETS; LOGIC PROGRAMMING; PROGRAM INTERPRETERS; SEMANTICS;

FUZZY LOGIC;

EID: 69049086946     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02282-1_8     Document Type: Conference Paper

References (10)

1. Damásio, C.V., Pereira, L.M.: Monotonic and residuated logic programs. In: Benferhat, S., Besnard, P. (eds.) ECSQARU 2001. LNCS, vol. 2143, pp. 748-759. Springer, Heidelberg (2001)
2. Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. In: Principles of Knowledge Representation and Reasoning (KR 2004), pp. 141-151 (2004)
3. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. of ICLP 1988, pp. 1070-1080 (1988)
4. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365-385 (1991)
5. Heymans, S., Vermeir, D.: Integrating semantic web reasoning and answer set programming. Answer Set Programming, 195-209 (2003)
6. Lukasiewicz, T.: Fuzzy description logic programs under the answer set semantics for the semantic web. Fundamenta Informaticae 82(3), 289-310 (2008)
7. Madrid, N., Ojeda Aciego, M.: Towards an answer set semantics for residuated logic programs. In: IEEE/WIC/ACM Intl. Conf. on Web Intelligence and Intelligent Agent Technology, WI-IAT 2008, pp. 260-264 (2008)
8. Medina, J., Ojeda-Aciego, M., Vojtáš, P.: Similarity-based unification: a multiadjoint approach. Fuzzy Sets and Systems 146(1), 43-62 (2004)
9. Van Nieuwenborgh, D., De Cock, M., Vermeir, D.: An introduction to fuzzy answer set programming. Ann. Math. Artif. Intell. 50(3-4), 363-388 (2007)
10. Wagner, G.: Web rules need two kinds of negation. In: Bry, F., Henze, N., Małuszyński, J. (eds.) PPSWR 2003. LNCS, vol. 2901, pp. 33-50. Springer, Heidelberg (2003)