Results 1 to 10 of about 1,111 (132)
Existential Sentences without Existential Quantification [PDF]
Linguistics and Philosophy, 1998 The analysis to be proposed has two notable consequences. First, it indicates that while presupposition may play a role in accounting for the so-called definiteness restriction associated with the construction, presupposition cannot account for all of the definiteness restriction facts-in fact, on the view defended here, the definiteness restriction ...
Louise McNally
exaly +3 more sources
Temporal Datalog with Existential Quantification
IJCAI: Proceedings of the Conference, 2023 Existential rules, also known as tuple-generating dependencies (TGDs) or Datalog+/- rules, are heavily studied in the communities of Knowledge Representation and Reasoning, Semantic Web, and Databases, due to their rich modelling capabilities. In this paper we consider TGDs in the temporal setting, by introducing and studying DatalogMTLE---an ...
Emanuel Sallinger +2 more
exaly +3 more sources
The complexity of existential quantification in concept languages [PDF]
Artificial Intelligence, 1992 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Daniele Nardi +2 more
exaly +3 more sources
Existential Quantification as Incremental SAT [PDF]
Lecture Notes in Computer Science, 2011 This paper presents an elegant algorithm for existential quantifier elimination using incremental SAT solving. This approach contrasts with existing techniques in that it is based solely on manipulating the SAT instance rather than requiring any reengineering of the SAT solver or needing an auxiliary data-structure such as a BDD. The algorithm combines
Andy King, Jörg Bräuer
exaly +3 more sources
hex-Programs with Existential Quantification [PDF]
Lecture Notes in Computer Science, 2014 hex-programs extend ASP by external sources. In this paper, we present domain-specific existential quantifiers on top of hex-programs, i.e., ASP programs with external access which may introduce new values that also show up in the answer sets. Pure logical existential quantification corresponds to a specific instance of our approach.
Thomas Eiter +2 more
exaly +3 more sources
Inner approximation of distance constraints with existential quantification of parameters [PDF]
Proceedings of the 2006 ACM symposium on Applied computing, 2006 This paper presents and compares two methods for checking if a box is included inside the solution set of an equality constraint with existential quantification of its parameters. We focus on distance constraints, where each existentially quantified parameter has only one occurrence, because of their usefulness and their simplicity.
Alexandre Goldsztejn
exaly +3 more sources
Full operational set theory with unbounded existential quantification and power set [PDF]
Annals of Pure and Applied Logic, 2009 From the introduction: ``This paper is a direct sequel of [\textit{G. Jäger}, Ann. Pure Appl. Logic 150, No. 1--3, 19--39 (2007; Zbl 1136.03038)] and answers the question about the exact consistency-theoretic strength of Feferman's operational set theory [\textit{S. Feferman}, ``Notes on operational set theory. I.
exaly +3 more sources
Two types of question and existential quantification
Linguistics, 1999 The purpose of this paper is twofold: one goal is to establish that in languages like Korean question clauses are best characterized if classified into self-addressed vs. hearer-addressed questions, which are shown to be morphologically distinguished, along with the distinction of wh- vs. yes-no questions.
exaly +2 more sources
The first-order theory of ordering constraints over feature trees [PDF]
Discrete Mathematics & Theoretical Computer Science, 2001 The system FT ≤ of ordering constraints over feature trees has been introduced as an extension of the system FT of equality constraints over feature trees.
Martin Müller +2 more
doaj +2 more sources
Languages, 2023 Existential sentences in Spanish are sensitive to the definiteness or quantification restriction or effect, which prevents personal pronouns, proper nouns, and definite constituents from occupying the pivot position.
Jorge Agulló
doaj +1 more source