Fuzzy answer set computation via satisfiability modulo theories
From MaRDI portal
Publication:4592999
DOI10.1017/S1471068415000241zbMath1379.68036arXiv1507.03920MaRDI QIDQ4592999
Rafael Peñaloza, Mario Alviano
Publication date: 9 November 2017
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1507.03920
03B52: Fuzzy logic; logic of vagueness
68T37: Reasoning under uncertainty in the context of artificial intelligence
68N17: Logic programming
Uses Software