Fuzzy answer sets approximations

DOI10.1017/S1471068413000471zbMath1298.68058MaRDI QIDQ5398309

Mario Alviano, Rafael Peñaloza

Publication date: 27 February 2014

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068413000471

zbMATH Keywords

fuzzy logic; answer set programming; search-space pruning operator

Mathematics Subject Classification ID

68T30: Knowledge representation

68T37: Reasoning under uncertainty in the context of artificial intelligence

68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence

68N17: Logic programming

Related Items

Fuzzy answer set computation via satisfiability modulo theories, Modeling multi-valued biological interaction networks using fuzzy answer set programming, Solving Disjunctive Fuzzy Answer Set Programs

Uses Software

• fasp2smt

Cites Work

• Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16--19, 2011. Proceedings
• Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
• Triangular norms
• Answer set programming and plan generation
• Extending and implementing the stable model semantics
• Abduction in logic programming: A new definition and an abductive procedure based on rewriting
• Logic programs with stable model semantics as a constraint programming paradigm
• Logic programming and nonmonotonic reasoning. 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15--17, 2007. Proceedings
• An introduction to fuzzy answer set programming
• Fuzzy sets in approximate reasoning. II: Logical approaches
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Reducing fuzzy answer set programming to model finding in fuzzy logics