Reducing fuzzy answer set programming to model finding in fuzzy logics (Q4897702): Difference between revisions

@@ Property / cites work @@
+Annotated fuzzy logic programs
@@ Property / cites work: Annotated fuzzy logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of logic programs with imperfect information: applications and query procedure
+Normal rank
@@ Property / cites work @@
+Epistemic foundation of stable model semantics
@@ Property / cites work: Epistemic foundation of stable model semantics / rank @@
+Normal rank
@@ Property / cites work @@
+A semantical framework for supporting subjective and conditional probabilities in deductive databases
+Normal rank
@@ Property / cites work @@
+Annotated nonmonotonic rule systems
@@ Property / cites work: Annotated nonmonotonic rule systems / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Scalable uncertainty management. First international conference, SUM 2007, Washington, DC, USA, October 10--12, 2007. Proceedings
+Normal rank
@@ Property / cites work @@
+Fuzzy logic programming
@@ Property / cites work: Fuzzy logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and nonmonotonic reasoning. 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15--17, 2007. Proceedings
+Normal rank
@@ Property / cites work @@
+ASSAT: computing answer sets of a logic program by SAT solvers
+Normal rank
@@ Property / cites work @@
+An introduction to fuzzy answer set programming
@@ Property / cites work: An introduction to fuzzy answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Uncertain deductive databases: a hybrid approach
@@ Property / cites work: Uncertain deductive databases: a hybrid approach / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Database and expert systems applications. 5th international conference, DEXA '94, Athens, Greece, September 7--9, 1994. Proceedings
+Normal rank
@@ Property / cites work @@
+On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs
+Normal rank
@@ Property / cites work @@
+Symbolic and quantitative approaches to reasoning with uncertainty. 10th European conference, ECSQARU 2009, Verona, Italy, July 1--3, 2009. Proceedings
+Normal rank
@@ Property / cites work @@
+Many-valued logic and mixed integer programming
@@ Property / cites work: Many-valued logic and mixed integer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Scalable uncertainty management. Third international conference, SUM 2009, Washington, DC, USA, September 28--30, 2009. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4269081
@@ Property / cites work: Q4269081 / rank @@
+Normal rank
@@ Property / cites work @@
+Possibilistic uncertainty handling for answer set programming
+Normal rank
@@ Property / cites work @@
+Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14--18, 2009. Proceedings
+Normal rank
@@ Property / cites work @@
+Stable semantics for probabilistic deductive databases
+Normal rank
@@ Property / cites work @@
+Bilattices and the semantics of logic programming
@@ Property / cites work: Bilattices and the semantics of logic programming / rank @@
+Normal rank