Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
J. Janssen, S. Heymans, D. Vermeir, M. De Cock:
"Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories";
Vortrag: International Conference on Logic Programming (ICLP),
Udine, Italy;
09.12.2008
- 13.12.2008; in: "Proceedings of the 24th International Conference on Logic Programming (ICLP 2008)",
Springer,
5366
(2008),
ISBN: 978-3-540-89981-5;
S. 362
- 376.
Kurzfassung englisch:
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.
Schlagworte:
fuzzy answer set programming
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-540-89982-2_34
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_167777.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.