×

Found 9 Documents (Results 1–9)

The MET: the art of flexible reasoning with modalities. (English) Zbl 1518.68416

Benzmüller, Christoph (ed.) et al., Rules and reasoning. Second international joint conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11092, 274-284 (2018).
MSC:  68V15 03B45
PDFBibTeX XMLCite
Full Text: DOI

Higher-order modal logics: automation and applications. (English) Zbl 1358.68273

Faber, Wolfgang (ed.) et al., Reasoning web. Web logic rules. 11th international summer school 2015, Berlin, Germany, July 31 – August 4, 2015. Tutorial lectures. Cham: Springer (ISBN 978-3-319-21767-3/pbk; 978-3-319-21768-0/ebook). Lecture Notes in Computer Science 9203, 32-74 (2015).
MSC:  68T27 03B35 03B45 68T15
PDFBibTeX XMLCite
Full Text: DOI

Invited talk: On a (quite) universal theorem proving approach and its application in metaphysics. (English) Zbl 1471.68302

De Nivelle, Hans (ed.), Automated reasoning with analytic tableaux and related methods. 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9323, 213-220 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

all top 3

Software