Matches in SemOpenAlex for { <https://semopenalex.org/work/W149660204> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W149660204 endingPage "652" @default.
- W149660204 startingPage "647" @default.
- W149660204 abstract "Although epistemic logic programming has an enhanced capacity to handle complex incomplete information reasoning and represent agents' epistemic behaviours, it embeds a significantly higher computational complexity than non-disjunctive and disjunctive answer set programming. In this paper, we investigate some important properties of epistemic logic programs. In particular, we show that Lee and Lifschitz's result on loop formulas for disjunctive logic programs can be extended to a special class of epistemic logic programs. We also study the polysize model property for epistemic logic programs. Based on these discoveries, we identify two non-trivial classes of epistemic logic programs whose consistency checking complexity is reduced from PSPACE-complete to NP-complete and Σ2P -complete respectively. We observe that many important applications on epistemic representation fall into these two classes of epistemic logic programs." @default.
- W149660204 created "2016-06-24" @default.
- W149660204 creator A5086664284 @default.
- W149660204 date "2007-01-06" @default.
- W149660204 modified "2023-09-23" @default.
- W149660204 title "Epistemic reasoning in logic programs" @default.
- W149660204 cites W1605107773 @default.
- W149660204 cites W1986999264 @default.
- W149660204 cites W2004414305 @default.
- W149660204 cites W2079430756 @default.
- W149660204 cites W2610670723 @default.
- W149660204 cites W2611415697 @default.
- W149660204 cites W4068649 @default.
- W149660204 hasPublicationYear "2007" @default.
- W149660204 type Work @default.
- W149660204 sameAs 149660204 @default.
- W149660204 citedByCount "6" @default.
- W149660204 countsByYear W1496602042012 @default.
- W149660204 countsByYear W1496602042014 @default.
- W149660204 countsByYear W1496602042016 @default.
- W149660204 crossrefType "proceedings-article" @default.
- W149660204 hasAuthorship W149660204A5086664284 @default.
- W149660204 hasConcept C102993220 @default.
- W149660204 hasConcept C107247716 @default.
- W149660204 hasConcept C111472728 @default.
- W149660204 hasConcept C127001435 @default.
- W149660204 hasConcept C128838566 @default.
- W149660204 hasConcept C138885662 @default.
- W149660204 hasConcept C154945302 @default.
- W149660204 hasConcept C159032336 @default.
- W149660204 hasConcept C161301231 @default.
- W149660204 hasConcept C177264268 @default.
- W149660204 hasConcept C17744445 @default.
- W149660204 hasConcept C182620335 @default.
- W149660204 hasConcept C199360897 @default.
- W149660204 hasConcept C199539241 @default.
- W149660204 hasConcept C203659156 @default.
- W149660204 hasConcept C2776359362 @default.
- W149660204 hasConcept C2776436953 @default.
- W149660204 hasConcept C2777212361 @default.
- W149660204 hasConcept C33923547 @default.
- W149660204 hasConcept C41008148 @default.
- W149660204 hasConcept C80444323 @default.
- W149660204 hasConcept C94625758 @default.
- W149660204 hasConceptScore W149660204C102993220 @default.
- W149660204 hasConceptScore W149660204C107247716 @default.
- W149660204 hasConceptScore W149660204C111472728 @default.
- W149660204 hasConceptScore W149660204C127001435 @default.
- W149660204 hasConceptScore W149660204C128838566 @default.
- W149660204 hasConceptScore W149660204C138885662 @default.
- W149660204 hasConceptScore W149660204C154945302 @default.
- W149660204 hasConceptScore W149660204C159032336 @default.
- W149660204 hasConceptScore W149660204C161301231 @default.
- W149660204 hasConceptScore W149660204C177264268 @default.
- W149660204 hasConceptScore W149660204C17744445 @default.
- W149660204 hasConceptScore W149660204C182620335 @default.
- W149660204 hasConceptScore W149660204C199360897 @default.
- W149660204 hasConceptScore W149660204C199539241 @default.
- W149660204 hasConceptScore W149660204C203659156 @default.
- W149660204 hasConceptScore W149660204C2776359362 @default.
- W149660204 hasConceptScore W149660204C2776436953 @default.
- W149660204 hasConceptScore W149660204C2777212361 @default.
- W149660204 hasConceptScore W149660204C33923547 @default.
- W149660204 hasConceptScore W149660204C41008148 @default.
- W149660204 hasConceptScore W149660204C80444323 @default.
- W149660204 hasConceptScore W149660204C94625758 @default.
- W149660204 hasOpenAccess W149660204 @default.
- W149660204 hasRelatedWork W1497936609 @default.
- W149660204 hasRelatedWork W1509246413 @default.
- W149660204 hasRelatedWork W1545926495 @default.
- W149660204 hasRelatedWork W1599587354 @default.
- W149660204 hasRelatedWork W1599910133 @default.
- W149660204 hasRelatedWork W165704037 @default.
- W149660204 hasRelatedWork W1724047711 @default.
- W149660204 hasRelatedWork W1965105913 @default.
- W149660204 hasRelatedWork W1986999264 @default.
- W149660204 hasRelatedWork W2088175080 @default.
- W149660204 hasRelatedWork W2153530522 @default.
- W149660204 hasRelatedWork W2160191881 @default.
- W149660204 hasRelatedWork W2167765443 @default.
- W149660204 hasRelatedWork W2972694183 @default.
- W149660204 hasRelatedWork W3026707756 @default.
- W149660204 hasRelatedWork W3102389405 @default.
- W149660204 hasRelatedWork W3143249122 @default.
- W149660204 hasRelatedWork W770326295 @default.
- W149660204 hasRelatedWork W2100937798 @default.
- W149660204 hasRelatedWork W4068649 @default.
- W149660204 isParatext "false" @default.
- W149660204 isRetracted "false" @default.
- W149660204 magId "149660204" @default.
- W149660204 workType "article" @default.