Default logic generalized and simplified
type: Item
instance of: scholarly article
title: Default logic generalized and simplified
zbMATH Open document ID: 1165.68498
author: Alexander Bochman
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2009-07-06T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 03B22
zbMATH DE Number: 5576020
MaRDI profile type: Publication
full work available at URL: s10472-009-9109-x
OpenAlex ID: W2009317964
cites work: Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
cites work: Q2727768
cites work: Collective Argumentation and Disjunctive Logic Programming
cites work: A causal approach to nonmonotonic reasoning
cites work: Explanatory Nonmonotonic Reasoning
cites work: An abstract, argumentation-theoretic approach to default reasoning
cites work: Semantical investigations in Heyting's intuitionistic logic
cites work: Q3983043
cites work: Q4028795
cites work: Negation as failure in the head
cites work: On the intertranslatability of non-monotonic logics
cites work: Q4798001
cites work: Strongly equivalent logic programs
cites work: Minimal belief and negation as failure
cites work: Q3493310
cites work: A logic of knowledge and justified assumption
cites work: Q3486549
cites work: Q4273952
cites work: A theory of nonmonotonic rule systems I
cites work: Modal nonmonotonic logics
cites work: Non-monotonic logic. I
cites work: Nonmonotonic Logic II
cites work: Semantical considerations on nonmonotonic logic
cites work: A logical framework for default reasoning
cites work: A logic for default reasoning
cites work: Q4079581
cites work: Q3952081
cites work: Q4159022
cites work: A logic of universal causation
cites work: Logic Programming and Nonmonotonic Reasoning
DOI: 10.1007/S10472-009-9109-X
description: scientific article; zbMATH DE number 5576020