FRINK Linked Data Fragments server

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

• W2109586917 endingPage "180" @default.
• W2109586917 startingPage "125" @default.
• W2109586917 abstract "Lin and Zhao's theorem on loop formulas states that in the propositional case the stable model semantics of a logic program can be completely characterized by propositional loop formulas, but this result does not fully carry over to the first-order case. We investigate the precise relationship between the first-order stable model semantics and first-order loop formulas, and study conditions under which the former can be represented by the latter. In order to facilitate the comparison, we extend the definition of a first-order loop formula which was limited to a nondisjunctive program, to a disjunctive program and to an arbitrary first-order theory. Based on the studied relationship we extend the syntax of a logic program with explicit quantifiers, which allows us to do reasoning involving non-Herbrand stable models using first-order reasoners. Such programs can be viewed as a special class of first-order theories under the stable model semantics, which yields more succinct loop formulas than the general language due to their restricted syntax." @default.
• W2109586917 created "2016-06-24" @default.
• W2109586917 creator A5017332670 @default.
• W2109586917 creator A5088456432 @default.
• W2109586917 date "2011-09-01" @default.
• W2109586917 modified "2023-09-24" @default.
• W2109586917 title "First-order stable model semantics and first-order loop formulas" @default.
• W2109586917 cites W108139873 @default.
• W2109586917 cites W1488953105 @default.
• W2109586917 cites W1493803223 @default.
• W2109586917 cites W1507973825 @default.
• W2109586917 cites W1510716992 @default.
• W2109586917 cites W1605107773 @default.
• W2109586917 cites W1627528933 @default.
• W2109586917 cites W1672891595 @default.
• W2109586917 cites W1766332311 @default.
• W2109586917 cites W190039328 @default.
• W2109586917 cites W1971924127 @default.
• W2109586917 cites W1998363560 @default.
• W2109586917 cites W2004414305 @default.
• W2109586917 cites W2005957522 @default.
• W2109586917 cites W2008106366 @default.
• W2109586917 cites W2010104109 @default.
• W2109586917 cites W2037991309 @default.
• W2109586917 cites W2041108981 @default.
• W2109586917 cites W2066734765 @default.
• W2109586917 cites W2100738443 @default.
• W2109586917 cites W2110280377 @default.
• W2109586917 cites W2117009583 @default.
• W2109586917 cites W2123741728 @default.
• W2109586917 cites W2125424848 @default.
• W2109586917 cites W2130548742 @default.
• W2109586917 cites W2134039900 @default.
• W2109586917 cites W2143893406 @default.
• W2109586917 cites W2144198727 @default.
• W2109586917 cites W2148856926 @default.
• W2109586917 cites W2152029401 @default.
• W2109586917 cites W2172538317 @default.
• W2109586917 cites W2218792248 @default.
• W2109586917 cites W2416784666 @default.
• W2109586917 cites W2945259913 @default.
• W2109586917 cites W49730540 @default.
• W2109586917 cites W96215098 @default.
• W2109586917 hasPublicationYear "2011" @default.
• W2109586917 type Work @default.
• W2109586917 sameAs 2109586917 @default.
• W2109586917 citedByCount "9" @default.
• W2109586917 countsByYear W21095869172012 @default.
• W2109586917 countsByYear W21095869172013 @default.
• W2109586917 countsByYear W21095869172014 @default.
• W2109586917 countsByYear W21095869172015 @default.
• W2109586917 crossrefType "journal-article" @default.
• W2109586917 hasAuthorship W2109586917A5017332670 @default.
• W2109586917 hasAuthorship W2109586917A5088456432 @default.
• W2109586917 hasConcept C100481476 @default.
• W2109586917 hasConcept C10138342 @default.
• W2109586917 hasConcept C114614502 @default.
• W2109586917 hasConcept C127001435 @default.
• W2109586917 hasConcept C136119220 @default.
• W2109586917 hasConcept C154945302 @default.
• W2109586917 hasConcept C156325763 @default.
• W2109586917 hasConcept C162324750 @default.
• W2109586917 hasConcept C182306322 @default.
• W2109586917 hasConcept C184337299 @default.
• W2109586917 hasConcept C184670325 @default.
• W2109586917 hasConcept C199360897 @default.
• W2109586917 hasConcept C202444582 @default.
• W2109586917 hasConcept C2777212361 @default.
• W2109586917 hasConcept C28826006 @default.
• W2109586917 hasConcept C2987642246 @default.
• W2109586917 hasConcept C33923547 @default.
• W2109586917 hasConcept C41008148 @default.
• W2109586917 hasConcept C60048249 @default.
• W2109586917 hasConceptScore W2109586917C100481476 @default.
• W2109586917 hasConceptScore W2109586917C10138342 @default.
• W2109586917 hasConceptScore W2109586917C114614502 @default.
• W2109586917 hasConceptScore W2109586917C127001435 @default.
• W2109586917 hasConceptScore W2109586917C136119220 @default.
• W2109586917 hasConceptScore W2109586917C154945302 @default.
• W2109586917 hasConceptScore W2109586917C156325763 @default.
• W2109586917 hasConceptScore W2109586917C162324750 @default.
• W2109586917 hasConceptScore W2109586917C182306322 @default.
• W2109586917 hasConceptScore W2109586917C184337299 @default.
• W2109586917 hasConceptScore W2109586917C184670325 @default.
• W2109586917 hasConceptScore W2109586917C199360897 @default.
• W2109586917 hasConceptScore W2109586917C202444582 @default.
• W2109586917 hasConceptScore W2109586917C2777212361 @default.
• W2109586917 hasConceptScore W2109586917C28826006 @default.
• W2109586917 hasConceptScore W2109586917C2987642246 @default.
• W2109586917 hasConceptScore W2109586917C33923547 @default.
• W2109586917 hasConceptScore W2109586917C41008148 @default.
• W2109586917 hasConceptScore W2109586917C60048249 @default.
• W2109586917 hasIssue "1" @default.
• W2109586917 hasLocation W21095869171 @default.
• W2109586917 hasOpenAccess W2109586917 @default.
• W2109586917 hasPrimaryLocation W21095869171 @default.
• W2109586917 hasRelatedWork W1507973825 @default.
• W2109586917 hasRelatedWork W15274932 @default.

• next