Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567452831> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1567452831 endingPage "858" @default.
- W1567452831 startingPage "853" @default.
- W1567452831 abstract "Fages showed that if a program is tight, then every propositional model of its completion is also its stable model. Recently, Babovich, Erdem, and Lifschitz generalized Fages' result, and showed that this is also true if the program is tight on the given model of the completion. As it turned out, this is quite a general result. Among the commonly known benchmark domains, only Niemelii's normal logic program encoding of the Hamiltonian Circuit (HC) problem does not have this property. In this paper, we propose a new normal logic program for solving the HC problem, and show that the program is tight on every model of its completion. Experimental results showed that for many graphs, this new encoding improves the performance of both SMODELS and ASSAT(Chaff2), especially of the latter system which is based on the SAT solver Chaff2. We also propose a notion of inherently tight logic programs and show that for any program, it is inherently tight iff all its completion models are stable models. We then propose a polynomial transformation from a logic programs to one that is inherently tight, thus providing a reduction of stable model semantics to program completion semantics and SAT." @default.
- W1567452831 created "2016-06-24" @default.
- W1567452831 creator A5048337398 @default.
- W1567452831 creator A5089419141 @default.
- W1567452831 date "2003-08-09" @default.
- W1567452831 modified "2023-09-26" @default.
- W1567452831 title "On tight logic programs and yet another translation from normal logic programs to propositional logic" @default.
- W1567452831 cites W1572192644 @default.
- W1567452831 cites W1630259549 @default.
- W1567452831 cites W1672891595 @default.
- W1567452831 cites W2005465900 @default.
- W1567452831 cites W2023141722 @default.
- W1567452831 cites W2065555531 @default.
- W1567452831 cites W2152131859 @default.
- W1567452831 cites W2399343913 @default.
- W1567452831 hasPublicationYear "2003" @default.
- W1567452831 type Work @default.
- W1567452831 sameAs 1567452831 @default.
- W1567452831 citedByCount "26" @default.
- W1567452831 countsByYear W15674528312013 @default.
- W1567452831 countsByYear W15674528312014 @default.
- W1567452831 countsByYear W15674528312017 @default.
- W1567452831 countsByYear W15674528312019 @default.
- W1567452831 countsByYear W15674528312020 @default.
- W1567452831 countsByYear W15674528312021 @default.
- W1567452831 crossrefType "proceedings-article" @default.
- W1567452831 hasAuthorship W1567452831A5048337398 @default.
- W1567452831 hasAuthorship W1567452831A5089419141 @default.
- W1567452831 hasConcept C102993220 @default.
- W1567452831 hasConcept C110039528 @default.
- W1567452831 hasConcept C11413529 @default.
- W1567452831 hasConcept C118615104 @default.
- W1567452831 hasConcept C127001435 @default.
- W1567452831 hasConcept C128838566 @default.
- W1567452831 hasConcept C156325763 @default.
- W1567452831 hasConcept C184337299 @default.
- W1567452831 hasConcept C199360897 @default.
- W1567452831 hasConcept C203659156 @default.
- W1567452831 hasConcept C2778361913 @default.
- W1567452831 hasConcept C2778770139 @default.
- W1567452831 hasConcept C33923547 @default.
- W1567452831 hasConcept C41008148 @default.
- W1567452831 hasConcept C69562738 @default.
- W1567452831 hasConcept C74640108 @default.
- W1567452831 hasConcept C80444323 @default.
- W1567452831 hasConceptScore W1567452831C102993220 @default.
- W1567452831 hasConceptScore W1567452831C110039528 @default.
- W1567452831 hasConceptScore W1567452831C11413529 @default.
- W1567452831 hasConceptScore W1567452831C118615104 @default.
- W1567452831 hasConceptScore W1567452831C127001435 @default.
- W1567452831 hasConceptScore W1567452831C128838566 @default.
- W1567452831 hasConceptScore W1567452831C156325763 @default.
- W1567452831 hasConceptScore W1567452831C184337299 @default.
- W1567452831 hasConceptScore W1567452831C199360897 @default.
- W1567452831 hasConceptScore W1567452831C203659156 @default.
- W1567452831 hasConceptScore W1567452831C2778361913 @default.
- W1567452831 hasConceptScore W1567452831C2778770139 @default.
- W1567452831 hasConceptScore W1567452831C33923547 @default.
- W1567452831 hasConceptScore W1567452831C41008148 @default.
- W1567452831 hasConceptScore W1567452831C69562738 @default.
- W1567452831 hasConceptScore W1567452831C74640108 @default.
- W1567452831 hasConceptScore W1567452831C80444323 @default.
- W1567452831 hasLocation W15674528311 @default.
- W1567452831 hasOpenAccess W1567452831 @default.
- W1567452831 hasPrimaryLocation W15674528311 @default.
- W1567452831 hasRelatedWork W1481719343 @default.
- W1567452831 hasRelatedWork W1485332185 @default.
- W1567452831 hasRelatedWork W1587265115 @default.
- W1567452831 hasRelatedWork W1639901403 @default.
- W1567452831 hasRelatedWork W1672891595 @default.
- W1567452831 hasRelatedWork W1766332311 @default.
- W1567452831 hasRelatedWork W1968513265 @default.
- W1567452831 hasRelatedWork W1976055110 @default.
- W1567452831 hasRelatedWork W2004414305 @default.
- W1567452831 hasRelatedWork W2011124182 @default.
- W1567452831 hasRelatedWork W202248608 @default.
- W1567452831 hasRelatedWork W2023141722 @default.
- W1567452831 hasRelatedWork W2050842068 @default.
- W1567452831 hasRelatedWork W2076698873 @default.
- W1567452831 hasRelatedWork W2079430756 @default.
- W1567452831 hasRelatedWork W2087432892 @default.
- W1567452831 hasRelatedWork W2111353076 @default.
- W1567452831 hasRelatedWork W2152131859 @default.
- W1567452831 hasRelatedWork W2158059231 @default.
- W1567452831 hasRelatedWork W2399343913 @default.
- W1567452831 isParatext "false" @default.
- W1567452831 isRetracted "false" @default.
- W1567452831 magId "1567452831" @default.
- W1567452831 workType "article" @default.