Some representational issues in default reasoning
type: Item
instance of: scholarly article
title: Some representational issues in default reasoning
zbMATH Open document ID: 0523.68082
DOI: 10.1016/0898-1221(83)90004-4
author: Raymond Reiter
author: Giovanni Criscuolo
publication date: 1983-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T99
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68P20
zbMATH DE Number: 3829298
zbMATH Keywords: semantic network
zbMATH Keywords: knowledge representation
zbMATH Keywords: default rules
zbMATH Keywords: integrity
zbMATH Keywords: data bases
zbMATH Keywords: indexing schemes on logical formulae
MaRDI profile type: Publication
full work available at URL: 0898-1221(83)90004-4
OpenAlex ID: W3023072795
cites work: A logic for default reasoning
cites work: Circumscription - a form of non-monotonic reasoning
cites work: Nonmonotonic Logic II
cites work: Non-monotonic logic. I
cites work: Discussion and correspondence: A note on the Towers of Hanoi problem
cites work: Extended inference modes in reasoning by computer systems
cites work: A Proof Procedure Using Connection Graphs
published in: Computers & Mathematics with Applications
description: scientific article; zbMATH DE number 3829298