Picture for Manuel Bichler

Manuel Bichler

selp: A Single-Shot Epistemic Logic Program Solver

Add code
Jan 04, 2020
Figure 1 for selp: A Single-Shot Epistemic Logic Program Solver
Viaarxiv icon

lpopt: A Rule Optimization Tool for Answer Set Programming

Add code
Aug 23, 2016
Figure 1 for lpopt: A Rule Optimization Tool for Answer Set Programming
Figure 2 for lpopt: A Rule Optimization Tool for Answer Set Programming
Viaarxiv icon

The Power of Non-Ground Rules in Answer Set Programming

Add code
Aug 05, 2016
Figure 1 for The Power of Non-Ground Rules in Answer Set Programming
Viaarxiv icon