Login / Signup
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