Adding Negation to Lambda Mu.

Steffen van Bakel

Published in: Log. Methods Comput. Sci. (2023)

Keyphrases

logic programs
logic programming
database
genetic algorithm
decision making
real time
data sets
decision trees
database systems
search algorithm
deductive databases
horn clauses
fixpoint
predicate logic