Zobrazeno 1 - 10 of 8 595 pro vyhledávání: '"first-order logic"'
1
Akademický článek
Near-optimal Lower Bounds on Quantifier Depth and Weisfeiler--Lehman Refinement Steps.
Autor: BERKHOLZ, CHRISTOPH1 christoph.berkholz@tuilmenau.de, NORDSTRÖM, JAKOB2 jn@di.ku.dk
Publikováno v: Journal of the ACM. Oct2023, Vol. 70 Issue 5, p1-31. 32p.
Zobrazit plný text záznamu
2
Akademický článek
A SYNTACTIC PROOF OF THE DECIDABILITY OF FIRST-ORDER MONADIC LOGIC.
Autor: Orlandelli, Eugenio1 eugenio.orlandelli@unibo.it, Tesi, Matteo2 tesi@logic.at
Publikováno v: Bulletin of the Section of Logic. Jun2024, Vol. 53 Issue 2, p223-244. 22p.
Zobrazit plný text záznamu
3
Akademický článek
On Conditional Axioms and Associated Inference Rules.
Autor: Borrego-Díaz, Joaquín1 (AUTHOR) acordon@us.es, Cordón-Franco, Andrés1 (AUTHOR), Lara-Martín, Francisco Félix1 (AUTHOR)
Publikováno v: Axioms (2075-1680). May2024, Vol. 13 Issue 5, p306. 24p.
Zobrazit plný text záznamu
4
Akademický článek
Recommender systems based on neuro-symbolic knowledge graph embeddings encoding first-order logic rules.
Autor: Spillo, Giuseppe1 (AUTHOR) giuseppe.spillo@uniba.it, Musto, Cataldo1 (AUTHOR), de Gemmis, Marco1 (AUTHOR), Lops, Pasquale1 (AUTHOR), Semeraro, Giovanni1 (AUTHOR)
Publikováno v: User Modeling & User-Adapted Interaction. Nov2024, Vol. 34 Issue 5, p2039-2083. 45p.
Zobrazit plný text záznamu
5
Akademický článek
ON TESTABILITY OF FIRST-ORDER PROPERTIES IN BOUNDED-DEGREE GRAPHS AND CONNECTIONS TO PROXIMITY-OBLIVIOUS TESTING.
Autor: ADLER, ISOLDE1 isolde.adler@uni-bamberg.de, KÖHLER, NOLEEN2 n.koehler@leeds.ac.uk, PAN PENG3 ppeng@ustc.edu.cn
Publikováno v: SIAM Journal on Computing. 2024, Vol. 53 Issue 4, p825-883. 59p.
Zobrazit plný text záznamu
6
Akademický článek
CUT ELIMINATION FOR EXTENDED SEQUENT CALCULI.
Autor: Martini, Simone1 simone.martini@unibo.it, Masini, Andrea2 andrea.masini@univr.it, Zorzi, Margherita2 margherita.zorzi@univr.it
Publikováno v: Bulletin of the Section of Logic. Dec2023, Vol. 52 Issue 4, p459-495. 37p.
Zobrazit plný text záznamu
7
Akademický článek
Discrepancy and sparsity.
Autor: Grobler, Mario1 (AUTHOR) grobler@uni-bremen.de, Jiang, Yiting2,3 (AUTHOR) yjiang@irif.fr, Ossona de Mendez, Patrice4,5 (AUTHOR) pom@ehess.fr, Siebertz, Sebastian1 (AUTHOR) siebertz@uni-bremen.de, Vigny, Alexandre1 (AUTHOR)
Publikováno v: Journal of Combinatorial Theory - Series B. Nov2024, Vol. 169, p96-133. 38p.
Zobrazit plný text záznamu
8
Akademický článek
A simple continuous theory.
Autor: Hanson, James E.1 (AUTHOR) jameseh@iastate.edu
Publikováno v: Journal of Mathematical Logic. Oct2024, p1. 33p.
Zobrazit plný text záznamu
9
Akademický článek
What is Logical Consequence?
Autor: Paseau, A C (AUTHOR) alexander.paseau@philosophy.ox.ac.uk
Publikováno v: Philosophia Mathematica. Oct2024, Vol. 32 Issue 3, p385-400. 16p.
Zobrazit plný text záznamu
10
Akademický článek
Truth and Finite Conjunction.
Autor: Luo, Guanglong1, Horsten, Leon2 leon.horsten@uni-konstanz.de, Roberts, Sam2
Publikováno v: Mind. Oct2024, Vol. 133 Issue 532, p1121-1135. 15p.
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje