Reasoning with models
type: Item
instance of: scholarly article
title: Reasoning with models
zbMATH Open document ID: 1506.68149
DOI: 10.1016/S0004-3702(96)00006-9
author: Roni Khardon
author: Dan Roth
published in: Artificial Intelligence
publication date: 2022-09-27T00:00:00Z
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 7593521
zbMATH Keywords: knowledge representation
zbMATH Keywords: common-sense reasoning
zbMATH Keywords: automated reasoning
MaRDI profile type: Publication
cites work: Construction of asymptotically good low-rate error-correcting codes through pseudo-random graphs
cites work: On the Structure of Armstrong Relations for Functional Dependencies
cites work: Structure identification in relational data
cites work: Q3200589
cites work: Horn clauses and database dependencies
cites work: On sentences which are true of direct unions of algebras
cites work: Q4871262
cites work: Learning to reason
cites work: Design by example: An application of Armstrong relations
cites work: The decision problem for some classes of sentences without quantifiers
cites work: On the hardness of approximate reasoning
cites work: Model-preference default theories
cites work: The Semantics of Predicate Logic as a Programming Language
description: scientific article