Keyword:reasoning about action

Publications
Projection in a Description Logic of Context with Actions Satyadharma Tirtarasa and Benjamin Zarrieß In:GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence
Modeling Organic Chemistry and Planning Organic Synthesis Arman Masoumi, Megan Antoniazzi and Mikhail Soutchanski In:GCAI 2015. Global Conference on Artificial Intelligence
An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future Jiefei Ma, Rob Miller, Leora Morgenstern and Theodore Patkos In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning