From systems to logic in the early development of nonmonotonic reasoning
type: Item
instance of: scholarly article
title: From systems to logic in the early development of nonmonotonic reasoning
zbMATH Open document ID: 1216.68274
author: Erik Sandewall
published in: Artificial Intelligence
publication date: 2011-06-17T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 5909448
zbMATH Keywords: nonmonotonic reasoning
zbMATH Keywords: frame problem
zbMATH Keywords: truth maintenance
zbMATH Keywords: defeasible inheritance history of AI
MaRDI profile type: Publication
full work available at URL: j.artint.2010.04.013
OpenAlex ID: W2062597769
cites work: Q4050196
cites work: Q4275685
cites work: STRIPS: A new approach to the application of theorem proving to problem solving
cites work: Q5659061
cites work: Circumscription - a form of non-monotonic reasoning
cites work: Q5633670
cites work: Non-monotonic logic. I
cites work: The structure of programming languages
cites work: A logic for default reasoning
cites work: Q5663383
cites work: Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
DOI: 10.1016/J.ARTINT.2010.04.013
description: scientific article; zbMATH DE number 5909448