FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000863621> ?p ?o ?g. }

• W2000863621 endingPage "40" @default.
• W2000863621 startingPage "1" @default.
• W2000863621 abstract "We introduce formal proof systems based on tableau methods for analyzing computations in Answer Set Programming (ASP). Our approach furnishes fine-grained instruments for characterizing operations as well as strategies of ASP solvers. The granularity is detailed enough to capture a variety of propagation and choice methods of algorithms used for ASP solving, also incorporating SAT-based and conflict-driven learning approaches to some extent. This provides us with a uniform setting for identifying and comparing fundamental properties of ASP solving approaches. In particular, we investigate their proof complexities and show that the run-times of best-case computations can vary exponentially between different existing ASP solvers. Apart from providing a framework for comparing ASP solving approaches, our characterizations also contribute to their understanding by pinning down the constitutive atomic operations. Furthermore, our framework is flexible enough to integrate new inference patterns, and so to study their relation to existing ones. To this end, we generalize our approach and provide an extensible basis aiming at a modular incorporation of additional language constructs. This is exemplified by augmenting our basic tableau methods with cardinality constraints and disjunctions." @default.
• W2000863621 created "2016-06-24" @default.
• W2000863621 creator A5006066772 @default.
• W2000863621 creator A5058467603 @default.
• W2000863621 date "2013-06-01" @default.
• W2000863621 modified "2023-10-16" @default.
• W2000863621 title "Tableau Calculi for Logic Programs under Answer Set Semantics" @default.
• W2000863621 cites W1484403583 @default.
• W2000863621 cites W1490538910 @default.
• W2000863621 cites W1494751716 @default.
• W2000863621 cites W1497544880 @default.
• W2000863621 cites W1500991862 @default.
• W2000863621 cites W1504738844 @default.
• W2000863621 cites W1505818550 @default.
• W2000863621 cites W1518705996 @default.
• W2000863621 cites W1533523731 @default.
• W2000863621 cites W1533970988 @default.
• W2000863621 cites W1536278125 @default.
• W2000863621 cites W1546511472 @default.
• W2000863621 cites W1551250655 @default.
• W2000863621 cites W1568617324 @default.
• W2000863621 cites W1574509484 @default.
• W2000863621 cites W1577642690 @default.
• W2000863621 cites W1592324616 @default.
• W2000863621 cites W1598418646 @default.
• W2000863621 cites W1606891084 @default.
• W2000863621 cites W1694306392 @default.
• W2000863621 cites W1720682562 @default.
• W2000863621 cites W1766332311 @default.
• W2000863621 cites W1800801472 @default.
• W2000863621 cites W1862558385 @default.
• W2000863621 cites W1964233932 @default.
• W2000863621 cites W1968513265 @default.
• W2000863621 cites W1976055110 @default.
• W2000863621 cites W1981948868 @default.
• W2000863621 cites W1985274317 @default.
• W2000863621 cites W1988083342 @default.
• W2000863621 cites W2004414305 @default.
• W2000863621 cites W2011124182 @default.
• W2000863621 cites W2011992362 @default.
• W2000863621 cites W2018172994 @default.
• W2000863621 cites W2022846948 @default.
• W2000863621 cites W2036241121 @default.
• W2000863621 cites W2044560939 @default.
• W2000863621 cites W2050842068 @default.
• W2000863621 cites W2057361103 @default.
• W2000863621 cites W2061876041 @default.
• W2000863621 cites W2062897452 @default.
• W2000863621 cites W2064864283 @default.
• W2000863621 cites W2070992781 @default.
• W2000863621 cites W2076698873 @default.
• W2000863621 cites W2079430756 @default.
• W2000863621 cites W2087432892 @default.
• W2000863621 cites W2087563242 @default.
• W2000863621 cites W2099792091 @default.
• W2000863621 cites W2100699693 @default.
• W2000863621 cites W2106500031 @default.
• W2000863621 cites W2111353076 @default.
• W2000863621 cites W2121015471 @default.
• W2000863621 cites W2130489957 @default.
• W2000863621 cites W2142785340 @default.
• W2000863621 cites W2144198727 @default.
• W2000863621 cites W2152131859 @default.
• W2000863621 cites W2166174694 @default.
• W2000863621 cites W2171790376 @default.
• W2000863621 cites W2177693862 @default.
• W2000863621 cites W2611415697 @default.
• W2000863621 cites W3103407543 @default.
• W2000863621 cites W4206370914 @default.
• W2000863621 cites W89328955 @default.
• W2000863621 doi "https://doi.org/10.1145/2480759.2480767" @default.
• W2000863621 hasPublicationYear "2013" @default.
• W2000863621 type Work @default.
• W2000863621 sameAs 2000863621 @default.
• W2000863621 citedByCount "12" @default.
• W2000863621 countsByYear W20008636212014 @default.
• W2000863621 countsByYear W20008636212016 @default.
• W2000863621 countsByYear W20008636212018 @default.
• W2000863621 countsByYear W20008636212019 @default.
• W2000863621 countsByYear W20008636212020 @default.
• W2000863621 countsByYear W20008636212022 @default.
• W2000863621 crossrefType "journal-article" @default.
• W2000863621 hasAuthorship W2000863621A5006066772 @default.
• W2000863621 hasAuthorship W2000863621A5058467603 @default.
• W2000863621 hasBestOaLocation W20008636211 @default.
• W2000863621 hasConcept C101468663 @default.
• W2000863621 hasConcept C124101348 @default.
• W2000863621 hasConcept C136197465 @default.
• W2000863621 hasConcept C154945302 @default.
• W2000863621 hasConcept C177264268 @default.
• W2000863621 hasConcept C182620335 @default.
• W2000863621 hasConcept C184337299 @default.
• W2000863621 hasConcept C199360897 @default.
• W2000863621 hasConcept C2776214188 @default.
• W2000863621 hasConcept C41008148 @default.
• W2000863621 hasConcept C80444323 @default.
• W2000863621 hasConcept C87117476 @default.
• W2000863621 hasConceptScore W2000863621C101468663 @default.

• next