Inference guiding in propositional knowledge bases
type: Item
instance of: scholarly article
title: Inference guiding in propositional knowledge bases
zbMATH Open document ID: 0913.68198
DOI: 10.1023/A:1018984712480
author: Jinchang Wang
published in: Annals of Mathematics and Artificial Intelligence
publication date: 1999-02-02T00:00:00Z
Mathematics Subject Classification ID: 68T35
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 1248233
zbMATH Keywords: knowledge-based system
MaRDI profile type: Publication
full work available at URL: a:1018984712480
OpenAlex ID: W1576051098
description: scientific article; zbMATH DE number 1248233