Computing Fuzzy Answer Sets Using dlvhex

  • Davy Van Nieuwenborgh
  • Martine De Cock
  • Dirk Vermeir
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4670)


In this poster, we show how the fuzzy answer set semantics, i.e. a combination of answer set programming and fuzzy logic, can be mapped onto the semantics for hex-programs.


Fuzzy Logic Uniform Integration Disjunctive Program Check Program Disjunctive Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Eiter, T., Gottlob, G.: On the computational cost of disjunctive logic programming: Propositional case. Annals of Mathematics and Artificial Intelligence 15(3-4), 289–323 (1995)zbMATHCrossRefGoogle Scholar
  2. 2.
    Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 90–96 (2005)Google Scholar
  3. 3.
    Eiter, T., Polleres, A.: Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications. Theory and Practice of Logic Programming 6(1-2), 23–60 (2006)zbMATHCrossRefGoogle Scholar
  4. 4.
    Van Nieuwenborgh, D., De Cock, M., Vermeir, D.: An introduction to fuzzy answer set programming. In: AMAI (accepted for publication)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Davy Van Nieuwenborgh
    • 1
  • Martine De Cock
    • 2
  • Dirk Vermeir
    • 1
  1. 1.Vrije Universiteit Brussel, VUB 
  2. 2.Universiteit Gent, UGent 

Personalised recommendations