FRINK Linked Data Fragments server

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

• W2951880362 abstract "In this paper we propose an extension of Answer Set Programming (ASP), and in particular, of its most general logical counterpart, Quantified Equilibrium Logic (QEL), to deal with partial functions. Although the treatment of equality in QEL can be established in different ways, we first analyse the choice of decidable equality with complete functions and Herbrand models, recently proposed in the literature. We argue that this choice yields some counterintuitive effects from a logic programming and knowledge representation point of view. We then propose a variant called QELF where the set of functions is partitioned into partial and Herbrand functions (we also call constructors). In the rest of the paper, we show a direct connection to Scott's Logic of Existence and present a practical application, proposing an extension of normal logic programs to deal with partial functions and equality, so that they can be translated into function-free normal programs, being possible in this way to compute their answer sets with any standard ASP solver." @default.
• W2951880362 created "2019-06-27" @default.
• W2951880362 creator A5028323744 @default.
• W2951880362 date "2010-06-18" @default.
• W2951880362 modified "2023-09-27" @default.
• W2951880362 title "Functional Answer Set Programming" @default.
• W2951880362 cites W1488953560 @default.
• W2951880362 cites W1491813684 @default.
• W2951880362 cites W1508237628 @default.
• W2951880362 cites W1512480360 @default.
• W2951880362 cites W1527039196 @default.
• W2951880362 cites W1533586606 @default.
• W2951880362 cites W1542304993 @default.
• W2951880362 cites W1552168992 @default.
• W2951880362 cites W1627528933 @default.
• W2951880362 cites W1639901403 @default.
• W2951880362 cites W1770842667 @default.
• W2951880362 cites W190039328 @default.
• W2951880362 cites W1946621657 @default.
• W2951880362 cites W1976055110 @default.
• W2951880362 cites W1993512664 @default.
• W2951880362 cites W2059799630 @default.
• W2951880362 cites W2063521547 @default.
• W2951880362 cites W2123964226 @default.
• W2951880362 cites W2945259913 @default.
• W2951880362 cites W578063101 @default.
• W2951880362 cites W981129589 @default.
• W2951880362 hasPublicationYear "2010" @default.
• W2951880362 type Work @default.
• W2951880362 sameAs 2951880362 @default.
• W2951880362 citedByCount "1" @default.
• W2951880362 countsByYear W29518803622013 @default.
• W2951880362 crossrefType "posted-content" @default.
• W2951880362 hasAuthorship W2951880362A5028323744 @default.
• W2951880362 hasConcept C102993220 @default.
• W2951880362 hasConcept C118615104 @default.
• W2951880362 hasConcept C127001435 @default.
• W2951880362 hasConcept C128838566 @default.
• W2951880362 hasConcept C13355873 @default.
• W2951880362 hasConcept C136119220 @default.
• W2951880362 hasConcept C14036430 @default.
• W2951880362 hasConcept C153269930 @default.
• W2951880362 hasConcept C177264268 @default.
• W2951880362 hasConcept C17744445 @default.
• W2951880362 hasConcept C182359184 @default.
• W2951880362 hasConcept C182620335 @default.
• W2951880362 hasConcept C199360897 @default.
• W2951880362 hasConcept C199539241 @default.
• W2951880362 hasConcept C202444582 @default.
• W2951880362 hasConcept C203659156 @default.
• W2951880362 hasConcept C2524010 @default.
• W2951880362 hasConcept C2776359362 @default.
• W2951880362 hasConcept C2778029271 @default.
• W2951880362 hasConcept C2778770139 @default.
• W2951880362 hasConcept C33923547 @default.
• W2951880362 hasConcept C41008148 @default.
• W2951880362 hasConcept C78458016 @default.
• W2951880362 hasConcept C80444323 @default.
• W2951880362 hasConcept C86803240 @default.
• W2951880362 hasConcept C94625758 @default.
• W2951880362 hasConceptScore W2951880362C102993220 @default.
• W2951880362 hasConceptScore W2951880362C118615104 @default.
• W2951880362 hasConceptScore W2951880362C127001435 @default.
• W2951880362 hasConceptScore W2951880362C128838566 @default.
• W2951880362 hasConceptScore W2951880362C13355873 @default.
• W2951880362 hasConceptScore W2951880362C136119220 @default.
• W2951880362 hasConceptScore W2951880362C14036430 @default.
• W2951880362 hasConceptScore W2951880362C153269930 @default.
• W2951880362 hasConceptScore W2951880362C177264268 @default.
• W2951880362 hasConceptScore W2951880362C17744445 @default.
• W2951880362 hasConceptScore W2951880362C182359184 @default.
• W2951880362 hasConceptScore W2951880362C182620335 @default.
• W2951880362 hasConceptScore W2951880362C199360897 @default.
• W2951880362 hasConceptScore W2951880362C199539241 @default.
• W2951880362 hasConceptScore W2951880362C202444582 @default.
• W2951880362 hasConceptScore W2951880362C203659156 @default.
• W2951880362 hasConceptScore W2951880362C2524010 @default.
• W2951880362 hasConceptScore W2951880362C2776359362 @default.
• W2951880362 hasConceptScore W2951880362C2778029271 @default.
• W2951880362 hasConceptScore W2951880362C2778770139 @default.
• W2951880362 hasConceptScore W2951880362C33923547 @default.
• W2951880362 hasConceptScore W2951880362C41008148 @default.
• W2951880362 hasConceptScore W2951880362C78458016 @default.
• W2951880362 hasConceptScore W2951880362C80444323 @default.
• W2951880362 hasConceptScore W2951880362C86803240 @default.
• W2951880362 hasConceptScore W2951880362C94625758 @default.
• W2951880362 hasLocation W29518803621 @default.
• W2951880362 hasOpenAccess W2951880362 @default.
• W2951880362 hasPrimaryLocation W29518803621 @default.
• W2951880362 hasRelatedWork W1029356354 @default.
• W2951880362 hasRelatedWork W1488326671 @default.
• W2951880362 hasRelatedWork W1493407222 @default.
• W2951880362 hasRelatedWork W1496017402 @default.
• W2951880362 hasRelatedWork W1496474960 @default.
• W2951880362 hasRelatedWork W1546353013 @default.
• W2951880362 hasRelatedWork W1587437946 @default.
• W2951880362 hasRelatedWork W176564465 @default.
• W2951880362 hasRelatedWork W189641962 @default.
• W2951880362 hasRelatedWork W1981209807 @default.
• W2951880362 hasRelatedWork W1988066322 @default.

• next