Matches in SemOpenAlex for { <https://semopenalex.org/work/W4251307572> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W4251307572 abstract "A structure enjoys the Herbrand property if, whenever it satisfies an equality between some terms, these terms are unifiable. On such structures the expressive power of equalities becomes trivial, as their semantic satisfiability is reduced to a purely syntactic check. In this work, we introduce the notion of Herbrand property and develop it in a finite model-theoretic perspective. We provide, indeed, a canonical realization of the new concept by what we call quasi-Herbrand models and observe that, in stark contrast with the naive implementation of the property via standard Herbrand models, their universe can be finite even in presence of functions in the vocabulary. We exploit this feature to decide and collapse the general and finite version of the satisfiability and entailment problems for previously unsettled fragments of first-order logic. We take advantage of the Herbrand property also to establish novel and tight complexity results for the aforementioned decision questions. In particular, we show that the finite containment problem for quantified conjunctive queries is NPTIME-complete, tightening along two dimensions the known 3EXPTIME upper bound for the general version of the problem (Chen, Madelaine, and Martin, LICS'08). We finally present an alternative view on this result by generalizing to such queries the classic characterization of conjunctive query containment via polynomial-time verifiable homomorphisms (Chandra and Merlin, STOC'77)." @default.
- W4251307572 created "2022-05-12" @default.
- W4251307572 creator A5023349661 @default.
- W4251307572 creator A5052215915 @default.
- W4251307572 date "2017-06-01" @default.
- W4251307572 modified "2023-10-01" @default.
- W4251307572 title "Herbrand property, finite quasi-Herbrand models, and a Chandra-Merlin theorem for quantified conjunctive queries" @default.
- W4251307572 cites W117467870 @default.
- W4251307572 cites W1549008998 @default.
- W4251307572 cites W1972560931 @default.
- W4251307572 cites W1979514837 @default.
- W4251307572 cites W1991981864 @default.
- W4251307572 cites W2007102962 @default.
- W4251307572 cites W2043790764 @default.
- W4251307572 cites W2062893737 @default.
- W4251307572 cites W2086470346 @default.
- W4251307572 cites W2100738443 @default.
- W4251307572 cites W2113722134 @default.
- W4251307572 cites W2124580444 @default.
- W4251307572 cites W2341631904 @default.
- W4251307572 cites W3022449549 @default.
- W4251307572 cites W78720960 @default.
- W4251307572 doi "https://doi.org/10.1109/lics.2017.8005073" @default.
- W4251307572 hasPublicationYear "2017" @default.
- W4251307572 type Work @default.
- W4251307572 citedByCount "0" @default.
- W4251307572 crossrefType "proceedings-article" @default.
- W4251307572 hasAuthorship W4251307572A5023349661 @default.
- W4251307572 hasAuthorship W4251307572A5052215915 @default.
- W4251307572 hasConcept C105795698 @default.
- W4251307572 hasConcept C111472728 @default.
- W4251307572 hasConcept C118615104 @default.
- W4251307572 hasConcept C136119220 @default.
- W4251307572 hasConcept C138885662 @default.
- W4251307572 hasConcept C16221470 @default.
- W4251307572 hasConcept C168773769 @default.
- W4251307572 hasConcept C189950617 @default.
- W4251307572 hasConcept C199360897 @default.
- W4251307572 hasConcept C202444582 @default.
- W4251307572 hasConcept C2185349 @default.
- W4251307572 hasConcept C2781089630 @default.
- W4251307572 hasConcept C33923547 @default.
- W4251307572 hasConcept C41008148 @default.
- W4251307572 hasConcept C5655090 @default.
- W4251307572 hasConcept C65647387 @default.
- W4251307572 hasConcept C77088390 @default.
- W4251307572 hasConcept C80444323 @default.
- W4251307572 hasConceptScore W4251307572C105795698 @default.
- W4251307572 hasConceptScore W4251307572C111472728 @default.
- W4251307572 hasConceptScore W4251307572C118615104 @default.
- W4251307572 hasConceptScore W4251307572C136119220 @default.
- W4251307572 hasConceptScore W4251307572C138885662 @default.
- W4251307572 hasConceptScore W4251307572C16221470 @default.
- W4251307572 hasConceptScore W4251307572C168773769 @default.
- W4251307572 hasConceptScore W4251307572C189950617 @default.
- W4251307572 hasConceptScore W4251307572C199360897 @default.
- W4251307572 hasConceptScore W4251307572C202444582 @default.
- W4251307572 hasConceptScore W4251307572C2185349 @default.
- W4251307572 hasConceptScore W4251307572C2781089630 @default.
- W4251307572 hasConceptScore W4251307572C33923547 @default.
- W4251307572 hasConceptScore W4251307572C41008148 @default.
- W4251307572 hasConceptScore W4251307572C5655090 @default.
- W4251307572 hasConceptScore W4251307572C65647387 @default.
- W4251307572 hasConceptScore W4251307572C77088390 @default.
- W4251307572 hasConceptScore W4251307572C80444323 @default.
- W4251307572 hasLocation W42513075721 @default.
- W4251307572 hasOpenAccess W4251307572 @default.
- W4251307572 hasPrimaryLocation W42513075721 @default.
- W4251307572 hasRelatedWork W138168018 @default.
- W4251307572 hasRelatedWork W1538734449 @default.
- W4251307572 hasRelatedWork W1975188973 @default.
- W4251307572 hasRelatedWork W2021957955 @default.
- W4251307572 hasRelatedWork W2067983896 @default.
- W4251307572 hasRelatedWork W2099158350 @default.
- W4251307572 hasRelatedWork W2375165272 @default.
- W4251307572 hasRelatedWork W2469887214 @default.
- W4251307572 hasRelatedWork W3107131366 @default.
- W4251307572 hasRelatedWork W3134625280 @default.
- W4251307572 isParatext "false" @default.
- W4251307572 isRetracted "false" @default.
- W4251307572 workType "article" @default.