Reducing fuzzy answer set programming to model finding in fuzzy logics

03B52: Fuzzy logic; logic of vagueness

68N17: Logic programming

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