scientific article; zbMATH DE number 549989
From MaRDI portal
Publication:4287508
zbMath0789.68136MaRDI QIDQ4287508
Philippe Mathieu, Jean-Paul Delahaye
Publication date: 12 April 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
knowledge representationthree-valued logicexpert systemforward chainingcompilation system of knowledge bases
Related Items (4)
A kind of logical compilation for knowledge bases ⋮ A new method for knowledge compilation: The achievement by cycle search ⋮ Exact knowledge compilation in predicate calculus: The partial achievement case ⋮ The achievement of knowledge bases by cycle search.
This page was built for publication: