Conservative Skyrmion Logic System.

Maverick Chauwin Xuan Hu Felipe García-Sánchez Neilesh Betrabet Christoforos Moutafis Joseph S. Friedman

Published in: CoRR (2018)

Keyphrases

logic programming
modal logic
case study
abductive reasoning
defeasible logic
computational properties
classical logic
automated reasoning
intuitionistic logic
deontic logic
epistemic logic
predicate logic
multi valued
data sets
expressive power
model checking
expert systems
image sequences
real world