A circumscriptive theorem prover
type: Item
instance of: scholarly article
title: A circumscriptive theorem prover
zbMATH Open document ID: 0677.68096
DOI: 10.1016/0004-3702(89)90026-X
author: M. L. Ginsberg
published in: Artificial Intelligence
publication date: 1989-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68T99
zbMATH DE Number: 4110160
zbMATH Keywords: default reasoning
zbMATH Keywords: circumscriptive theories
MaRDI profile type: Publication
cites work: Q3919057
cites work: Q3830545
cites work: GIB: Imperfect information in a computationally challenging game
cites work: Nonmonotonic logic and temporal projection
cites work: Circumscription - a form of non-monotonic reasoning
cites work: Ordering conjunctive queries
full work available at URL: 0004-3702(89)90026-x
OpenAlex ID: W2557892554
Recommended article: Q3830546
Recommended article: Q3490987
Recommended article: Q4539614
Recommended article: A theorem prover for a computational logic
Recommended article: Q3490989
Recommended article: Q4433984
Recommended article: An Intuitionistic Predicate Logic Theorem Prover
Recommended article: Q4218925
description: scientific article; zbMATH DE number 4110160