Fuzzy autoepistemic logic and its relation to fuzzy answer set programming

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

zbMATH Keywords

autoepistemic logicanswer set programmingfuzzy logics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic programming (68N17)

Related Items

On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief

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