Search Results

You are looking at 1 - 10 of 232 items :

  • " automated reasoning" x
Clear All

Gödel’96: Logical Foundations of Mathematics, Computer Science, and Physics , 6:167–172. Springer: Lecture Notes in Logic, 1996. Andrews, Peter B. “On Connections and Higher-Order Logic.” Journal of Automated Reasoning 5:3 (1989), 257–291. Bentert, Matthias, Benzmüller, Christoph, Streit, David and Woltzenlogel Paleo, Bruno. “Analysis of an Ontological Proof Proposed by Leibniz.” In Death and Anti-Death, Volume 14: Four Decades After Michael Polanyi, Three Centuries After G.w. Leibniz , edited by Charles Tandy. Ria University Press, 2016. Benzmüller, Christoph

logical formalisms that allow for quantification over predicate and function variables, i. e. quantification is not restricted to individuals as in first-order logic. The most common formulations used today in the context of computer-assisted reasoning are based on a simply typed λ -calculus as proposed by Church in the 1940s [ 1 ]. In the remainder, the term HOL is used synonymously to Extensional Type Theory [ 9 ], which is also assumed by most contemporary higher-order automated reasoning systems. HOL, being a sub-system of Church’s original formulation, provides

The Journal of Polish Neural Network Society, the University of Social Sciences in Lodz & Czestochowa University of Technology
(a computer assisted approach)

Abstract

To address archaeology’s most pressing substantive challenges, researchers must discover, access, and extract information contained in the reports and articles that codify so much of archaeology’s knowledge. These efforts will require application of existing and emerging natural language processing technologies to extensive digital corpora. Automated classification can enable development of metadata needed for the discovery of relevant documents. Although it is even more technically challenging, automated extraction of and reasoning with information from texts can provide urgently needed access to contextualized information within documents. Effective automated translation is needed for scholars to benefit from research published in other languages.

Models of Automated Reasoning
Applied Ontology
OPEN ACCESS
An Introduction
The History and Future of Logic Puzzles

R eferences [1] Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, and Karol Pąk. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning , 61(1):9–32, 2018. doi:10.1007/s10817-017-9440-6. [2] Adam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. Journal of Automated Reasoning , 55(3):191–198, 2015. doi:10.1007/s10817-015-9345-1. [3] Nathan Jacobson. Basic Algebra I . Dover Books on Mathematics, 1985. [4] Heinz Lüneburg

References [1] A. A. Albert. Quasigroups. I. Transactions of the American Mathematical Society , 54(3): 507–519, 1943. [2] Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, and Karol Pąk. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning , 61(1):9–32, 2018. doi:10.1007/s10817-017-9440-6. [3] Maria Paola Bonacina and Mark E. Stickel, editors. Automated Reasoning and Mathematics – Essays in Memory of William W. McCune , volume 7788 of