Extending Constructive Logic Negation with Types.

Susana Muñoz-Hernández Juan José Moreno-Navarro

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

logic programming
predicate logic
logic programs
classical logic
deductive databases
artificial intelligence
query evaluation
multi valued
data sets
machine learning
learning algorithm
website
knowledge representation
computational properties
truth values
epistemic logic