Sotiris Batsakis | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Mario Alviano
26 publications
Timos Sellis
9 publications
Grigoris Antoniou
6 publications
George Baryannis
5 publications
Ilias Tachmazidis
5 publications
Pei-Wei Tsai
1 publication
Emmanuel Papadakis
1 publication

research

∙ 08/09/2021

Modal Logic S5 Satisfiability in Answer Set Programming

Modal logic S5 has attracted significant attention and has led to severa...

0 Mario Alviano, et al. ∙

research

∙ 08/04/2020

A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming

Qualitative reasoning involves expressing and deriving knowledge based o...

0 George Baryannis, et al. ∙

research

∙ 04/19/2018

A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming

Spatial information is often expressed using qualitative terms such as n...

0 George Baryannis, et al. ∙