15 citations · 15 across the 8 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020
eclingo: A solver for Epistemic Logic Programs
Pedro Cabalar, Jorge Fandinno, Javier Garea +2
We describe eclingo, a solver for epistemic logic programs under Gelfond 1991 semantics built upon the Answer Set Programming system clingo. The input language of eclingo uses the…
cs.AI2020
How to build your own ASP-based system?!
Roland Kaminski, Javier Romero, Torsten Schaub +1
Answer Set Programming (ASP) has become a popular and quite sophisticated approach to declarative problem solving. This is arguably due to its attractive modeling-grounding-solving…