Talks and Poster Presentations (with Proceedings-Entry):
J. Janssen, S. Heymans, D. Vermeir, M. De Cock:
"Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories";
Talk: International Conference on Logic Programming (ICLP),
Udine, Italy;
2008-12-09
- 2008-12-13; in: "Proceedings of the 24th International Conference on Logic Programming (ICLP 2008)",
Springer,
5366
(2008),
ISBN: 978-3-540-89981-5;
362
- 376.
English abstract:
We show how a fuzzy answer set program can be compiled
to an equivalent fuzzy propositional theory whose models correspond to
the answer sets of the program. This creates a basis for constructing
fuzzy answer set solvers, such as solvers based on fuzzy SAT-solvers or
on linear programming.
Keywords:
fuzzy answer set programming
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-540-89982-2_34
Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_167777.pdf
Created from the Publication Database of the Vienna University of Technology.