Default theories that always have extensions
type: Item
instance of: scholarly article
title: Default theories that always have extensions
zbMATH Open document ID: 0938.68837
DOI: 10.1016/0004-3702(94)90087-6
published in: Artificial Intelligence
publication date: 1996-02-26T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 683698
author: Christos Papadimitriou
author: Martha Sideri
MaRDI profile type: Publication
full work available at URL: 0004-3702(94)90087-6
OpenAlex ID: W2165394462
cites work: General logical databases and programs: Default logic semantics and stratification
cites work: Horn clause queries and generalizations
cites work: A graph-theoretic approach to default logic
cites work: On kernels, defaults and even graphs
cites work: Formalizing nonmonotonic reasoning systems
cites work: Hard problems for simple default logics
cites work: Q3221403
cites work: A logic for default reasoning
description: scientific article; zbMATH DE number 683698