Anytime clausal reasoning
type: Item
instance of: scholarly article
title: Anytime clausal reasoning
zbMATH Open document ID: 0905.68115
DOI: 10.1023/A:1018947704302
author: Mukesh Dalal
published in: Annals of Mathematics and Artificial Intelligence
publication date: 1998-10-13T00:00:00Z
Mathematics Subject Classification ID: 68T05
zbMATH DE Number: 1210281
zbMATH Keywords: logical knowledge base
MaRDI profile type: Publication
full work available at URL: a:1018947704302
OpenAlex ID: W1517172644
description: scientific article; zbMATH DE number 1210281