\(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions
type: Item
instance of: scholarly article
title: \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions
author: Nourhan Ehab
author: Haythem O. Ismail
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2021-06-04T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 7355087
zbMATH Keywords: non-monotonicity
zbMATH Keywords: weighted logics
zbMATH Keywords: uncertainty
zbMATH Keywords: graded propositions
zbMATH Keywords: unified framework for non-monotonicity
MaRDI profile type: Publication
full work available at URL: s10472-020-09697-0
OpenAlex ID: W3036426653
cites work: Towards a general theory of action and time
cites work: The dynamics of epistemic attitudes in resource-bounded agents
cites work: A family of graded epistemic logics
cites work: Nonmonotonic reasoning, conditional objects and possibility theory
cites work: A dynamic solution to the problem of logical omniscience
cites work: An abstract, argumentation-theoretic approach to default reasoning
cites work: The classical decision problem.
cites work: Q4530456
cites work: Preferential reasoning for modal logics
cites work: Q4314597
cites work: Q4536338
cites work: Editorial: Weighted logics for artificial intelligence -- an introductory discussion
cites work: Q4296748
cites work: Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty
cites work: Q3703316
cites work: Conditional entailment: bridging two approaches to default reasoning.
cites work: Kernel contraction
cites work: LogAB: A first-order, non-paradoxical, algebraic logic of belief
cites work: Epistemic logic for rule-based agents
cites work: Bayesian and Dempster-Shafer fusion
cites work: Nonmonotonic reasoning, preferential models and cumulative logics
cites work: BDI: a new decidable clause class
cites work: What does a conditional knowledge base entail?
cites work: All I know: A study in autoepistemic logic
cites work: Q3493310
cites work: Autoepistemic logic
cites work: A model for belief revision
cites work: Circumscription - a form of non-monotonic reasoning
cites work: Q5633670
cites work: Q5271376
cites work: A first-order conditional probability logic
cites work: Q3997653
cites work: Languages with self-reference. II: Knowledge, belief, and modality
cites work: A logic for default reasoning
cites work: Markov logic networks
cites work: Q3934450
cites work: Natural language processing and knowledge representation. Language for knowledge and knowledge for language
cites work: Q4578043
cites work: Q4677780
DOI: 10.1007/S10472-020-09697-0
description: scientific article; zbMATH DE number 7355087