Matches in SemOpenAlex for { <https://semopenalex.org/work/W2106646548> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2106646548 abstract "We use a simplified version of the Policy Description Language 3)2)£ introduced in (Lobo, Bhatia, & Naqvi 1999) to represent and reason about policies. In 3)2)£ a policy description is a collection of Event-ConditionAction-Rules that defines a mapping from event histories into action histories. In this paper we introduce the generation problem: finding an event history that generates a given action history, and state its complexity. Because of its high complexity we present a logic programming-based semantics for policies and encode a sound and complete solution of the generation problem using the stable model semantics of logic programs. We also identify a subclass of policies where the generation problem can be solved in polynomial time." @default.
- W2106646548 created "2016-06-24" @default.
- W2106646548 creator A5039295194 @default.
- W2106646548 creator A5063459912 @default.
- W2106646548 date "2001-01-01" @default.
- W2106646548 modified "2023-09-23" @default.
- W2106646548 title "Reasoning about Policies using Logic Programs" @default.
- W2106646548 cites W128192963 @default.
- W2106646548 cites W133653034 @default.
- W2106646548 cites W1496528554 @default.
- W2106646548 cites W1511336005 @default.
- W2106646548 cites W1604345466 @default.
- W2106646548 cites W1663140555 @default.
- W2106646548 cites W1672891595 @default.
- W2106646548 cites W186851202 @default.
- W2106646548 cites W1990406816 @default.
- W2106646548 cites W1993512664 @default.
- W2106646548 cites W2048746006 @default.
- W2106646548 cites W2068512292 @default.
- W2106646548 cites W2077374365 @default.
- W2106646548 cites W2077695843 @default.
- W2106646548 cites W2102398950 @default.
- W2106646548 cites W2106338902 @default.
- W2106646548 cites W2107424400 @default.
- W2106646548 cites W2118823189 @default.
- W2106646548 cites W2150346598 @default.
- W2106646548 cites W2154848627 @default.
- W2106646548 cites W2168366509 @default.
- W2106646548 cites W48347304 @default.
- W2106646548 hasPublicationYear "2001" @default.
- W2106646548 type Work @default.
- W2106646548 sameAs 2106646548 @default.
- W2106646548 citedByCount "13" @default.
- W2106646548 countsByYear W21066465482014 @default.
- W2106646548 crossrefType "journal-article" @default.
- W2106646548 hasAuthorship W2106646548A5039295194 @default.
- W2106646548 hasAuthorship W2106646548A5063459912 @default.
- W2106646548 hasConcept C102993220 @default.
- W2106646548 hasConcept C104317684 @default.
- W2106646548 hasConcept C121332964 @default.
- W2106646548 hasConcept C128838566 @default.
- W2106646548 hasConcept C154945302 @default.
- W2106646548 hasConcept C184337299 @default.
- W2106646548 hasConcept C18460168 @default.
- W2106646548 hasConcept C185592680 @default.
- W2106646548 hasConcept C199360897 @default.
- W2106646548 hasConcept C25016198 @default.
- W2106646548 hasConcept C2779662365 @default.
- W2106646548 hasConcept C2780791683 @default.
- W2106646548 hasConcept C41008148 @default.
- W2106646548 hasConcept C48103436 @default.
- W2106646548 hasConcept C55493867 @default.
- W2106646548 hasConcept C62520636 @default.
- W2106646548 hasConcept C66746571 @default.
- W2106646548 hasConcept C80444323 @default.
- W2106646548 hasConceptScore W2106646548C102993220 @default.
- W2106646548 hasConceptScore W2106646548C104317684 @default.
- W2106646548 hasConceptScore W2106646548C121332964 @default.
- W2106646548 hasConceptScore W2106646548C128838566 @default.
- W2106646548 hasConceptScore W2106646548C154945302 @default.
- W2106646548 hasConceptScore W2106646548C184337299 @default.
- W2106646548 hasConceptScore W2106646548C18460168 @default.
- W2106646548 hasConceptScore W2106646548C185592680 @default.
- W2106646548 hasConceptScore W2106646548C199360897 @default.
- W2106646548 hasConceptScore W2106646548C25016198 @default.
- W2106646548 hasConceptScore W2106646548C2779662365 @default.
- W2106646548 hasConceptScore W2106646548C2780791683 @default.
- W2106646548 hasConceptScore W2106646548C41008148 @default.
- W2106646548 hasConceptScore W2106646548C48103436 @default.
- W2106646548 hasConceptScore W2106646548C55493867 @default.
- W2106646548 hasConceptScore W2106646548C62520636 @default.
- W2106646548 hasConceptScore W2106646548C66746571 @default.
- W2106646548 hasConceptScore W2106646548C80444323 @default.
- W2106646548 hasLocation W21066465481 @default.
- W2106646548 hasOpenAccess W2106646548 @default.
- W2106646548 hasPrimaryLocation W21066465481 @default.
- W2106646548 hasRelatedWork W1493799155 @default.
- W2106646548 hasRelatedWork W1498722751 @default.
- W2106646548 hasRelatedWork W1511336005 @default.
- W2106646548 hasRelatedWork W1537193727 @default.
- W2106646548 hasRelatedWork W1554100114 @default.
- W2106646548 hasRelatedWork W1560971821 @default.
- W2106646548 hasRelatedWork W1578725873 @default.
- W2106646548 hasRelatedWork W1586434992 @default.
- W2106646548 hasRelatedWork W1605586974 @default.
- W2106646548 hasRelatedWork W1606891084 @default.
- W2106646548 hasRelatedWork W1639901403 @default.
- W2106646548 hasRelatedWork W1672891595 @default.
- W2106646548 hasRelatedWork W1751869754 @default.
- W2106646548 hasRelatedWork W186851202 @default.
- W2106646548 hasRelatedWork W2011124182 @default.
- W2106646548 hasRelatedWork W2076698873 @default.
- W2106646548 hasRelatedWork W2107424400 @default.
- W2106646548 hasRelatedWork W2152131859 @default.
- W2106646548 hasRelatedWork W73864267 @default.
- W2106646548 hasRelatedWork W83671853 @default.
- W2106646548 isParatext "false" @default.
- W2106646548 isRetracted "false" @default.
- W2106646548 magId "2106646548" @default.
- W2106646548 workType "article" @default.