Inclezan, Daniela; Gelfond, Michael Modular action language \(\mathcal{ALM}\). (English) Zbl 1379.68297 Theory Pract. Log. Program. 16, No. 2, 189-235 (2016). MSC: 68T27 68N17 68T30 PDFBibTeX XMLCite \textit{D. Inclezan} and \textit{M. Gelfond}, Theory Pract. Log. Program. 16, No. 2, 189--235 (2016; Zbl 1379.68297) Full Text: DOI arXiv
Heinemann, Bernhard Augmenting subset spaces to cope with multi-agent knowledge. (English) Zbl 1474.68336 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9537, 130-145 (2016). MSC: 68T27 03B42 68T30 68T42 PDFBibTeX XMLCite \textit{B. Heinemann}, Lect. Notes Comput. Sci. 9537, 130--145 (2016; Zbl 1474.68336) Full Text: DOI
Pigozzi, Gabriella; Tsoukiàs, Alexis; Viappiani, Paolo Preferences in artificial intelligence. (English) Zbl 1371.68262 Ann. Math. Artif. Intell. 77, No. 3-4, 361-401 (2016). MSC: 68T27 68T05 68T30 68T37 91B14 PDFBibTeX XMLCite \textit{G. Pigozzi} et al., Ann. Math. Artif. Intell. 77, No. 3--4, 361--401 (2016; Zbl 1371.68262) Full Text: DOI Link
Belle, Vaishak; Levesque, Hector J. A logical theory of localization. (English) Zbl 1371.03040 Stud. Log. 104, No. 4, 741-772 (2016). Reviewer: Heinrich Wansing (Bochum) MSC: 03B70 03B42 68T27 68T30 68T40 68T42 PDFBibTeX XMLCite \textit{V. Belle} and \textit{H. J. Levesque}, Stud. Log. 104, No. 4, 741--772 (2016; Zbl 1371.03040) Full Text: DOI Link
Cabalar, Pedro; Santos, Paulo E. A qualitative spatial representation of string loops as holes. (English) Zbl 1387.68213 Artif. Intell. 238, 1-10 (2016). MSC: 68T30 68T20 68T40 PDFBibTeX XMLCite \textit{P. Cabalar} and \textit{P. E. Santos}, Artif. Intell. 238, 1--10 (2016; Zbl 1387.68213) Full Text: DOI
De Giacomo, Giuseppe; Lespérance, Yves; Patrizi, Fabio Bounded situation calculus action theories. (English) Zbl 1357.68227 Artif. Intell. 237, 172-203 (2016). MSC: 68T30 68Q60 68T27 PDFBibTeX XMLCite \textit{G. De Giacomo} et al., Artif. Intell. 237, 172--203 (2016; Zbl 1357.68227) Full Text: DOI arXiv