Strong negation in the theory of computable functionals TCF.

Nils Köpp Iosif Petrakis

Published in: CoRR (2022)

Keyphrases

logic programming
theoretical basis
database
higher order
horn clauses
case study
theoretical framework
feature space
special case
knowledge representation
computational model
deductive databases
formal theory