Results 31 to 40 of about 16,840,789 (262)
Learning Concepts Definable in First-Order Logic with Counting [PDF]
Logical Methods in Computer ScienceWe study Boolean classification problems over relational background structures in the logical framework introduced by Grohe and Turán (TOCS 2004). It is known (Grohe and Ritzert, LICS 2017) that classifiers definable in first-order logic over structures ...
Steffen van Bergerem
doaj +1 more source
Explaining the undecidability of first-order logic
Zagadnienia Filozoficzne w NauceTuring proved the unsolvability of the decision problem for first-order logic (Entscheidungsproblem) in his famous paper On Computable Numbers, with an Application to the Entscheidungsproblem.
Timm Lampert, Anderson Nakano
doaj +1 more source
Order-Invariant First-Order Logic over Hollow Trees [PDF]
, 2020 International audienceWe show that the expressive power of order-invariant first-order logic collapses to first-order logic over hollow trees. A hollow tree is an unranked ordered tree where every non leaf node has at most four adjacent nodes: two ...
Grange, Julien, Segoufin, Luc
core +1 more source
First order logic to set requirements for secure code execution
Труды Института системного программирования РАН, 2018 Currently the problem of information security during designing and exploiting the objects of critical information infrastructure is paid special attention to.
A. V. Kozachok
doaj +1 more source
Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure [PDF]
Logical Methods in Computer Science, 2007 String languages recognizable in (deterministic) log-space are characterized either by two-way (deterministic) multi-head automata, or following Immerman, by first-order logic with (deterministic) transitive closure.
Joost Engelfriet, Hendrik Jan Hoogeboom
doaj +1 more source
Ultraproducts and Related Constructions
Mathematics, 2022 In this work, we survey some research directions in which the ultraproduct construction and methods based on ultrafilters play significant roles. Rather different areas of mathematics have been considered: topics we are reviewing here include some ...
Gábor Sági
doaj +1 more source
A refinement of the Craig-Lyndon Interpolation Theorem for classical first-order logic (with identity) [PDF]
, 2017 We refine the interpolation property of classical first-order logic (without identity and without functionsymbols), showing that if G & , & D and G $ D then there is an interpolant c, constructed using onlynon-logical vocabulary common to both ...
Milne, Peter
core +1 more source
Modelling stem cell differentiation related processes—A practical overview for biologists
FEBS Letters, EarlyView.Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar +4 more
wiley +1 more source
Molecular Oncology, EarlyView.Single‐cell DNA methylation (scDNAme) profiling maps epimutational clonal evolution, revealing mechanisms of malignancy and therapeutic resistance across diverse cancer types. By providing a high‐resolution landscape of intratumoral heterogeneity, these technologies empower precise patient stratification, guide the development of enhanced ...
Ik Soo Kim
wiley +1 more source
Bulletin of the Section of LogicIn this paper, we prove the semantic incompleteness of some expansions of the Hilbert-style system for the minimal normal term-modal logic with equality and non-rigid terms that were proposed in Liberman et al.
Takahiro Sawasaki
doaj +1 more source