Testability of AND-EXOR logic vs. AND-OR logic.

Luis Parrilla Julio Ortega Antonio Lloris-Ruíz

Published in: ICECS (1998)

Keyphrases

real time
logic programming
computational properties
predicate logic
automated reasoning
probabilistic logic
logical framework
logical operations
sound and complete axiomatization
machine learning
hidden markov models
multi valued
epistemic logic