Matches in SemOpenAlex for { <https://semopenalex.org/work/W297311614> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W297311614 endingPage "469" @default.
- W297311614 startingPage "465" @default.
- W297311614 abstract "We explore the effects of circumscribing first-order formulae from a computational standpoint. First, extending work of V. Lifschitz, we show that the circumscription of any existential first-order formula is equivalent to a first-order formula After this, we establish that a set of universal Horn clauses has a first-order circumscription if and only if it is bounded (when considered as a logic program); thus it is undecidable to tell whether such formulae have first-order circumscription. Finally, we show that there are first-order formulae whose circumscription has a coNP-complete model-checking problem" @default.
- W297311614 created "2016-06-24" @default.
- W297311614 creator A5041825861 @default.
- W297311614 creator A5078476534 @default.
- W297311614 date "1988-08-21" @default.
- W297311614 modified "2023-09-24" @default.
- W297311614 title "Some computational aspects of circumscription" @default.
- W297311614 cites W1510401151 @default.
- W297311614 cites W155285173 @default.
- W297311614 cites W1585796231 @default.
- W297311614 cites W1988600452 @default.
- W297311614 cites W1994301353 @default.
- W297311614 cites W1994464782 @default.
- W297311614 cites W1995214664 @default.
- W297311614 cites W1998363560 @default.
- W297311614 cites W2012170877 @default.
- W297311614 cites W2019120929 @default.
- W297311614 cites W2032728598 @default.
- W297311614 cites W2039303449 @default.
- W297311614 cites W2040326164 @default.
- W297311614 cites W2076024411 @default.
- W297311614 cites W2105775150 @default.
- W297311614 cites W2143659798 @default.
- W297311614 cites W245469613 @default.
- W297311614 cites W2913309218 @default.
- W297311614 cites W2945259913 @default.
- W297311614 cites W3127113455 @default.
- W297311614 hasPublicationYear "1988" @default.
- W297311614 type Work @default.
- W297311614 sameAs 297311614 @default.
- W297311614 citedByCount "6" @default.
- W297311614 crossrefType "proceedings-article" @default.
- W297311614 hasAuthorship W297311614A5041825861 @default.
- W297311614 hasAuthorship W297311614A5078476534 @default.
- W297311614 hasConcept C11413529 @default.
- W297311614 hasConcept C128838566 @default.
- W297311614 hasConcept C134306372 @default.
- W297311614 hasConcept C153269930 @default.
- W297311614 hasConcept C154945302 @default.
- W297311614 hasConcept C189790780 @default.
- W297311614 hasConcept C192034797 @default.
- W297311614 hasConcept C33923547 @default.
- W297311614 hasConcept C34388435 @default.
- W297311614 hasConcept C41008148 @default.
- W297311614 hasConcept C62360110 @default.
- W297311614 hasConcept C80444323 @default.
- W297311614 hasConceptScore W297311614C11413529 @default.
- W297311614 hasConceptScore W297311614C128838566 @default.
- W297311614 hasConceptScore W297311614C134306372 @default.
- W297311614 hasConceptScore W297311614C153269930 @default.
- W297311614 hasConceptScore W297311614C154945302 @default.
- W297311614 hasConceptScore W297311614C189790780 @default.
- W297311614 hasConceptScore W297311614C192034797 @default.
- W297311614 hasConceptScore W297311614C33923547 @default.
- W297311614 hasConceptScore W297311614C34388435 @default.
- W297311614 hasConceptScore W297311614C41008148 @default.
- W297311614 hasConceptScore W297311614C62360110 @default.
- W297311614 hasConceptScore W297311614C80444323 @default.
- W297311614 hasLocation W2973116141 @default.
- W297311614 hasOpenAccess W297311614 @default.
- W297311614 hasPrimaryLocation W2973116141 @default.
- W297311614 hasRelatedWork W115095706 @default.
- W297311614 hasRelatedWork W145685496 @default.
- W297311614 hasRelatedWork W1483444285 @default.
- W297311614 hasRelatedWork W1518138802 @default.
- W297311614 hasRelatedWork W1600188577 @default.
- W297311614 hasRelatedWork W1652201657 @default.
- W297311614 hasRelatedWork W179901103 @default.
- W297311614 hasRelatedWork W1966568397 @default.
- W297311614 hasRelatedWork W2038232291 @default.
- W297311614 hasRelatedWork W2049617814 @default.
- W297311614 hasRelatedWork W2069531716 @default.
- W297311614 hasRelatedWork W2146658047 @default.
- W297311614 hasRelatedWork W2482599230 @default.
- W297311614 hasRelatedWork W2483983172 @default.
- W297311614 hasRelatedWork W2569226415 @default.
- W297311614 hasRelatedWork W2752505191 @default.
- W297311614 hasRelatedWork W2913309218 @default.
- W297311614 hasRelatedWork W2950436475 @default.
- W297311614 hasRelatedWork W55282291 @default.
- W297311614 hasRelatedWork W93385149 @default.
- W297311614 isParatext "false" @default.
- W297311614 isRetracted "false" @default.
- W297311614 magId "297311614" @default.
- W297311614 workType "article" @default.