The achievement of knowledge bases by cycle search.
type: Item
instance of: scholarly article
title: The achievement of knowledge bases by cycle search.
zbMATH Open document ID: 1045.68604
author: Olivier Roussel
author: P. Mathieu
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68T35
zbMATH DE Number: 1853122
zbMATH Keywords: forward chaining
zbMATH Keywords: inference systems
MaRDI profile type: Publication
OpenAlex ID: W2081500090
cites work: Q5679729
cites work: Q4321736
cites work: A Proof Procedure Using Connection Graphs
cites work: Q4139711
cites work: Q4287508
cites work: A kind of logical compilation for knowledge bases
cites work: A new method for knowledge compilation: The achievement by cycle search
DOI: 10.1006/INCO.1999.2851
description: scientific article; zbMATH DE number 1853122