\(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions
From MaRDI portal
Publication:2029709
DOI10.1007/s10472-020-09697-0OpenAlexW3036426653MaRDI QIDQ2029709
Haythem O. Ismail, Nourhan Ehab
Publication date: 4 June 2021
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-020-09697-0
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Editorial: Weighted logics for artificial intelligence -- an introductory discussion
- Conditional entailment: bridging two approaches to default reasoning.
- Epistemic logic for rule-based agents
- Towards a general theory of action and time
- Languages with self-reference. II: Knowledge, belief, and modality
- A model for belief revision
- A logic for default reasoning
- Circumscription - a form of non-monotonic reasoning
- Nonmonotonic reasoning, preferential models and cumulative logics
- What does a conditional knowledge base entail?
- An abstract, argumentation-theoretic approach to default reasoning
- Nonmonotonic reasoning, conditional objects and possibility theory
- Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty
- A dynamic solution to the problem of logical omniscience
- The dynamics of epistemic attitudes in resource-bounded agents
- All I know: A study in autoepistemic logic
- A family of graded epistemic logics
- Markov logic networks
- Bayesian and Dempster-Shafer fusion
- Preferential Reasoning for Modal Logics
- A first-order conditional probability logic
- BDI: a new decidable clause class
- LogAB: A first-order, non-paradoxical, algebraic logic of belief
- Autoepistemic logic
- Kernel contraction
- The classical decision problem.
This page was built for publication: \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions
