A Logic of Recursion

V. Michele Abrusci Gianfranco Mascari

Published in: Inf. Comput. (1989)

Keyphrases

logic programming
deductive databases
modal logic
multi valued
automated reasoning
machine learning
computational properties
classical logic
multiscale
data sets
complex objects
relational databases
expert systems
multi agent systems
search algorithm
epistemic logic
asynchronous circuits
delay insensitive