Author:
Alviano Mario,Batsakis Sotiris,Baryannis George
Publisher
Springer International Publishing
Reference17 articles.
1. Alviano, M., Batsakis, S., Baryannis, G.: Modal logic s5 satisfiability in answer set programming. Theory Pract. Logic Program. 21(5), 527–542 (2021)
2. Baryannis, G., Tachmazidis, I., Batsakis, S., Antoniou, G., Alviano, M., Papadakis, E.: A generalised approach for encoding and reasoning with qualitative theories in answer set programming. Theory Pract. Logic Program. 20(5), 687–702 (2020)
3. Baryannis, G., et al.: A trajectory calculus for qualitative spatial reasoning using answer set programming. Theory Pract. Logic Program. 18(3–4), 355–371 (2018). https://doi.org/10.1017/S147106841800011X
4. Batsakis, S., Baryannis, G., Governatori, G., Tachmazidis, I., Antoniou, G.: Legal representation and reasoning in practice: a critical comparison. In: Legal Knowledge and Information Systems - JURIX 2018: The Thirty-first Annual Conference, pp. 31–40. IOS Press, Netherlands (2018)
5. Brewka, G., Eiter, T., Truszczyński, M.: Answer set programming at a glance. Commun. ACM 54(12), 92–103 (2011)