Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories
From MaRDI portal
Publication:5504667
DOI10.1007/978-3-540-89982-2_34zbMath1185.68161OpenAlexW1546007266MaRDI QIDQ5504667
Dirk Vermeir, Stijn Heymans, Martine De Cock, Jeroen Janssen
Publication date: 22 January 2009
Published in: Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-89982-2_34
Related Items (4)
Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction ⋮ A core language for fuzzy answer set programming ⋮ General Fuzzy Answer Set Programs ⋮ Aggregated fuzzy answer set programming
Uses Software
Cites Work
- Unnamed Item
- ASSAT: computing answer sets of a logic program by SAT solvers
- Many-valued logic and mixed integer programming
- An introduction to fuzzy answer set programming
- A lattice-theoretical fixpoint theorem and its applications
- The well-founded semantics for general logic programs
- Mixed integer programming methods for computing nonmonotonic deductive databases
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Logics in Artificial Intelligence
This page was built for publication: Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories
