Reducing fuzzy answer set programming to model finding in fuzzy logics
From MaRDI portal
Publication:4897702
DOI10.1017/S1471068411000093zbMATH Open1255.68051MaRDI QIDQ4897702FDOQ4897702
Authors: Jeroen Janssen, Dirk Vermeir, Steven Schockaert, Martine De Cock 
Publication date: 27 December 2012
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Recommendations
Cites Work
- ASSAT: computing answer sets of a logic program by SAT solvers
- Title not available (Why is that?)
- Knowledge Representation, Reasoning and Declarative Problem Solving
- The DLV system for knowledge representation and reasoning
- A lattice-theoretical fixpoint theorem and its applications
- A Computing Procedure for Quantification Theory
- On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs
- Bilattices and the semantics of logic programming
- Many-valued logic and mixed integer programming
- A semantical framework for supporting subjective and conditional probabilities in deductive databases
- Stable semantics for probabilistic deductive databases
- Uncertain deductive databases: a hybrid approach
- Annotated fuzzy logic programs
- Termination of logic programs with imperfect information: applications and query procedure
- An introduction to fuzzy answer set programming
- Fuzzy logic programming
- Annotated nonmonotonic rule systems
- Possibilistic uncertainty handling for answer set programming
- Epistemic foundation of stable model semantics
- Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14--18, 2009. Proceedings
- Scalable uncertainty management. Third international conference, SUM 2009, Washington, DC, USA, September 28--30, 2009. Proceedings
- Scalable uncertainty management. First international conference, SUM 2007, Washington, DC, USA, October 10--12, 2007. Proceedings
- Logic programming and nonmonotonic reasoning. 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15--17, 2007. Proceedings
- Symbolic and quantitative approaches to reasoning with uncertainty. 10th European conference, ECSQARU 2009, Verona, Italy, July 1--3, 2009. Proceedings
- Database and expert systems applications. 5th international conference, DEXA '94, Athens, Greece, September 7--9, 1994. Proceedings
Cited In (12)
- Answer set programming for continuous domains: a fuzzy logic approach
- Fuzzy Answer Set Programming
- Fuzzy answer set computation via satisfiability modulo theories
- A core language for fuzzy answer set programming
- Title not available (Why is that?)
- Aggregated fuzzy answer set programming
- Fuzzy answer sets approximations
- Tabulation proof procedures for fuzzy linguistic logic programming
- Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories
- Fuzzy equilibrium logic: declarative problem solving in continuous domains
- Solving disjunctive fuzzy answer set programs
- An introduction to 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)
