FRINK Linked Data Fragments server

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

• W2143323021 endingPage "176" @default.
• W2143323021 startingPage "129" @default.
• W2143323021 abstract "The Autoepistemic Logic of Knowledge and Belief (AELB) is a powerful nonmonotonic formalism introduced by Teodor Przymusinski in 1994. In this paper, we specialize it to a class of theories called super logic programs. We argue that these programs form a natural generalization of standard logic programs. In particular, they allow disjunctions and default negation of arbitrary positive objective formulas.Our main results are two new and important characterizations of the static semantics of these programs, one syntactic, and one model-theoretic. The syntactic fixed point characterization is much simpler than the fixed point construction of the static semantics for arbitrary AELB theories. The model-theoretic characterization via Kripke models allows one to construct finite representations of the inherently infinite static expansions.Both characterizations can be used as the basis of algorithms for query answering under the static semantics. We describe a query-answering interpreter for super programs that we developed based on the model-theoretic characterization and which is available on the web." @default.
• W2143323021 created "2016-06-24" @default.
• W2143323021 creator A5004990891 @default.
• W2143323021 creator A5081145311 @default.
• W2143323021 creator A5084802338 @default.
• W2143323021 date "2004-01-01" @default.
• W2143323021 modified "2023-09-27" @default.
• W2143323021 title "Super logic programs" @default.
• W2143323021 cites W1505341650 @default.
• W2143323021 cites W1586575428 @default.
• W2143323021 cites W1830798555 @default.
• W2143323021 cites W194413726 @default.
• W2143323021 cites W1968513265 @default.
• W2143323021 cites W1985819576 @default.
• W2143323021 cites W1995876561 @default.
• W2143323021 cites W2001321150 @default.
• W2143323021 cites W2001794777 @default.
• W2143323021 cites W2003017562 @default.
• W2143323021 cites W2008294142 @default.
• W2143323021 cites W2013098708 @default.
• W2143323021 cites W2028245171 @default.
• W2143323021 cites W2051223322 @default.
• W2143323021 cites W2055299038 @default.
• W2143323021 cites W2060723681 @default.
• W2143323021 cites W2076698873 @default.
• W2143323021 cites W207962917 @default.
• W2143323021 cites W2106458801 @default.
• W2143323021 cites W2169526198 @default.
• W2143323021 cites W2945259913 @default.
• W2143323021 cites W4210435783 @default.
• W2143323021 cites W4231492400 @default.
• W2143323021 cites W4232988693 @default.
• W2143323021 doi "https://doi.org/10.1145/963927.963931" @default.
• W2143323021 hasPublicationYear "2004" @default.
• W2143323021 type Work @default.
• W2143323021 sameAs 2143323021 @default.
• W2143323021 citedByCount "2" @default.
• W2143323021 countsByYear W21433230212022 @default.
• W2143323021 crossrefType "journal-article" @default.
• W2143323021 hasAuthorship W2143323021A5004990891 @default.
• W2143323021 hasAuthorship W2143323021A5081145311 @default.
• W2143323021 hasAuthorship W2143323021A5084802338 @default.
• W2143323021 hasConcept C102993220 @default.
• W2143323021 hasConcept C11413529 @default.
• W2143323021 hasConcept C127001435 @default.
• W2143323021 hasConcept C128838566 @default.
• W2143323021 hasConcept C134306372 @default.
• W2143323021 hasConcept C136119220 @default.
• W2143323021 hasConcept C142362112 @default.
• W2143323021 hasConcept C153349607 @default.
• W2143323021 hasConcept C159032336 @default.
• W2143323021 hasConcept C171250308 @default.
• W2143323021 hasConcept C177148314 @default.
• W2143323021 hasConcept C184337299 @default.
• W2143323021 hasConcept C192562407 @default.
• W2143323021 hasConcept C199360897 @default.
• W2143323021 hasConcept C202444582 @default.
• W2143323021 hasConcept C203659156 @default.
• W2143323021 hasConcept C2185349 @default.
• W2143323021 hasConcept C2780841128 @default.
• W2143323021 hasConcept C33923547 @default.
• W2143323021 hasConcept C3845977 @default.
• W2143323021 hasConcept C41008148 @default.
• W2143323021 hasConcept C558565934 @default.
• W2143323021 hasConcept C73301696 @default.
• W2143323021 hasConcept C80444323 @default.
• W2143323021 hasConceptScore W2143323021C102993220 @default.
• W2143323021 hasConceptScore W2143323021C11413529 @default.
• W2143323021 hasConceptScore W2143323021C127001435 @default.
• W2143323021 hasConceptScore W2143323021C128838566 @default.
• W2143323021 hasConceptScore W2143323021C134306372 @default.
• W2143323021 hasConceptScore W2143323021C136119220 @default.
• W2143323021 hasConceptScore W2143323021C142362112 @default.
• W2143323021 hasConceptScore W2143323021C153349607 @default.
• W2143323021 hasConceptScore W2143323021C159032336 @default.
• W2143323021 hasConceptScore W2143323021C171250308 @default.
• W2143323021 hasConceptScore W2143323021C177148314 @default.
• W2143323021 hasConceptScore W2143323021C184337299 @default.
• W2143323021 hasConceptScore W2143323021C192562407 @default.
• W2143323021 hasConceptScore W2143323021C199360897 @default.
• W2143323021 hasConceptScore W2143323021C202444582 @default.
• W2143323021 hasConceptScore W2143323021C203659156 @default.
• W2143323021 hasConceptScore W2143323021C2185349 @default.
• W2143323021 hasConceptScore W2143323021C2780841128 @default.
• W2143323021 hasConceptScore W2143323021C33923547 @default.
• W2143323021 hasConceptScore W2143323021C3845977 @default.
• W2143323021 hasConceptScore W2143323021C41008148 @default.
• W2143323021 hasConceptScore W2143323021C558565934 @default.
• W2143323021 hasConceptScore W2143323021C73301696 @default.
• W2143323021 hasConceptScore W2143323021C80444323 @default.
• W2143323021 hasIssue "1" @default.
• W2143323021 hasLocation W21433230211 @default.
• W2143323021 hasOpenAccess W2143323021 @default.
• W2143323021 hasPrimaryLocation W21433230211 @default.
• W2143323021 hasRelatedWork W1485855639 @default.
• W2143323021 hasRelatedWork W1526221803 @default.
• W2143323021 hasRelatedWork W1586012806 @default.
• W2143323021 hasRelatedWork W1606045745 @default.

• next