Solving disjunctive fuzzy answer set programs

DOI10.1007/978-3-319-23264-5_38zbMATH Open1467.68028OpenAlexW2266632973MaRDI QIDQ3449229FDOQ3449229

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

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

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

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

Cited In (10)

• Disjunctive answer set solvers via templates
• General Fuzzy Answer Set Programs
• Title not available (Why is that?)
• Reducing fuzzy answer set programming to model finding in fuzzy logics
• Fuzzy answer set computation via satisfiability modulo theories
• Title not available (Why is that?)
• Aggregated fuzzy answer set programming
• 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)