selp: A Single-Shot Epistemic Logic Program Solver.
Manuel BichlerMichael MorakStefan WoltranPublished in: Theory Pract. Log. Program. (2020)
Keyphrases
- single shot
- logic program updates
- logic programs
- answer sets
- light field
- logic programming
- structured light
- stable models
- answer set programming
- general logic programs
- minimal change
- fixpoint
- normal logic programs
- spatial resolution
- belief change
- computational properties
- prolog programs
- multi view
- machine learning
- default logic
- image formation
- light source
- semi supervised