Aceto, Luca; Della Monica, Dario; Goranko, Valentin; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases. (English) Zbl 1339.03018 Acta Inf. 53, No. 3, 207-246 (2016). Reviewer: Giacomo Lenzi (Fisciano) MSC: 03B44 PDFBibTeX XMLCite \textit{L. Aceto} et al., Acta Inf. 53, No. 3, 207--246 (2016; Zbl 1339.03018) Full Text: DOI Link
Aceto, Luca; Della Monica, Dario; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido On the expressiveness of the interval logic of Allen’s relations over finite and discrete linear orders. (English) Zbl 1432.03027 Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8761, 267-281 (2014). MSC: 03B44 PDFBibTeX XMLCite \textit{L. Aceto} et al., Lect. Notes Comput. Sci. 8761, 267--281 (2014; Zbl 1432.03027) Full Text: DOI
Aceto, Luca; Della Monica, Dario; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido An algorithm for enumerating maximal models of Horn theories with an application to modal logics. (English) Zbl 1433.03019 McMillan, Ken (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14–19, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8312, 1-17 (2013). MSC: 03B35 03B45 68Q17 PDFBibTeX XMLCite \textit{L. Aceto} et al., Lect. Notes Comput. Sci. 8312, 1--17 (2013; Zbl 1433.03019) Full Text: DOI