Evaluating the effect of semi-normality on the expressiveness of defaults
type: Item
instance of: scholarly article
title: Evaluating the effect of semi-normality on the expressiveness of defaults
zbMATH Open document ID: 1079.68624
DOI: 10.1016/S0004-3702(02)00385-5
author: Tomi Janhunen
published in: Artificial Intelligence
publication date: 2006-02-07T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 5003866
zbMATH Keywords: Expressive power
zbMATH Keywords: Modular translations
zbMATH Keywords: Default logic
zbMATH Keywords: Normal defaults
zbMATH Keywords: Semi-normal defaults
zbMATH Keywords: Prerequisite-free defaults
MaRDI profile type: Publication
cites work: Querying disjunctive databases through nonmonotonic logics
cites work: Q3995236
cites work: Q4692605
cites work: Q4296748
cites work: Translating default logic into standard autoepistemic logic
cites work: Results on translating defaults to circumscription
cites work: Q4216774
cites work: Q4246971
cites work: Q4955326
cites work: On the intertranslatability of non-monotonic logics
cites work: On the relation between default and autoepistemic logic
cites work: Q5750425
cites work: Modal nonmonotonic logics
cites work: Modal logic for default reasoning
cites work: Q4273952
cites work: Circumscription - a form of non-monotonic reasoning
cites work: Semantical considerations on nonmonotonic logic
cites work: Q4278739
cites work: A logic for default reasoning
cites work: A theory of diagnosis from first principles
cites work: Some representational issues in default reasoning
cites work: On embedding default logic into Moore's autoepistemic logic
cites work: Q4012232
Recommended article: Q3044102
Recommended article: Q4955326
Recommended article: Seminormalizing a default theory
Recommended article: Expressing Default Logic Variants in Default Logic
Recommended article: Q4934647
Recommended article: Q4798001
Recommended article: Q4943322
Recommended article: A comparative survey of default logic variants
Recommended article: Default logic and it's variants: A semantical view
Recommended article: Defaults as Generalized Quantifiers
description: scientific article; zbMATH DE number 5003866