A core language for fuzzy answer set programming
From MaRDI portal
Publication:448947
DOI10.1016/j.ijar.2012.01.005zbMath1246.68203OpenAlexW2075319556MaRDI QIDQ448947
Jeroen Janssen, Steven Schockaert, Martine De Cock, Dirk Vermeir
Publication date: 11 September 2012
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2012.01.005
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
Related Items (6)
Extended multi-adjoint logic programming ⋮ Complexity of fuzzy answer set programming under Łukasiewicz semantics ⋮ Answers set programs for non-transferable utility games: expressiveness, complexity and applications ⋮ Possibilistic nested logic programs and strong equivalence ⋮ Bilattices for deductions in multi-valued logic ⋮ Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Annotated nonmonotonic rule systems
- Aggregated fuzzy answer set programming
- Possibilistic uncertainty handling for answer set 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
- Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification
- Measuring Instability in Normal Residuated Logic Programs: Discarding Information
- On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs
- General Fuzzy Answer Set Programs
- On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs
- Quantitative deduction and its fixpoint theory
- Bilattices and the semantics of logic programming
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Abductive logic programs with penalization: semantics, complexity and implementation
- Reducing fuzzy answer set programming to model finding in fuzzy logics
- Hybrid probabilistic programs
- The DLV system for knowledge representation and reasoning
- Logics in Artificial Intelligence
- Mathematical Foundations of Computer Science 2003
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories
- Fuzzy logic programming
This page was built for publication: A core language for fuzzy answer set programming
