Computing intersections of Horn theories for reasoning with models
type: Item
instance of: scholarly article
title: Computing intersections of Horn theories for reasoning with models
zbMATH Open document ID: 0996.68188
DOI: 10.1016/S0004-3702(99)00021-1
author: Toshihide Ibaraki
author: Kazuhisa Makino
author: Thomas Eiter
published in: Artificial Intelligence
publication date: 2002-07-24T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03D15
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 1770894
zbMATH Keywords: model-based reasoning
zbMATH Keywords: logical knowledge bases
MaRDI profile type: Publication
full work available at URL: s0004-3702(99)00021-1
OpenAlex ID: W2094873706
description: scientific article; zbMATH DE number 1770894