×

Found 522 Documents (Results 1–100)

100
MathJax

A new meta-heuristic optimization algorithm based on the string theory paradigm from physics. (English) Zbl 1482.68002

SpringerBriefs in Applied Sciences and Technology. Computational Intelligence. Cham: Springer (ISBN 978-3-030-82287-3/pbk; 978-3-030-82288-0/ebook). viii, 71 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

A flexible approach to argumentation framework analysis using theorem proving. (English) Zbl 1484.68228

Liao, Beishui (ed.) et al., Logics for new-generation AI 2021. First international workshop, LNGAI 2021, June, 18–20 2021, Hangzhou, China. London: College Publications. 18-32 (2021).
MSC:  68T27 68V15
PDF BibTeX XML Cite

Proof technology in mathematics research and teaching. (English) Zbl 1451.97008

Mathematics Education in the Digital Era 14. Cham: Springer (ISBN 978-3-030-28482-4/hbk; 978-3-030-28485-5/pbk; 978-3-030-28483-1/ebook). viii, 379 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI Link

Investigating the existence of orthogonal golf designs via satisfiability testing. (English) Zbl 1467.81076

Bradford, Russell (ed.), Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC ’19, Beijing, China, July 15–18, 2019. New York, NY: Association for Computing Machinery (ACM). 203-210 (2019).
MSC:  81T20 68V15 05B15
PDF BibTeX XML Cite
Full Text: DOI

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

15 years of consequence-based reasoning. (English) Zbl 1444.68192

Lutz, Carsten (ed.) et al., Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11560, 573-587 (2019).
MSC:  68T27 68T30 68V15
PDF BibTeX XML Cite
Full Text: DOI

Preferential tableaux for contextual defeasible \(\mathcal{ALC}\). (English) Zbl 1435.68312

Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 39-57 (2019).
MSC:  68T27 68T30 68V15
PDF BibTeX XML Cite
Full Text: DOI

Certified equational reasoning via ordered completion. (English) Zbl 07178995

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

The aspect calculus. (English) Zbl 07178989

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

Experiments on automatic inclusion of some non-degeneracy conditions among the hypotheses in locus equation computations. (English) Zbl 1428.68343

Kaliszyk, Cezary (ed.) et al., Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11617, 140-154 (2019).
MSC:  68V15 68U05
PDF BibTeX XML Cite
Full Text: DOI

WhaleProver: first-order intuitionistic theorem prover based on the inverse method. (English) Zbl 1461.68247

Petrenko, Alexander K. (ed.) et al., Perspectives of system informatics. 11th international Andrei P. Ershov informatics conference, PSI 2017, Moscow, Russia, June 27–29, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10742, 322-336 (2018).
MSC:  68V15 03B20
PDF BibTeX XML Cite
Full Text: DOI

The importance of being zero. (English) Zbl 1467.13060

Arreche, Carlos (ed.), Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16–19, 2018. New York, NY: Association for Computing Machinery (ACM). 327-333 (2018).
MSC:  13P15 12-08 68W30
PDF BibTeX XML Cite
Full Text: DOI

A dyadic deontic logic in HOL. (English) Zbl 1418.03069

Broersen, Jan (ed.) et al., Deontic logic and normative systems. 14th international conference, DEON 2018, Utrecht, Netherlands, July 3–6, 2018. Proceedings. London: College Publications. 33-49 (2018).
MSC:  03B45 03B15 03B35
PDF BibTeX XML Cite

Loop analysis by quantification over iterations. (English) Zbl 1415.68146

Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 381-399 (2018).
MSC:  68Q60 68N30
PDF BibTeX XML Cite
Full Text: DOI

An abstraction-refinement framework for reasoning with large theories. (English) Zbl 06958129

Galmiche, Didier (ed.) et al., Automated reasoning. 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10900, 663-679 (2018).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI Link

Understanding parameters of deductive verification: an empirical investigation of key. (English) Zbl 06946989

Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10895, 342-361 (2018).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI

Towards a unified ordering for superposition-based automated reasoning. (English) Zbl 1395.68248

Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 245-254 (2018).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI Link

RACCOON: a connection reasoner for the description logic \(\mathcal{ALC}\). (English) Zbl 1403.68262

Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 200-211 (2017).
MSC:  68T27 68T30
PDF BibTeX XML Cite
Full Text: DOI

TacticToe: learning to reason with HOL4 tactics. (English) Zbl 1403.68224

Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 15-143 (2017).
MSC:  68T15 68T05
PDF BibTeX XML Cite
Full Text: DOI arXiv

Blocked clauses in first-order logic. (English) Zbl 1403.68240

Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 31-48 (2017).
MSC:  68T20 03B10 68T15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Coming to terms with quantified reasoning. (English) Zbl 1380.68280

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 260-270 (2017).
MSC:  68Q60 68N30 68T15
PDF BibTeX XML Cite
Full Text: DOI arXiv

A verified algorithm enumerating event structures. (English) Zbl 1367.68245

Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 239-254 (2017).
MSC:  68T15 05A15 06-04 68Q10 68U35
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

On regular paths with counting and data tests. (English) Zbl 1394.68108

Arrazola-Ramírez, José Ramón (ed.) et al., Selected papers of the 10th Latin American workshop on logic/languages, algorithms and new methods of reasoning (LANMR), Puebla, Mexico, August 15, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 328, 3-16 (2016).
MSC:  68P15 03B45 68T15
PDF BibTeX XML Cite
Full Text: DOI

Proof assistants for natural language semantics. (English) Zbl 1483.68456

Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10054, 85-98 (2016).
MSC:  68T50 68V15
PDF BibTeX XML Cite
Full Text: DOI

Extending E prover with similarity based clause selection strategies. (English) Zbl 1347.68303

Kohlhase, Michael (ed.) et al., Intelligent computer mathematics. 9th international conference, CICM 2016, Bialystok, Poland, July 25–29, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42546-7/pbk; 978-3-319-42547-4/ebook). Lecture Notes in Computer Science 9791. Lecture Notes in Artificial Intelligence, 151-156 (2016).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Mathematical theory exploration in Theorema: reduction rings. (English) Zbl 1344.68210

Kohlhase, Michael (ed.) et al., Intelligent computer mathematics. 9th international conference, CICM 2016, Bialystok, Poland, July 25–29, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42546-7/pbk; 978-3-319-42547-4/ebook). Lecture Notes in Computer Science 9791. Lecture Notes in Artificial Intelligence, 3-17 (2016).
MSC:  68T15 13P10
PDF BibTeX XML Cite
Full Text: DOI arXiv

A modal-layered resolution calculus for K. (English) Zbl 1471.03017

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, 185-200 (2015).
MSC:  03B35 03B45 68V15
PDF BibTeX XML Cite
Full Text: DOI

Automating Leibniz’s theory of concepts. (English) Zbl 1465.03049

Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9195, 73-97 (2015).
PDF BibTeX XML Cite
Full Text: DOI Link

Automating change of representation for proofs in discrete mathematics. (English) Zbl 1409.68260

Kerber, Manfred (ed.) et al., Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9150, 227-242 (2015).
MSC:  68T15 68R01 68T27 68T30
PDF BibTeX XML Cite
Full Text: DOI arXiv

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

Biographic Reference

all top 3

Software