Towards a fuzzy answer set semantics for residuated logic programs

Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008

Volumn , Issue , 2008, Pages 260-264

  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; RESIDUATED LOGIC;

INFORMATION THEORY; LOGIC PROGRAMMING; SEMANTICS;

TECHNICAL PRESENTATIONS;

EID: 62949177212     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WIIAT.2008.357     Document Type: Conference Paper

References (15)

1. C. V. Damásio and L. M. Pereira. Antitonic logic programs. In Proc. LPNMR'01, pages 379-392. Lect. Notes in Artificial Intelligence, 2173, Springer-Verlag, 2001.
2. C. V. Damásio and L. M. Pereira. Monotonic and residuated logic programs. In Proc. ECSQARU'01, pages 748-759. Lect. Notes in Artificial Intelligence, 2143, 2001.
3. D. Dubois, J. Lang, and H. Prade. Possibilistic logic. In D. Gabbay et al, editor, Handbook of Logic in Artificial Intelligence and Logic Programming, pages 439-513. 1994.
4. R. Ebrahim. Fuzzy logic programming. Fuzzy Sets and Systems, 117:215-230, 2001.
5. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Combining answer set programming with description logics for the semantic web. In Principles of Knowledge Representation and Reasoning (KR'04), pages 141-151, 2004.
6. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proc. of ICLP-88, pages 1070-1080, 1988.
7. S. Heymans, D. Van Nieuwenborgh, and D. Vermeir. Open answer set programming for the semantic web. Journal of Applied Logic, 5(1):144-169, 2007.
8. S. Heymans and D. Vermeir. Integrating semantic web reasoning and answer set programming. In Answer Set Programming, pages 195-209, 2003.
9. T. Lukasiewicz. Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web. Fundamenta Informaticae, 82(3), 289-310, 2008.
10. T. Lukasiewicz and U. Straccia. Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web. In Proc. Web Reasoning and Rule Systems. Lecture Notes in Computer Science, 4524:289-298, 2007
11. J. Medina, M. Ojeda-Aciego, and P. Vojtáš. Similarity-based unification: a multi-adjoint approach. Fuzzy Sets and Systems, 146(1):43-62, 2004.
12. U. Straccia. Annotated answer set programming. Technical Report 2005-TR-51, Istituto di Scienza e Tecnologie dell'Informazione-CNR, 2005.
13. D. Van Nieuwenborgh, M. De Cock, and D. Vermeir. An introduction to fuzzy answer set programming. Ann. Math. Artif. Intell., 50(3-4):363-388, 2007.
14. G. Wagner. Negation in fuzzy and possibilistic logic programs. In T. P. Martin and F. A. Fontana, editors, Logic programming and soft computing, chapter 6, pages 113-128. Taylor & Francis, 1998.
15. G. Wagner. Web rules need two kinds of negation. In Proc. PPSWR'03, pages 33-50. Lecture Notes in Computer Science 2901, 2003.