Ghent University Academic Bibliography

Advanced

Compiling fuzzy answer set programs to fuzzy propositional theories

Jeroen Janssen UGent, Stijn Heymans, Dirk Vermeir and Martine De Cock UGent (2008) LECTURE NOTES IN COMPUTER SCIENCE. 5366. p.362-376
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.
Please use this url to cite or link to this publication:
author
organization
year
type
conference (proceedingsPaper)
publication status
published
subject
keyword
answer set programming, Clark's completion, fuzzy logic, fuzzy ASSAT, LOGIC PROGRAMS, SEMANTICS
in
LECTURE NOTES IN COMPUTER SCIENCE
Lect. Notes Comput. Sci.
editor
MG de la Banda and E Pontelli
volume
5366
issue title
LOGIC PROGRAMMING, PROCEEDINGS
pages
362 - 376
conference name
24th International Conference on Logic Programming (ICLP)
conference location
Udine, Italy
conference start
2008-12-09
conference end
2008-12-13
Web of Science type
Proceedings Paper
Web of Science id
000262929700029
ISSN
0302-9743
ISBN
978-3-540-89981-5
language
English
UGent publication?
yes
classification
P1
copyright statement
I have transferred the copyright for this publication to the publisher
id
714496
handle
http://hdl.handle.net/1854/LU-714496
date created
2009-07-07 01:35:05
date last changed
2016-12-19 15:35:18
@inproceedings{714496,
  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.},
  author       = {Janssen, Jeroen and Heymans, Stijn and Vermeir, Dirk and De Cock, Martine},
  booktitle    = {LECTURE NOTES IN COMPUTER SCIENCE},
  editor       = {de la Banda, MG and Pontelli, E},
  isbn         = {978-3-540-89981-5},
  issn         = {0302-9743},
  keyword      = {answer set programming,Clark's completion,fuzzy logic,fuzzy ASSAT,LOGIC PROGRAMS,SEMANTICS},
  language     = {eng},
  location     = {Udine, Italy},
  pages        = {362--376},
  title        = {Compiling fuzzy answer set programs to fuzzy propositional theories},
  volume       = {5366},
  year         = {2008},
}

Chicago
Janssen, Jeroen, Stijn Heymans, Dirk Vermeir, and Martine De Cock. 2008. “Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories.” In Lecture Notes in Computer Science, ed. MG de la Banda and E Pontelli, 5366:362–376.
APA
Janssen, Jeroen, Heymans, S., Vermeir, D., & De Cock, M. (2008). Compiling fuzzy answer set programs to fuzzy propositional theories. In M. de la Banda & E. Pontelli (Eds.), LECTURE NOTES IN COMPUTER SCIENCE (Vol. 5366, pp. 362–376). Presented at the 24th International Conference on Logic Programming (ICLP).
Vancouver
1.
Janssen J, Heymans S, Vermeir D, De Cock M. Compiling fuzzy answer set programs to fuzzy propositional theories. In: de la Banda M, Pontelli E, editors. LECTURE NOTES IN COMPUTER SCIENCE. 2008. p. 362–76.
MLA
Janssen, Jeroen, Stijn Heymans, Dirk Vermeir, et al. “Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories.” Lecture Notes in Computer Science. Ed. MG de la Banda & E Pontelli. Vol. 5366. 2008. 362–376. Print.