Revisiting Counter-model Generation for Minimal Implicational Logic.

Jefferson de Barros Santos Bruno Lopes Vieira Edward Hermann Haeusler

Published in: CoRR (2019)

Keyphrases

logic programming
multi valued
modal logic
real time
computer vision
classical logic
automated reasoning
database
real world
information retrieval
expert systems
computational properties
abductive reasoning
epistemic logic
asynchronous circuits
minimal models