Reducing fuzzy answer set programming to model finding in fuzzy logics
From MaRDI portal
Publication:4897702
Recommendations
Cites work
- scientific article; zbMATH DE number 1354791 (Why is no real title available?)
- A Computing Procedure for Quantification Theory
- A lattice-theoretical fixpoint theorem and its applications
- A semantical framework for supporting subjective and conditional probabilities in deductive databases
- ASSAT: computing answer sets of a logic program by SAT solvers
- An introduction to fuzzy answer set programming
- Annotated fuzzy logic programs
- Annotated nonmonotonic rule systems
- Bilattices and the semantics of logic programming
- Database and expert systems applications. 5th international conference, DEXA '94, Athens, Greece, September 7--9, 1994. Proceedings
- Epistemic foundation of stable model semantics
- Fuzzy logic programming
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14--18, 2009. Proceedings
- Logic programming and nonmonotonic reasoning. 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15--17, 2007. Proceedings
- Many-valued logic and mixed integer programming
- On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs
- Possibilistic uncertainty handling for answer set programming
- Scalable uncertainty management. First international conference, SUM 2007, Washington, DC, USA, October 10--12, 2007. Proceedings
- Scalable uncertainty management. Third international conference, SUM 2009, Washington, DC, USA, September 28--30, 2009. Proceedings
- Stable semantics for probabilistic deductive databases
- Symbolic and quantitative approaches to reasoning with uncertainty. 10th European conference, ECSQARU 2009, Verona, Italy, July 1--3, 2009. Proceedings
- Termination of logic programs with imperfect information: applications and query procedure
- The DLV system for knowledge representation and reasoning
- Uncertain deductive databases: a hybrid approach
Cited in
(16)- scientific article; zbMATH DE number 922630 (Why is no real title available?)
- Aggregated fuzzy answer set programming
- Fuzzy equilibrium logic: declarative problem solving in continuous domains
- Answer set programming for continuous domains: a fuzzy logic approach
- FOLASP: FO(·) as Input Language for Answer Set Solvers
- An introduction to fuzzy answer set programming
- Solving disjunctive fuzzy answer set programs
- A finite-valued solver for disjunctive fuzzy answer set programs
- Fuzzy Answer Set Programming
- Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories
- Tabulation proof procedures for fuzzy linguistic logic programming
- Fuzzy answer set computation via satisfiability modulo theories
- Modeling multi-valued biological interaction networks using fuzzy answer set programming
- Fuzzy answer sets approximations
- Fuzzy logic programming reduced to reasoning with attribute implications
- A core language for fuzzy answer set programming
This page was built for publication: Reducing fuzzy answer set programming to model finding in fuzzy logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4897702)
