cfaed Publications
Fuzzy answer set computation via satisfiability modulo theories
Reference
Mario Alviano, Rafael Penaloza, "Fuzzy answer set computation via satisfiability modulo theories" , In Theory and Practice of Logic Programming, Cambridge Univ Press, vol. 15, no. 4-5, pp. 588–603, 2015.
Bibtex
@article{alviano2015fuzzy,
title={Fuzzy answer set computation via satisfiability modulo theories},
author={Alviano, Mario and Penaloza, Rafael},
journal={Theory and Practice of Logic Programming},
volume={15},
number={4-5},
pages={588--603},
year={2015},
publisher={Cambridge Univ Press}
}
title={Fuzzy answer set computation via satisfiability modulo theories},
author={Alviano, Mario and Penaloza, Rafael},
journal={Theory and Practice of Logic Programming},
volume={15},
number={4-5},
pages={588--603},
year={2015},
publisher={Cambridge Univ Press}
}
Downloads
No Downloads available for this publication
Related Paths
Permalink
https://cfaed.tu-dresden.de/publications?pubId=593