Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300247407> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4300247407 abstract "Answer Set Programming (ASP) is a logic-based knowledge representation framework, supporting---among other reasoning modes---the central task of query answering. In the propositional case, query answering amounts to computing cautious consequences of the input program among the atoms in a given set of candidates, where a cautious consequence is an atom belonging to all stable models. Currently, the most efficient algorithms either iteratively verify the existence of a stable model of the input program extended with the complement of one candidate, where the candidate is heuristically selected, or introduce a clause enforcing the falsity of at least one candidate, so that the solver is free to choose which candidate to falsify at any time during the computation of a stable model. This paper introduces new algorithms for the computation of cautious consequences, with the aim of driving the solver to search for stable models discarding more candidates. Specifically, one of such algorithms enforces minimality on the set of true candidates, where different notions of minimality can be used, and another takes advantage of unsatisfiable cores computation. The algorithms are implemented in WASP, and experiments on benchmarks from the latest ASP competitions show that the new algorithms perform better than the state of the art. (Under consideration for acceptance in TPLP)." @default.
- W4300247407 created "2022-10-03" @default.
- W4300247407 creator A5031224507 @default.
- W4300247407 creator A5039882261 @default.
- W4300247407 creator A5068784737 @default.
- W4300247407 creator A5077756388 @default.
- W4300247407 creator A5081120128 @default.
- W4300247407 date "2018-04-23" @default.
- W4300247407 modified "2023-09-23" @default.
- W4300247407 title "Cautious reasoning in ASP via minimal models and unsatisfiable cores" @default.
- W4300247407 doi "https://doi.org/10.48550/arxiv.1804.08480" @default.
- W4300247407 hasPublicationYear "2018" @default.
- W4300247407 type Work @default.
- W4300247407 citedByCount "0" @default.
- W4300247407 crossrefType "posted-content" @default.
- W4300247407 hasAuthorship W4300247407A5031224507 @default.
- W4300247407 hasAuthorship W4300247407A5039882261 @default.
- W4300247407 hasAuthorship W4300247407A5068784737 @default.
- W4300247407 hasAuthorship W4300247407A5077756388 @default.
- W4300247407 hasAuthorship W4300247407A5081120128 @default.
- W4300247407 hasBestOaLocation W43002474071 @default.
- W4300247407 hasConcept C128838566 @default.
- W4300247407 hasConcept C138885662 @default.
- W4300247407 hasConcept C154945302 @default.
- W4300247407 hasConcept C159032336 @default.
- W4300247407 hasConcept C177264268 @default.
- W4300247407 hasConcept C17744445 @default.
- W4300247407 hasConcept C182620335 @default.
- W4300247407 hasConcept C199360897 @default.
- W4300247407 hasConcept C199539241 @default.
- W4300247407 hasConcept C2776359362 @default.
- W4300247407 hasConcept C2777685122 @default.
- W4300247407 hasConcept C2778770139 @default.
- W4300247407 hasConcept C41008148 @default.
- W4300247407 hasConcept C41895202 @default.
- W4300247407 hasConcept C44291984 @default.
- W4300247407 hasConcept C45374587 @default.
- W4300247407 hasConcept C69562738 @default.
- W4300247407 hasConcept C80444323 @default.
- W4300247407 hasConcept C94625758 @default.
- W4300247407 hasConceptScore W4300247407C128838566 @default.
- W4300247407 hasConceptScore W4300247407C138885662 @default.
- W4300247407 hasConceptScore W4300247407C154945302 @default.
- W4300247407 hasConceptScore W4300247407C159032336 @default.
- W4300247407 hasConceptScore W4300247407C177264268 @default.
- W4300247407 hasConceptScore W4300247407C17744445 @default.
- W4300247407 hasConceptScore W4300247407C182620335 @default.
- W4300247407 hasConceptScore W4300247407C199360897 @default.
- W4300247407 hasConceptScore W4300247407C199539241 @default.
- W4300247407 hasConceptScore W4300247407C2776359362 @default.
- W4300247407 hasConceptScore W4300247407C2777685122 @default.
- W4300247407 hasConceptScore W4300247407C2778770139 @default.
- W4300247407 hasConceptScore W4300247407C41008148 @default.
- W4300247407 hasConceptScore W4300247407C41895202 @default.
- W4300247407 hasConceptScore W4300247407C44291984 @default.
- W4300247407 hasConceptScore W4300247407C45374587 @default.
- W4300247407 hasConceptScore W4300247407C69562738 @default.
- W4300247407 hasConceptScore W4300247407C80444323 @default.
- W4300247407 hasConceptScore W4300247407C94625758 @default.
- W4300247407 hasLocation W43002474071 @default.
- W4300247407 hasLocation W43002474072 @default.
- W4300247407 hasLocation W43002474073 @default.
- W4300247407 hasOpenAccess W4300247407 @default.
- W4300247407 hasPrimaryLocation W43002474071 @default.
- W4300247407 hasRelatedWork W1554238444 @default.
- W4300247407 hasRelatedWork W1598230960 @default.
- W4300247407 hasRelatedWork W1903938722 @default.
- W4300247407 hasRelatedWork W2160562204 @default.
- W4300247407 hasRelatedWork W2161391467 @default.
- W4300247407 hasRelatedWork W2176973685 @default.
- W4300247407 hasRelatedWork W2798667534 @default.
- W4300247407 hasRelatedWork W2952860574 @default.
- W4300247407 hasRelatedWork W3104588709 @default.
- W4300247407 hasRelatedWork W4300247407 @default.
- W4300247407 isParatext "false" @default.
- W4300247407 isRetracted "false" @default.
- W4300247407 workType "article" @default.