no code implementations • 18 Jul 2021 • Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
We propose an approach based on Answer Set Programming for reasoning about actions with domain descriptions including ontological knowledge, expressed in the lightweight description logic EL^\bot.