A linear control algorithm for a class of rule-based systems
- 31 August 1991
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 11 (2) , 117-132
- https://doi.org/10.1016/0743-1066(91)90015-h
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A note on Dowling and Gallier's top-down algorithm for propositional Horn satisfiabilityThe Journal of Logic Programming, 1990
- Algorithms for testing the satisfiability of propositional formulaeThe Journal of Logic Programming, 1989
- Unification as a complexity measure for logic programmingThe Journal of Logic Programming, 1987
- Linear-time algorithms for testing the satisfiability of propositional horn formulaeThe Journal of Logic Programming, 1984
- Unit Refutations and Horn SetsJournal of the ACM, 1974