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