George Baryannis

From MaRDI portal
Person:2694544

Available identifiers

zbMath Open baryannis.georgeMaRDI QIDQ2694544

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
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
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming2018-12-04Paper

Research outcomes over time

This page was built for person: George Baryannis

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