Results 81 to 90 of about 307,150 (181)

Preface to First order theorem proving

Journal of Symbolic Computation, 2003
Baumgartner, Peter, Zhang, Hantao
openaire   +1 more source

A theory of resolution

, 1997
We review the fundamental resolution-based methods for first-order theorem proving and present them in a uniform framework. We show that these calculi can be viewed as specializations of non-clausal resolution with simplification.
Bachmair, L., Ganzinger, H.
core  

Global parallel unification for large question-answering systems [PDF]

An efficient means of storing data in a first-order predicate calculus theorem-proving system is described. The data structure is oriented for large scale question-answering (QA) systems.
Auguston, J. G., Minker, J.
core   +1 more source

Distributed agent-based automated theorem proving in order-sorted first-order logic

, 2016
This paper presents a distributed agent-based automated theorem proving framework based on order-sorted first-order logic. Each agent in our framework has its own knowledge base, communicating to its neighboring agent(s) using message-passing algorithms.
openaire   +2 more sources

On De Giorgi's conjecture of nonlocal approximations for free-discontinuity problems: The symmetric gradient case. [PDF]

Calc Var Partial Differ Equ
Almi S, Davoli E, Kubin A, Tasso E.
europepmc   +1 more source

Evolution Equations on Co-evolving Graphs: Long-Time Behaviour and the Graph-Continuity Equation. [PDF]

J Nonlinear Sci
Carrillo JA, Esposito A, Mikolás L.
europepmc   +1 more source

Higher-order regularity for a structurally damped plate equation on rough domains. [PDF]

Math Ann
Denk R, Roodenburg FB.
europepmc   +1 more source

Smoothness and stability in the Alt-Phillips problem. [PDF]

Math Ann
Carducci M, Tortone G.
europepmc   +1 more source

Energy-dissipative adaptive-step L1 discretisation for the Caputo time-fractional incompressible magnetohydrodynamic system. [PDF]

Sci Rep
Abidin MZ.
europepmc   +1 more source

Computer-assisted construction of Ramanujan-Sato series for 1 over π. [PDF]

Ramanujan J
Hemmecke R, Paule P, Radu CS.
europepmc   +1 more source