FRINK Linked Data Fragments server

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

• W1534420320 endingPage "227" @default.
• W1534420320 startingPage "209" @default.
• W1534420320 abstract "We study the transformation of in non-monotonic logics. By this, we mean the act of replacing a complex formula by a newly defined predicate. From a knowledge representation perspective, such transformations can be used to eliminate redundancy or to simplify a theory. From a more practical point of view, they can also be used to transform a theory into a normal form imposed by certain inference programs or theorems. In a companion paper, we developed an algebraic theory that considers predicate introduction within the framework of approximation theory, a fixpoint theory for non-monotone operators that generalizes all main semantics of various non-monotonic logics, including logic programming, default logic and autoepistemic logic. We then used these results to show that certain logic programming transformations are equivalence preserving under, among others, both the stable and well-founded semantics. In this paper, we now apply the same algebraic results to autoepistemic logic and prove that a transformation to reduce the nesting depth of modal operators is equivalence preserving under a family of semantics for this logic. This not only provides useful theorems for autoepistemic logic, but also demonstrates that our algebraic theory does indeed capture the essence of predicate introduction in a generally applicable way." @default.
• W1534420320 created "2016-06-24" @default.
• W1534420320 creator A5036325585 @default.
• W1534420320 creator A5071442882 @default.
• W1534420320 creator A5071976409 @default.
• W1534420320 creator A5090754913 @default.
• W1534420320 date "2008-01-01" @default.
• W1534420320 modified "2023-09-24" @default.
• W1534420320 title "Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic" @default.
• W1534420320 cites W1494976167 @default.
• W1534420320 cites W1560195753 @default.
• W1534420320 cites W1565496223 @default.
• W1534420320 cites W1860179216 @default.
• W1534420320 cites W2037518358 @default.
• W1534420320 cites W2067326626 @default.
• W1534420320 cites W2071401147 @default.
• W1534420320 cites W2089296451 @default.
• W1534420320 cites W2151403295 @default.
• W1534420320 cites W2611415697 @default.
• W1534420320 hasPublicationYear "2008" @default.
• W1534420320 type Work @default.
• W1534420320 sameAs 1534420320 @default.
• W1534420320 citedByCount "5" @default.
• W1534420320 countsByYear W15344203202015 @default.
• W1534420320 countsByYear W15344203202017 @default.
• W1534420320 crossrefType "journal-article" @default.
• W1534420320 hasAuthorship W1534420320A5036325585 @default.
• W1534420320 hasAuthorship W1534420320A5071442882 @default.
• W1534420320 hasAuthorship W1534420320A5071976409 @default.
• W1534420320 hasAuthorship W1534420320A5090754913 @default.
• W1534420320 hasConcept C102993220 @default.
• W1534420320 hasConcept C118615104 @default.
• W1534420320 hasConcept C127001435 @default.
• W1534420320 hasConcept C128838566 @default.
• W1534420320 hasConcept C136119220 @default.
• W1534420320 hasConcept C156325763 @default.
• W1534420320 hasConcept C159032336 @default.
• W1534420320 hasConcept C169896238 @default.
• W1534420320 hasConcept C184337299 @default.
• W1534420320 hasConcept C19689857 @default.
• W1534420320 hasConcept C199360897 @default.
• W1534420320 hasConcept C202444582 @default.
• W1534420320 hasConcept C203659156 @default.
• W1534420320 hasConcept C2039508 @default.
• W1534420320 hasConcept C207648694 @default.
• W1534420320 hasConcept C32241873 @default.
• W1534420320 hasConcept C33923547 @default.
• W1534420320 hasConcept C3845977 @default.
• W1534420320 hasConcept C41008148 @default.
• W1534420320 hasConcept C80444323 @default.
• W1534420320 hasConcept C89497691 @default.
• W1534420320 hasConceptScore W1534420320C102993220 @default.
• W1534420320 hasConceptScore W1534420320C118615104 @default.
• W1534420320 hasConceptScore W1534420320C127001435 @default.
• W1534420320 hasConceptScore W1534420320C128838566 @default.
• W1534420320 hasConceptScore W1534420320C136119220 @default.
• W1534420320 hasConceptScore W1534420320C156325763 @default.
• W1534420320 hasConceptScore W1534420320C159032336 @default.
• W1534420320 hasConceptScore W1534420320C169896238 @default.
• W1534420320 hasConceptScore W1534420320C184337299 @default.
• W1534420320 hasConceptScore W1534420320C19689857 @default.
• W1534420320 hasConceptScore W1534420320C199360897 @default.
• W1534420320 hasConceptScore W1534420320C202444582 @default.
• W1534420320 hasConceptScore W1534420320C203659156 @default.
• W1534420320 hasConceptScore W1534420320C2039508 @default.
• W1534420320 hasConceptScore W1534420320C207648694 @default.
• W1534420320 hasConceptScore W1534420320C32241873 @default.
• W1534420320 hasConceptScore W1534420320C33923547 @default.
• W1534420320 hasConceptScore W1534420320C3845977 @default.
• W1534420320 hasConceptScore W1534420320C41008148 @default.
• W1534420320 hasConceptScore W1534420320C80444323 @default.
• W1534420320 hasConceptScore W1534420320C89497691 @default.
• W1534420320 hasIssue "1" @default.
• W1534420320 hasLocation W15344203201 @default.
• W1534420320 hasOpenAccess W1534420320 @default.
• W1534420320 hasPrimaryLocation W15344203201 @default.
• W1534420320 hasRelatedWork W1533537820 @default.
• W1534420320 hasRelatedWork W1544720236 @default.
• W1534420320 hasRelatedWork W1565496223 @default.
• W1534420320 hasRelatedWork W158764709 @default.
• W1534420320 hasRelatedWork W1601726121 @default.
• W1534420320 hasRelatedWork W1672891595 @default.
• W1534420320 hasRelatedWork W194722686 @default.
• W1534420320 hasRelatedWork W2037518358 @default.
• W1534420320 hasRelatedWork W2080633262 @default.
• W1534420320 hasRelatedWork W2099792091 @default.
• W1534420320 hasRelatedWork W2145648043 @default.
• W1534420320 hasRelatedWork W2151403295 @default.
• W1534420320 hasRelatedWork W2155322595 @default.
• W1534420320 hasRelatedWork W2252906474 @default.
• W1534420320 hasRelatedWork W2565004881 @default.
• W1534420320 hasRelatedWork W2611415697 @default.
• W1534420320 hasRelatedWork W2799457203 @default.
• W1534420320 hasRelatedWork W2914101325 @default.
• W1534420320 hasRelatedWork W2914855251 @default.
• W1534420320 hasRelatedWork W2953293196 @default.
• W1534420320 hasVolume "79" @default.
• W1534420320 isParatext "false" @default.

• next