selp: A Single-Shot Epistemic Logic Program Solver.
Manuel BichlerMichael MorakStefan WoltranPublished in: CoRR (2020)
Keyphrases
- single shot
- logic program updates
- logic programs
- light field
- logic programming
- structured light
- answer sets
- fixpoint
- answer set programming
- spatial resolution
- stable models
- minimal change
- high dynamic range
- inductive logic programming
- general logic programs
- computational properties
- multi view
- prolog programs
- normal logic programs
- stable model semantics
- horn clauses
- model theoretic
- super resolution
- loop formulas
- semantic web
- conflict resolution
- motion estimation