×

Found 27 Documents (Results 1–27)

Making higher-order superposition work. (English) Zbl 1512.68431

Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 415-432 (2021).
MSC:  68V15 03B16
PDFBibTeX XMLCite
Full Text: DOI

Computer-supported analysis of arguments in climate engineering. (English) Zbl 1509.68246

Dastani, Mehdi (ed.) et al., Logic and argumentation. Third international conference, CLAR 2020, Hangzhou, China, April 6–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12061, 104-115 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Computer-supported exploration of a categorical axiomatization of modeloids. (English) Zbl 1509.68328

Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 18th international conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12062, 302-317 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Complete non-orders and fixed points. (English) Zbl 07649979

Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 30, 16 p. (2019).
MSC:  68V20
PDFBibTeX XMLCite
Full Text: DOI

Superposition with lambdas. (English) Zbl 1471.03014

Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 55-73 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv HAL

A deontic logic reasoning infrastructure. (English) Zbl 1509.68327

Manea, Florin (ed.) et al., Sailing routes in the world of computation. 14th conference on computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10936, 60-69 (2018).
PDFBibTeX XMLCite
Full Text: DOI Link

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

Reducing higher-order theorem proving to a sequence of SAT problems. (English) Zbl 1314.68275

Bjørner, Nikolaj (ed.) et al., Automated deduction – CADE-23. 23rd international conference on automated deduction, Wrocław, Poland, July 31 – August 5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22437-9/pbk; 978-3-642-22438-6/ebook). Lecture Notes in Computer Science 6803. Lecture Notes in Artificial Intelligence, 147-161 (2011).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field