×

Found 14 Documents (Results 1–14)

Preferential semantics for the logic of comparative similarity over triangular and metric models. (English) Zbl 1361.68212

Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26–28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 1-13 (2012).
MSC:  68T27 03B45
PDFBibTeX XMLCite
Full Text: DOI

On the strong completeness of Åqvist’s dyadic deontic logic \({\mathbf G}\). (English) Zbl 1144.03016

van der Meyden, Ron (ed.) et al., Deontic logic in computer science. 9th international conference, DEON 2008, Luxembourg, Luxembourg, July 15–18, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70524-6/pbk). Lecture Notes in Computer Science 5076. Lecture Notes in Artificial Intelligence, 189-202 (2008).
MSC:  03B45 03A05
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field