The satisfiability problem in multiple-valued Horn formulae

Publisher Website

17 December 2002

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/ismvl.1994.302194

Abstract

No abstract available

This publication has 4 references indexed in Scilit:

A linear control algorithm for a class of rule-based systems
The Journal of Logic Programming, 1991
A note on Dowling and Gallier's top-down algorithm for propositional Horn satisfiability
The Journal of Logic Programming, 1990
Many-valued Logic
Published by Springer Nature ,1986
Linear-time algorithms for testing the satisfiability of propositional horn formulae
The Journal of Logic Programming, 1984