Sotiris Batsakis

From MaRDI portal
Person:2694543

Available identifiers

zbMath Open batsakis.sotirisMaRDI QIDQ2694543

List of research outcomes





PublicationDate of PublicationType
Modal logic S5 in answer set programming with lazy creation of worlds2023-04-04Paper
https://portal.mardi4nfdi.de/entity/Q58808352023-03-06Paper
https://portal.mardi4nfdi.de/entity/Q50612722023-01-11Paper
Modal logic S5 satisfiability in answer set programming2022-01-10Paper
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming2020-12-13Paper
Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments2019-10-24Paper
A trajectory calculus for qualitative spatial reasoning using answer set programming2018-12-04Paper

Research outcomes over time

This page was built for person: Sotiris Batsakis

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2694543&oldid=7399184"
Powered by MediaWiki