Matches in SemOpenAlex for { <https://semopenalex.org/work/W205693564> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W205693564 endingPage "226" @default.
- W205693564 startingPage "219" @default.
- W205693564 abstract "Proceedings of the International Workshop on Non-Monotonic Reasoning (NMR-04) in Whistler, BC, 2004. The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the underlying propositional logic. The extended language requires very little new machinery, and it is suitable for describing transitions between Kripke structures. We consider some formal restrictions on action descriptions that preserve natural classes of Kripke structures, and we prove that the modal epistemic extension of A naturally subsumes related approaches to reasoning about knowledge. We conclude with some plans for future work. Introduction The action language A is a simple high-level language for reasoning about the effects of actions (Gelfond & Lifschitz 1993). The basic language is suitable only for simple action domains, but it has been extended several times to address a wide range of problems (Baral & Gelfond 1997; Baral, Gelfond, & Provetti 1997). In this paper, we suggest that it is possible to increase the representational power of A without changing the action language itself. Instead, we look at extending the underlying propositional logic by adding modal operators. We consider the expressive power of the modal extension, and compare the framework with related work on epistemic extensions of A." @default.
- W205693564 created "2016-06-24" @default.
- W205693564 creator A5059954778 @default.
- W205693564 date "2004-01-01" @default.
- W205693564 modified "2023-09-26" @default.
- W205693564 title "Adding modal operators to the action language A." @default.
- W205693564 cites W1482555259 @default.
- W205693564 cites W1519226543 @default.
- W205693564 cites W1554536854 @default.
- W205693564 cites W1560971821 @default.
- W205693564 cites W1596067335 @default.
- W205693564 cites W1646982748 @default.
- W205693564 cites W1978631539 @default.
- W205693564 cites W1993512664 @default.
- W205693564 cites W2009810952 @default.
- W205693564 cites W2010939995 @default.
- W205693564 cites W2122615086 @default.
- W205693564 cites W2146819619 @default.
- W205693564 cites W2165063953 @default.
- W205693564 hasPublicationYear "2004" @default.
- W205693564 type Work @default.
- W205693564 sameAs 205693564 @default.
- W205693564 citedByCount "2" @default.
- W205693564 crossrefType "proceedings-article" @default.
- W205693564 hasAuthorship W205693564A5059954778 @default.
- W205693564 hasConcept C102993220 @default.
- W205693564 hasConcept C107247716 @default.
- W205693564 hasConcept C111472728 @default.
- W205693564 hasConcept C11191006 @default.
- W205693564 hasConcept C114092440 @default.
- W205693564 hasConcept C118615104 @default.
- W205693564 hasConcept C121332964 @default.
- W205693564 hasConcept C138885662 @default.
- W205693564 hasConcept C160131679 @default.
- W205693564 hasConcept C185592680 @default.
- W205693564 hasConcept C188027245 @default.
- W205693564 hasConcept C199360897 @default.
- W205693564 hasConcept C203659156 @default.
- W205693564 hasConcept C27508121 @default.
- W205693564 hasConcept C2780586882 @default.
- W205693564 hasConcept C2780791683 @default.
- W205693564 hasConcept C33923547 @default.
- W205693564 hasConcept C41008148 @default.
- W205693564 hasConcept C62520636 @default.
- W205693564 hasConcept C69562738 @default.
- W205693564 hasConcept C71139939 @default.
- W205693564 hasConcept C78023250 @default.
- W205693564 hasConcept C78344899 @default.
- W205693564 hasConceptScore W205693564C102993220 @default.
- W205693564 hasConceptScore W205693564C107247716 @default.
- W205693564 hasConceptScore W205693564C111472728 @default.
- W205693564 hasConceptScore W205693564C11191006 @default.
- W205693564 hasConceptScore W205693564C114092440 @default.
- W205693564 hasConceptScore W205693564C118615104 @default.
- W205693564 hasConceptScore W205693564C121332964 @default.
- W205693564 hasConceptScore W205693564C138885662 @default.
- W205693564 hasConceptScore W205693564C160131679 @default.
- W205693564 hasConceptScore W205693564C185592680 @default.
- W205693564 hasConceptScore W205693564C188027245 @default.
- W205693564 hasConceptScore W205693564C199360897 @default.
- W205693564 hasConceptScore W205693564C203659156 @default.
- W205693564 hasConceptScore W205693564C27508121 @default.
- W205693564 hasConceptScore W205693564C2780586882 @default.
- W205693564 hasConceptScore W205693564C2780791683 @default.
- W205693564 hasConceptScore W205693564C33923547 @default.
- W205693564 hasConceptScore W205693564C41008148 @default.
- W205693564 hasConceptScore W205693564C62520636 @default.
- W205693564 hasConceptScore W205693564C69562738 @default.
- W205693564 hasConceptScore W205693564C71139939 @default.
- W205693564 hasConceptScore W205693564C78023250 @default.
- W205693564 hasConceptScore W205693564C78344899 @default.
- W205693564 hasLocation W2056935641 @default.
- W205693564 hasOpenAccess W205693564 @default.
- W205693564 hasPrimaryLocation W2056935641 @default.
- W205693564 hasRelatedWork W1448681095 @default.
- W205693564 hasRelatedWork W1493921823 @default.
- W205693564 hasRelatedWork W1500015813 @default.
- W205693564 hasRelatedWork W1506246234 @default.
- W205693564 hasRelatedWork W1669019556 @default.
- W205693564 hasRelatedWork W1965105913 @default.
- W205693564 hasRelatedWork W1979480136 @default.
- W205693564 hasRelatedWork W2088175080 @default.
- W205693564 hasRelatedWork W2100448794 @default.
- W205693564 hasRelatedWork W2140749318 @default.
- W205693564 hasRelatedWork W2160191881 @default.
- W205693564 hasRelatedWork W2542317098 @default.
- W205693564 hasRelatedWork W2612428610 @default.
- W205693564 hasRelatedWork W2724608839 @default.
- W205693564 hasRelatedWork W2963778922 @default.
- W205693564 hasRelatedWork W2969254288 @default.
- W205693564 hasRelatedWork W3026707756 @default.
- W205693564 hasRelatedWork W3102389405 @default.
- W205693564 hasRelatedWork W3200065462 @default.
- W205693564 hasRelatedWork W42317520 @default.
- W205693564 isParatext "false" @default.
- W205693564 isRetracted "false" @default.
- W205693564 magId "205693564" @default.
- W205693564 workType "article" @default.