Computing Fuzzy Answer Sets Using dlvhex

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

Abstract

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.

References

  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)MATHCrossRefGoogle 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)MATHCrossRefGoogle 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