Question-asking strategies for Horn clause systems
type: Item
instance of: scholarly article
title: Question-asking strategies for Horn clause systems
zbMATH Open document ID: 0875.68805
DOI: 10.1007/BF01531084
author: O. Diekmann
published in: Annals of Mathematics and Artificial Intelligence
publication date: 1997-11-09T00:00:00Z
Mathematics Subject Classification ID: 68T35
Mathematics Subject Classification ID: 68W10
zbMATH DE Number: 1017074
MaRDI profile type: Publication
cites work: Q4091421
cites work: Linear-time algorithms for testing the satisfiability of propositional horn formulae
cites work: Dynamic Programming, Integral Polyhedra and Horn Clause Knowledge Base
cites work: Q3707420
full work available at URL: https://doi.org/10.1007/bf01531084
OpenAlex ID: W2051120160
description: scientific article; zbMATH DE number 1017074