General fuzzy answer set programs

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

Volumn 5571 LNAI, Issue , 2009, Pages 352-359

  Janssen, Jeroen ^a   Schockaert, Steven ^b   Vermeir, Dirk ^a   De Cock, Martine ^b  

^a VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

^b GHENT UNIVERSITY   (Belgium)

Author keywords

Answer Set Programs; Fuzzy Logic; Valued Constraint Satisfaction

Indexed keywords

ANSWER SET; ANSWER SET PROGRAMMING; ANSWER SET PROGRAMS; FLEXIBLE FRAMEWORK; FUZZY CONNECTIVES; PARTIAL MAPPINGS; VALUED CONSTRAINT SATISFACTION;

CONSTRAINED OPTIMIZATION; FUZZY SETS; STEELMAKING;

FUZZY LOGIC;

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

References (14)

1. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)
2. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the Fifth International Conference and Symposium on Logic Programming (ICLP/SLP 1988), pp. 1081-1086. ALP, IEEE, The MIT Press (1988)
3. Van Nieuwenborgh, D., De Cock, M., Vermeir, D.: An introduction to fuzzy answer set programming. Annals of Mathematics and Artificial Intelligence 50(3-4), 363- 388 (2007)
4. Lukasiewicz, T., Straccia, U.: Tightly integrated fuzzy description logic programs under the answer set semantics for the semantic web. In: Marchiori, M., Pan, J.Z., de Sainte Marie, C. (eds.) RR 2007. LNCS, vol. 4524, pp. 289-298. Springer, Heidelberg (2007)
5. Straccia, U.: Annotated answer set programming. In: Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2006) (2006)
6. Damásio, C.V., Pereira, L.M.: Antitonic logic programs. In: Eiter, T., Faber, W., Truszczyński, M. (eds.) LPNMR 2001. LNCS, vol. 2173, pp. 379-392. Springer, Heidelberg (2001)
7. Damásio, C.V., Medina, J., Ojeda-Aciego, M.: Sorted multi-adjoint logic programs: termination results and applications. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS, vol. 3229, pp. 260-273. Springer, Heidelberg (2004)
8. Schiex, T., Fargier, H., Verfaillie, G.: Valued constraint satisfaction problems: hard and easy problems. In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI 1995), pp. 631-637 (1995)
9. Dubois, D., Fortemps, P.: Computing improved optimal solutions to max-min flexible constraint satisfaction problems. European Journal of Operational Research 118, 95-126 (1999)
10. Tarski, A.: A lattice theoretical fixpoint theorem and its application. Pacific Journal of Mathematics 5, 285-309 (1955)
11. Damasio, C.V., Pereira, L.M.: An encompassing framework for paraconsistent logic programs. Journal of Applied Logic 3, 67-95 (2003)
12. Damásio, C.V., Pereira, L.M.: Hybrid probabilistic logic programs as residuated logic programs. In: Brewka, G., Moniz Pereira, L., Ojeda-Aciego, M., de Guzmán, I.P. (eds.) JELIA 2000. LNCS, vol. 1919, pp. 57-72. Springer, Heidelberg (2000)
13. Brewka, G., Niemelä, I., Truszczyński, M.: Answer set optimization. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence, pp. 867- 872. Morgan Kaufmann Publishers, San Francisco (2003)
14. Janssen, J., Heymans, S., Vermeir, D., De Cock, M.: Compiling fuzzy answer set programs to fuzzy propositional theories. In: Proceedings of the 24th International Conference on Logic Programming (ICLP 2008). Springer, Heidelberg (2008) (to appear)