Functional Constructions between reaction Systems and Propositional Logic.

Published in: Int. J. Found. Comput. Sci. (2013)

Keyphrases

propositional logic
first order logic
belief revision
artificial intelligence
quantified boolean formulae
machine learning
prime implicates
satisfiability testing