Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories

DOI10.1007/978-3-540-89982-2_34MaRDI QIDQ5504667zbMATH OpenOpenAlexFDO

Authors Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock

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

zbMATH Keywords

answer set programmingfuzzy logicClark's completionfuzzy ASSAT

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Reducing fuzzy answer set programming to model finding in fuzzy logics
• Fuzzy answer set computation via satisfiability modulo theories
• Fuzzy answer sets approximations
• A finite-valued solver for disjunctive fuzzy answer set programs
• General Fuzzy Answer Set Programs

Cites work

• scientific article; zbMATH DE number 1354791 (Why is no real title available?)
• A lattice-theoretical fixpoint theorem and its applications
• ASSAT: computing answer sets of a logic program by SAT solvers
• An introduction to fuzzy answer set programming
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logics in Artificial Intelligence
• Many-valued logic and mixed integer programming
• Mixed integer programming methods for computing nonmonotonic deductive databases
• The well-founded semantics for general logic programs

Cited in

(6)

• General Fuzzy Answer Set Programs
• Reducing fuzzy answer set programming to model finding in fuzzy logics
• Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction
• A core language for fuzzy answer set programming
• Aggregated fuzzy answer set programming
• Complexity of fuzzy answer set programming under Łukasiewicz semantics

Describes a project that uses

Uses Software

• ASSAT

This page was built for publication: Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5504667)