15 citations · 15 across the 8 of their papers we have counts for
3 papers · 1 filter
Event Calculus Meets Hybrid ASP
Ondřej Vašíček, Joaquín Arias, Jan Fiedor +5
Event Calculus (EC) implemented in answer set programming (ASP) has proven suitable for specifying requirements on safety-critical systems thanks to its elegant representation of b…
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…
plasp 3: Towards Effective ASP Planning
Yannis Dimopoulos, Martin Gebser, Patrick Lühne +2
We describe the new version of the PDDL-to-ASP translator plasp. First, it widens the range of accepted PDDL features. Second, it contains novel planning encodings, some inspired b…