Solving disjunctive fuzzy answer set programs

DOI10.1007/978-3-319-23264-5_38MaRDI QIDQ3449229zbMATH OpenOpenAlexFDO

Authors Mushthofa Mushthofa, Steven Schockaert, Martine De Cock

Publication date 4 November 2015

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://biblio.ugent.be/publication/7053048

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A finite-valued solver for disjunctive fuzzy answer set programs
• Aggregated fuzzy answer set programming
• Reducing fuzzy answer set programming to model finding in fuzzy logics
• An introduction to fuzzy answer set programming
• Fuzzy answer sets approximations

Cites work

• scientific article; zbMATH DE number 5914356 (Why is no real title available?)
• scientific article; zbMATH DE number 1234104 (Why is no real title available?)
• scientific article; zbMATH DE number 978240 (Why is no real title available?)
• scientific article; zbMATH DE number 1884402 (Why is no real title available?)
• A finite-valued solver for disjunctive fuzzy answer set programs
• Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
• Answer Set Programming: A Primer
• Complexity of fuzzy answer set programming under Łukasiewicz semantics
• Epistemic foundation of stable model semantics
• Fuzzy Answer Set Programming
• Fuzzy answer sets approximations
• Fuzzy equilibrium logic: declarative problem solving in continuous domains
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic-based decision support. Mixed integer model formulation
• Propositional semantics for disjunctive logic programs
• Stable models of fuzzy propositional formulas
• The DLV system for knowledge representation and reasoning

Cited in

(10)

• Disjunctive answer set solvers via templates
• General Fuzzy Answer Set Programs
• scientific article; zbMATH DE number 6747884 (Why is no real title available?)
• Reducing fuzzy answer set programming to model finding in fuzzy logics
• Fuzzy answer set computation via satisfiability modulo theories
• Aggregated fuzzy answer set programming
• scientific article; zbMATH DE number 1841971 (Why is no real title available?)
• Modeling multi-valued biological interaction networks using fuzzy answer set programming
• A finite-valued solver for disjunctive fuzzy answer set programs
• Lazy evaluations in Łukasiewicz type fuzzy logic

This page was built for publication: Solving disjunctive fuzzy answer set programs

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