Manuel Bichler

According to our database, Manuel Bichler authored at least 4 papers between 2016 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

selp: A Single-Shot Epistemic Logic Program Solver.

Manuel Bichler, Michael Morak, Stefan Woltran

Theory Pract. Log. Program., 2020

lpopt: A Rule Optimization Tool for Answer Set Programming.

Manuel Bichler, Michael Morak, Stefan Woltran

Fundam. Informaticae, 2020

2018

Single-Shot Epistemic Logic Program Solving.

Manuel Bichler, Michael Morak, Stefan Woltran

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2016

The power of non-ground rules in Answer Set Programming.

Manuel Bichler, Michael Morak, Stefan Woltran

Theory Pract. Log. Program., 2016