×

Found 3 Documents (Results 1–3)

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
Full Text: DOI

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
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field