Lifschitz Realizability as a Topological Construction.

Michael Rathjen Andrew W. Swan

Published in: J. Symb. Log. (2020)

Keyphrases

real time
real world
stable models
construction process
learning algorithm
computer vision
information systems
high level
bayesian networks
relational databases
knowledge representation
answer set programming
nonmonotonic reasoning
topological map