Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
From MaRDI portal
Publication:2351607
DOI10.1016/j.fss.2012.09.012zbMath1315.68230OpenAlexW2151653946MaRDI QIDQ2351607
Steven Schockaert, Dirk Vermeir, Marjon Blondeel, Martine De Cock
Publication date: 24 June 2015
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://biblio.ugent.be/publication/3141878/file/5769512
Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic programming (68N17)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Complexity of fuzzy answer set programming under Łukasiewicz semantics
- On fuzzy modal logics \(S5(\mathcal C)\)
- Foundations of a functional approach to knowledge representation
- Possibilistic uncertainty handling for answer set programming
- Non-monotonic logic. I
- A logic of knowledge and justified assumption
- Metamathematics of fuzzy logic
- Minimal belief and negation as failure
- Fixpoint semantics for logic programming a survey
- Possibility theory, probability theory and multiple-valued logics: a clarification
- An introduction to fuzzy answer set programming
- An essay in modal logic
- Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees
- A Simple Modal Logic for Reasoning about Revealed Beliefs
- General Fuzzy Answer Set Programs
- On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs
- Nonmonotonic Logic II
- What should a database know?
- The Semantics of Predicate Logic as a Programming Language
- Logic programming and knowledge representation
- Epistemic logic and logical omniscience: A survey
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Many-valued reflexive autoepistemic logic
- Logic Programming and Nonmonotonic Reasoning
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Epistemic foundation of stable model semantics
- A theorem about infinite-valued sentential logic
