×

Found 7 Documents (Results 1–7)

Answer set programming for qualitative spatio-temporal reasoning: methods and experiments. (English) Zbl 1428.68282

Carro, Manuel (ed.) et al., Technical communications of the 32nd international conference on logic programming, ICLP 2016, October 16–21, 2016, New York, NY, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 52, Article 4, 15 p. (2016).
MSC:  68T27 68N17
PDFBibTeX XMLCite
Full Text: DOI

Trends in temporal reasoning: constraints, graphs and posets. (English) Zbl 1460.68100

Kotsireas, Ilias S. (ed.) et al., Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11–13, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9582, 290-304 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Representing and reasoning with qualitative preferences. Tools and applications. (English) Zbl 1348.68009

Synthesis Lectures on Artificial Intelligence and Machine Learning 31. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-62705-839-1/pbk; 978-1-62705-840-7/ebook). xv, 138 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 3

Main Field