Feasibility checking in Horn constraint systems through a reduction based approach.

K. Subramani James Worthington

Published in: Theor. Comput. Sci. (2015)

Keyphrases

management system
distributed systems
knowledge based systems
expert systems
np hard
real time
databases
bayesian networks
multi agent
computational complexity
complex systems