Classical Negation Strikes Back: Why Priest's Attack on Classical Negation Can't Succeed.

Jonas R. Becker Arenhart Ederson Safra Melo

Published in: Logica Universalis (2017)

Keyphrases

logic programs
logic programming
real time
data sets
real world
computer vision
website
wireless sensor networks
knowledge representation
deductive databases