Results 1 to 10 of about 1,698,712 (321)

Separating Regular Languages with First-Order Logic [PDF]

Logical Methods in Computer Science, 2016
Given two languages, a separator is a third language that contains the first one and is disjoint from the second one. We investigate the following decision problem: given two regular input languages of finite words, decide whether there exists a first ...
Thomas Place, Marc Zeitoun
doaj   +6 more sources

Game semantics for first-order logic [PDF]

Logical Methods in Computer Science, 2010
We refine HO/N game semantics with an additional notion of pointer (mu-pointers) and extend it to first-order classical logic with completeness results.
Olivier Laurent
doaj   +6 more sources

Distributed First Order Logic

Artificial Intelligence, 2017
Distributed First Order Logic (DFOL) has been introduced more than ten years ago with the purpose of formalising distributed knowledge-based systems, where knowledge about heterogeneous domains is scattered into a set of interconnected modules.
Chiara Ghidini, Luciano Serafini
openaire   +4 more sources

The succinctness of first-order logic on linear orders [PDF]

, 2004
Succinctness is a natural measure for comparing the strength of different logics. Intuitively, a logic L_1 is more succinct than another logic L_2 if all properties that can be expressed in L_2 can be expressed in L_1 by formulas of (approximately) the ...
Martin Grohe, Nicole Schweikardt
openalex   +6 more sources

Tree Languages Defined in First-Order Logic with One Quantifier Alternation [PDF]

Logical Methods in Computer Science, 2010
We study tree languages that can be defined in \Delta_2 . These are tree languages definable by a first-order formula whose quantifier prefix is forall exists, and simultaneously by a first-order formula whose quantifier prefix is .
Mikolaj Bojanczyk, Luc Segoufin
doaj   +9 more sources

A Weakly Supervised Chinese Named Entity Recognition Method Combining First-Order Logic [PDF]

IEEE Access
Named entity recognition is a key prerequisite for many tasks. However, the high cost of entity annotation limits feature learning and generalization capabilities of models. To address this problem, this paper integrates the weakly supervised method with
Xi Tang, Dongchen Jiang
doaj   +2 more sources

Making first order linear logic a generating grammar [PDF]

Logical Methods in Computer Science, 2023
It is known that different categorial grammars have surface representation in a fragment of first order multiplicative linear logic (MLL1). We show that the fragment of interest is equivalent to the recently introduced extended tensor type calculus (ETTC)
Sergey Slavnov
doaj   +1 more source

Positive First-order Logic on Words and Graphs [PDF]

Logical Methods in Computer Science, 2023
We study FO+, a fragment of first-order logic on finite words, where monadic predicates can only appear positively. We show that there is an FO-definable language that is monotone in monadic predicates but not definable in FO+.
Denis Kuperberg
doaj   +1 more source

Interactive Interpretation Viewer for Typed First-order Logic

Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2023
This poster describes the Interactive Interpretation Viewer - IIV, for finite interpretations in typed first-order logic written in the (new) TPTP format for interpretations.
Jack McKeown, Geoff Sutcliffe
doaj   +1 more source

Successor-Invariant First-Order Logic on Classes of Bounded Degree [PDF]

Logical Methods in Computer Science, 2021
We study the expressive power of successor-invariant first-order logic, which is an extension of first-order logic where the usage of an additional successor relation on the structure is allowed, as long as the validity of formulas is independent of the ...
Julien Grange
doaj   +1 more source