×

Found 2,406 Documents (Results 1–100)

100
MathJax

Program logic for higher-order probabilistic programs in Isabelle/HOL. (English) Zbl 07570114

Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 57-74 (2022).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI

Formalization of RBD-based cause consequence analysis in HOL. (English) Zbl 1485.68289

Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 47-64 (2021).
MSC:  68V20 68M15 90B25
PDF BibTeX XML Cite
Full Text: DOI

Superposition for full higher-order logic. (English) Zbl 07437091

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, 396-412 (2021).
MSC:  03B35 03B16 68V15
PDF BibTeX XML Cite
Full Text: DOI

Public announcement logic in HOL. (English) Zbl 07437025

Martins, Manuel A. (ed.) et al., Dynamic logic. New trends and applications. Third international workshop, Dalí 2020, Prague, Czech Republic, October 9–10, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12569, 222-238 (2020).
MSC:  03B42 68V15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Proof-theoretic conservative extension of HOL with ad-hoc overloading. (English) Zbl 07369981

Pun, Violet Ka I. (ed.) et al., Theoretical aspects of computing – ICTAC 2020. 17th international colloquium, Macau, China, November 30 – December 4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12545, 23-42 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

On the computational content of Zorn’s lemma. (English) Zbl 07299511

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 768-781 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI arXiv

Extensions of \(\omega \)-regular languages. (English) Zbl 07299474

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 266-272 (2020).
MSC:  03B16 03B25 68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

Why not fuzzy logic? (English) Zbl 1446.68155

Skansi, Sandro (ed.), Guide to deep learning basics. Logical, historical and philosophical perspectives. Cham: Springer. 29-40 (2020).
MSC:  68T37 03B52
PDF BibTeX XML Cite
Full Text: DOI

On the expressivity of linear recursion schemes. (English) Zbl 07561694

Rossmanith, Peter (ed.) et al., 44th international symposium on mathematical foundations of computer science, MFCS 2019, Aachen, Germany, August 26–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 138, Article 50, 14 p. (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Polymorphic higher-order termination. (English) Zbl 07559278

Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 12, 18 p. (2019).
MSC:  03B70 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Dependency pairs termination in dependent type theory modulo rewriting. (English) Zbl 07559275

Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 9, 21 p. (2019).
MSC:  03B70 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Free logic and the quantified argument calculus. (English) Zbl 1465.03096

Mras, Gabriele M. (ed.) et al., Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter. Publ. Austrian Ludwig Wittgenstein Soc. New Ser. 27, 105-115 (2019).
MSC:  03F03 03B16 03B65
PDF BibTeX XML Cite
Full Text: DOI Link

Computational hermeneutics: an integrated approach for the logical analysis of natural-language arguments. (English) Zbl 07229671

Liao, Beishui (ed.) et al., Dynamics, uncertainty and reasoning. Selected papers of the second Chinese conference on logic and argumentation (CLAR 2018), Hangzhou, China, June 16–17, 2018. Singapore: Springer. Log. Asia: Stud. Log. Libr., 187-207 (2019).
MSC:  68V15 68T50
PDF BibTeX XML Cite
Full Text: DOI

Mechanised assessment of complex natural-language arguments using expressive logic combinations. (English) Zbl 1435.68315

Herzig, Andreas (ed.) et al., Frontiers of combining systems. 12th international symposium, FroCoS 2019, London, UK, September 4–6, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11715, 112-128 (2019).
MSC:  68T27 68T50 68V15
PDF BibTeX XML Cite
Full Text: DOI

GRUNGE: a grand unified ATP challenge. (English) Zbl 07178973

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, 123-141 (2019).
MSC:  03B35 68V15
PDF BibTeX XML Cite
Full Text: DOI arXiv

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).
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

A Dialectica-like interpretation of a linear MSO on infinite words. (English) Zbl 1429.03214

Bojańczyk, Mikołaj (ed.) et al., Foundations of software science and computation structures. 22nd international conference, FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11425, 470-487 (2019).
MSC:  03F52 03D05 03B16
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software