Fixpoints and relative precompleteness.

Anton Golov Sebastiaan A. Terwijn

Published in: Comput. (2022)

Keyphrases

logic programs
deductive databases
real time
databases
social networks
three dimensional
database systems
nonmonotonic reasoning