Reasoning About Actions with $$\mathcal EL$$ Ontologies and Temporal Answer Sets for DLTL

Autor: Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Rok vydání: 2022
Zdroj: Logic Programming and Nonmonotonic Reasoning ISBN: 9783031157066
Databáze: OpenAIRE