×

Found 17,722 Documents (Results 1–100)

The logical approach to automatic sequences. Exploring combinatorics on words with Walnut. (English) Zbl 07565707

London Mathematical Society Lecture Note Series 482. Cambridge: Cambridge University Press (ISBN 978-1-108-74524-6/pbk; 978-1-108-77526-7/ebook). xvi, 358 p. (2023).
PDF BibTeX XML Cite
Full Text: DOI

Automatic complexity analysis of integer programs via triangular weakly non-linear loops. (English) Zbl 07628219

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 734-754 (2022).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Implicit definitions with differential equations for KeYmaera X (system description). (English) Zbl 07628218

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 723-733 (2022).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Proving non-termination and lower runtime bounds with LoAT (system description). (English) Zbl 07628217

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 712-722 (2022).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI

Decision problems in a logic for reasoning about reconfigurable distributed systems. (English) Zbl 07628216

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 691-711 (2022).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI arXiv

On eventual non-negativity and positivity for the weighted sum of powers of matrices. (English) Zbl 07628215

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 671-690 (2022).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Finite two-dimensional proof systems for non-finitely axiomatizable logics. (English) Zbl 07628213

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 640-658 (2022).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Guiding an automated theorem prover with neural rewriting. (English) Zbl 07628211

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 597-617 (2022).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI

Bayesian ranking for strategy scheduling in automated theorem provers. (English) Zbl 07628209

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 559-577 (2022).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI

Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description). (English) Zbl 07628207

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 529-540 (2022).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI

Effective semantics for the modal logics K and KT via non-deterministic matrices. (English) Zbl 07628204

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 468-485 (2022).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI

Non-associative, non-commutative multi-modal linear logic. (English) Zbl 07628203

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 449-467 (2022).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI

Synthetic tableaux: Minimal tableau search heuristics. (English) Zbl 07628201

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 407-425 (2022).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI

Formula simplification via invariance detection by algebraically indexed types. (English) Zbl 07628200

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 388-406 (2022).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI

Goéland: a concurrent tableau-based theorem prover (system description). (English) Zbl 07628198

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 359-368 (2022).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI

Hypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justifications. (English) Zbl 07628195

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 310-328 (2022).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI

GK: implementing full first order default logic for commonsense reasoning (system description). (English) Zbl 07628194

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 300-309 (2022).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI

Evonne: interactive proof visualization for description logics (system description). (English) Zbl 07628192

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 271-280 (2022).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI arXiv

SCL(EQ): SCL for first-order logic with equality. (English) Zbl 07628190

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 228-247 (2022).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Semantic relevance. (English) Zbl 07628189

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 208-227 (2022).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI

Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL. (English) Zbl 07628188

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 188-207 (2022).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Ground joinability and connectedness in the superposition calculus. (English) Zbl 07628187

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 169-187 (2022).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI

An efficient subsumption test pipeline for BS(LRA) clauses. (English) Zbl 07628186

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 147-168 (2022).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI

Reasoning about vectors using an SMT theory of sequences. (English) Zbl 07628185

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 125-143 (2022).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Cooperating techniques for solving nonlinear real arithmetic in the cvc5 SMT solver (system description). (English) Zbl 07628183

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 95-105 (2022).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software