Paraconsistent Negation and Classical Negation in Computation Tree Logic.

Norihiro Kamide Ken Kaneiwa

Published in: ICAART (1) (2010)

Keyphrases

logic programming
logic programs
truth values
computation tree logic
deductive databases
fixpoint
knowledge base
temporal logic
reasoning tasks
stable models
epistemic logic