Matches in SemOpenAlex for { <https://semopenalex.org/work/W2236806363> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2236806363 abstract "To appear in Theory and Practice of Logic Programming (TPLP) Bound Founded Answer Set Programming (BFASP) is an extension of Answer Set Programming (ASP) that extends stable model semantics to numeric variables. While the theory of BFASP is defined on ground rules, in practice BFASP programs are written as complex non-ground expressions. Flattening of BFASP is a technique used to simplify arbitrary expressions of the language to a small and well defined set of primitive expressions. In this paper, we first show how we can flatten arbitrary BFASP rule expressions, to give equivalent BFASP programs. Next, we extend the bottom-up grounding technique and magic set transformation used by ASP to BFASP programs. Our implementation shows that for BFASP problems, these techniques can significantly reduce the ground program size, and improve subsequent solving." @default.
- W2236806363 created "2016-06-24" @default.
- W2236806363 creator A5035249904 @default.
- W2236806363 creator A5049717868 @default.
- W2236806363 creator A5064839018 @default.
- W2236806363 date "2014-05-14" @default.
- W2236806363 modified "2023-09-27" @default.
- W2236806363 title "Grounding Bound Founded Answer Set Programs" @default.
- W2236806363 cites W114188158 @default.
- W2236806363 cites W1552168992 @default.
- W2236806363 cites W1570025952 @default.
- W2236806363 cites W1589232796 @default.
- W2236806363 cites W1606891084 @default.
- W2236806363 cites W164439677 @default.
- W2236806363 cites W1672891595 @default.
- W2236806363 cites W1817519191 @default.
- W2236806363 cites W1978108034 @default.
- W2236806363 cites W1984715534 @default.
- W2236806363 cites W2019597813 @default.
- W2236806363 cites W204808196 @default.
- W2236806363 cites W2054623824 @default.
- W2236806363 cites W2056062068 @default.
- W2236806363 cites W2074272702 @default.
- W2236806363 cites W2096621306 @default.
- W2236806363 cites W2167990919 @default.
- W2236806363 cites W2171683607 @default.
- W2236806363 cites W2563362479 @default.
- W2236806363 cites W3181037993 @default.
- W2236806363 hasPublicationYear "2014" @default.
- W2236806363 type Work @default.
- W2236806363 sameAs 2236806363 @default.
- W2236806363 citedByCount "1" @default.
- W2236806363 countsByYear W22368063632014 @default.
- W2236806363 crossrefType "posted-content" @default.
- W2236806363 hasAuthorship W2236806363A5035249904 @default.
- W2236806363 hasAuthorship W2236806363A5049717868 @default.
- W2236806363 hasAuthorship W2236806363A5064839018 @default.
- W2236806363 hasConcept C11413529 @default.
- W2236806363 hasConcept C121332964 @default.
- W2236806363 hasConcept C127001435 @default.
- W2236806363 hasConcept C128838566 @default.
- W2236806363 hasConcept C156325763 @default.
- W2236806363 hasConcept C177264268 @default.
- W2236806363 hasConcept C182620335 @default.
- W2236806363 hasConcept C184337299 @default.
- W2236806363 hasConcept C199360897 @default.
- W2236806363 hasConcept C2777704519 @default.
- W2236806363 hasConcept C41008148 @default.
- W2236806363 hasConcept C62520636 @default.
- W2236806363 hasConcept C80444323 @default.
- W2236806363 hasConceptScore W2236806363C11413529 @default.
- W2236806363 hasConceptScore W2236806363C121332964 @default.
- W2236806363 hasConceptScore W2236806363C127001435 @default.
- W2236806363 hasConceptScore W2236806363C128838566 @default.
- W2236806363 hasConceptScore W2236806363C156325763 @default.
- W2236806363 hasConceptScore W2236806363C177264268 @default.
- W2236806363 hasConceptScore W2236806363C182620335 @default.
- W2236806363 hasConceptScore W2236806363C184337299 @default.
- W2236806363 hasConceptScore W2236806363C199360897 @default.
- W2236806363 hasConceptScore W2236806363C2777704519 @default.
- W2236806363 hasConceptScore W2236806363C41008148 @default.
- W2236806363 hasConceptScore W2236806363C62520636 @default.
- W2236806363 hasConceptScore W2236806363C80444323 @default.
- W2236806363 hasLocation W22368063631 @default.
- W2236806363 hasOpenAccess W2236806363 @default.
- W2236806363 hasPrimaryLocation W22368063631 @default.
- W2236806363 hasRelatedWork W1479894205 @default.
- W2236806363 hasRelatedWork W1498837330 @default.
- W2236806363 hasRelatedWork W1529673590 @default.
- W2236806363 hasRelatedWork W1929859906 @default.
- W2236806363 hasRelatedWork W1990606699 @default.
- W2236806363 hasRelatedWork W1994179113 @default.
- W2236806363 hasRelatedWork W2035910535 @default.
- W2236806363 hasRelatedWork W2074272702 @default.
- W2236806363 hasRelatedWork W2135520900 @default.
- W2236806363 hasRelatedWork W2140004703 @default.
- W2236806363 hasRelatedWork W2244978453 @default.
- W2236806363 hasRelatedWork W2283510762 @default.
- W2236806363 hasRelatedWork W2725553666 @default.
- W2236806363 hasRelatedWork W2977649848 @default.
- W2236806363 hasRelatedWork W3100037762 @default.
- W2236806363 hasRelatedWork W3103318063 @default.
- W2236806363 hasRelatedWork W3104110719 @default.
- W2236806363 hasRelatedWork W3208247616 @default.
- W2236806363 hasRelatedWork W58214528 @default.
- W2236806363 hasRelatedWork W626887913 @default.
- W2236806363 isParatext "false" @default.
- W2236806363 isRetracted "false" @default.
- W2236806363 magId "2236806363" @default.
- W2236806363 workType "article" @default.