Matches in SemOpenAlex for { <https://semopenalex.org/work/W4294557910> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W4294557910 abstract "Previous research into the relation between ASP and classical logic has identified at least two different ways in which the former extends the latter. First, ASP program typically contain sets of rules that can be naturally interpreted as inductive definitions, and the language FO(ID) has shown that such inductive definitions can elegantly be added to classical logic in a modular way. Second, there is of course also the well-known epistemic component of ASP, which was mainly emphasized in the early papers on stable model semantics. To investigate whether this kind of knowledge can also, and in a similarly modular way, be added to classical logic, the language of Ordered Epistemic Logic was presented in recent work. However, this logic views the epistemic component as entirely separate from the inductive definition component, thus ignoring any possible interplay between the two. In this paper, we present a language that extends the inductive definition construct found in FO(ID) with an epistemic component, making such interplay possible. The eventual goal of this work is to discover whether it is really appropriate to view the epistemic component and the inductive definition component of ASP as two separate extensions of classical logic, or whether there is also something of importance in the combination of the two." @default.
- W4294557910 created "2022-09-04" @default.
- W4294557910 creator A5071976409 @default.
- W4294557910 creator A5090754913 @default.
- W4294557910 date "2013-01-07" @default.
- W4294557910 modified "2023-10-18" @default.
- W4294557910 title "Extending FO(ID) with Knowledge Producing Definitions: Preliminary Results" @default.
- W4294557910 doi "https://doi.org/10.48550/arxiv.1301.1395" @default.
- W4294557910 hasPublicationYear "2013" @default.
- W4294557910 type Work @default.
- W4294557910 citedByCount "0" @default.
- W4294557910 crossrefType "posted-content" @default.
- W4294557910 hasAuthorship W4294557910A5071976409 @default.
- W4294557910 hasAuthorship W4294557910A5090754913 @default.
- W4294557910 hasBestOaLocation W42945579101 @default.
- W4294557910 hasConcept C101468663 @default.
- W4294557910 hasConcept C102993220 @default.
- W4294557910 hasConcept C107247716 @default.
- W4294557910 hasConcept C111472728 @default.
- W4294557910 hasConcept C121332964 @default.
- W4294557910 hasConcept C138885662 @default.
- W4294557910 hasConcept C154945302 @default.
- W4294557910 hasConcept C168167062 @default.
- W4294557910 hasConcept C184337299 @default.
- W4294557910 hasConcept C199360897 @default.
- W4294557910 hasConcept C203659156 @default.
- W4294557910 hasConcept C21563000 @default.
- W4294557910 hasConcept C25343380 @default.
- W4294557910 hasConcept C2780801425 @default.
- W4294557910 hasConcept C41008148 @default.
- W4294557910 hasConcept C77088390 @default.
- W4294557910 hasConcept C97355855 @default.
- W4294557910 hasConceptScore W4294557910C101468663 @default.
- W4294557910 hasConceptScore W4294557910C102993220 @default.
- W4294557910 hasConceptScore W4294557910C107247716 @default.
- W4294557910 hasConceptScore W4294557910C111472728 @default.
- W4294557910 hasConceptScore W4294557910C121332964 @default.
- W4294557910 hasConceptScore W4294557910C138885662 @default.
- W4294557910 hasConceptScore W4294557910C154945302 @default.
- W4294557910 hasConceptScore W4294557910C168167062 @default.
- W4294557910 hasConceptScore W4294557910C184337299 @default.
- W4294557910 hasConceptScore W4294557910C199360897 @default.
- W4294557910 hasConceptScore W4294557910C203659156 @default.
- W4294557910 hasConceptScore W4294557910C21563000 @default.
- W4294557910 hasConceptScore W4294557910C25343380 @default.
- W4294557910 hasConceptScore W4294557910C2780801425 @default.
- W4294557910 hasConceptScore W4294557910C41008148 @default.
- W4294557910 hasConceptScore W4294557910C77088390 @default.
- W4294557910 hasConceptScore W4294557910C97355855 @default.
- W4294557910 hasLocation W42945579101 @default.
- W4294557910 hasLocation W42945579102 @default.
- W4294557910 hasOpenAccess W4294557910 @default.
- W4294557910 hasPrimaryLocation W42945579101 @default.
- W4294557910 hasRelatedWork W103108516 @default.
- W4294557910 hasRelatedWork W1991255368 @default.
- W4294557910 hasRelatedWork W2042312030 @default.
- W4294557910 hasRelatedWork W2114072877 @default.
- W4294557910 hasRelatedWork W2126277373 @default.
- W4294557910 hasRelatedWork W2153592834 @default.
- W4294557910 hasRelatedWork W2746445703 @default.
- W4294557910 hasRelatedWork W2948934414 @default.
- W4294557910 hasRelatedWork W3041837578 @default.
- W4294557910 hasRelatedWork W71635199 @default.
- W4294557910 isParatext "false" @default.
- W4294557910 isRetracted "false" @default.
- W4294557910 workType "article" @default.