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 |
Externí odkaz: |