A linear control algorithm for a class of rule-based systems

DOI10.1016/0743-1066(91)90015-HzbMath0795.68177MaRDI QIDQ3983122

Malik Ghallab, Gonzalo Escalada-Imaz

Publication date: 27 June 1992

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

rule-based systemscontrol algorithmextended non-Horn formHorn-clause typemonotonic inference

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (2)

Unique Horn renaming and Unique 2-Satisfiability ⋮ A linear algorithm for renaming a set of clauses as a Horn set

This page was built for publication: A linear control algorithm for a class of rule-based systems