Matches in SemOpenAlex for { <https://semopenalex.org/work/W1815280036> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1815280036 endingPage "256" @default.
- W1815280036 startingPage "239" @default.
- W1815280036 abstract "AbstractWe outline the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we model agents executing abstract actions relative to deontic concepts derived from Standard Deontic Logic and Dynamic Deontic Logic. The concepts of abstract actions are derived from Dynamic Logic. The logics are declarative, while the implementation is operational. Actions have explicit action preconditions and postconditions. We have deontic specification of complex actions. We implement a Contrary-to-Duty Obligations case. We distinguish Contrary-to-Duty Obligations from obligations on sequences, which has not previously been accounted for in the literature. The central innovation is the expression of complex violation and fulfillment markers. The language can be used to express a range of alternative notions of actions and deontic specification.KeywordsComplex ActionNormative SystemInput ActionFunctional ProgramDeontic LogicThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1815280036 created "2016-06-24" @default.
- W1815280036 creator A5063413613 @default.
- W1815280036 date "2006-01-01" @default.
- W1815280036 modified "2023-09-27" @default.
- W1815280036 title "A Functional Program for Agents, Actions, and Deontic Specifications" @default.
- W1815280036 cites W1568454198 @default.
- W1815280036 cites W1576359938 @default.
- W1815280036 cites W1578060922 @default.
- W1815280036 cites W1979030266 @default.
- W1815280036 cites W2021916230 @default.
- W1815280036 cites W205576573 @default.
- W1815280036 cites W2067743023 @default.
- W1815280036 cites W2113699261 @default.
- W1815280036 cites W2167501322 @default.
- W1815280036 cites W2323945690 @default.
- W1815280036 cites W4239007999 @default.
- W1815280036 doi "https://doi.org/10.1007/11961536_16" @default.
- W1815280036 hasPublicationYear "2006" @default.
- W1815280036 type Work @default.
- W1815280036 sameAs 1815280036 @default.
- W1815280036 citedByCount "5" @default.
- W1815280036 countsByYear W18152800362012 @default.
- W1815280036 countsByYear W18152800362013 @default.
- W1815280036 crossrefType "book-chapter" @default.
- W1815280036 hasAuthorship W1815280036A5063413613 @default.
- W1815280036 hasBestOaLocation W18152800362 @default.
- W1815280036 hasConcept C138885662 @default.
- W1815280036 hasConcept C146206909 @default.
- W1815280036 hasConcept C154945302 @default.
- W1815280036 hasConcept C199360897 @default.
- W1815280036 hasConcept C201677973 @default.
- W1815280036 hasConcept C2780624054 @default.
- W1815280036 hasConcept C34165917 @default.
- W1815280036 hasConcept C41008148 @default.
- W1815280036 hasConcept C41895202 @default.
- W1815280036 hasConcept C42383842 @default.
- W1815280036 hasConcept C50033165 @default.
- W1815280036 hasConcept C6377922 @default.
- W1815280036 hasConcept C98045186 @default.
- W1815280036 hasConceptScore W1815280036C138885662 @default.
- W1815280036 hasConceptScore W1815280036C146206909 @default.
- W1815280036 hasConceptScore W1815280036C154945302 @default.
- W1815280036 hasConceptScore W1815280036C199360897 @default.
- W1815280036 hasConceptScore W1815280036C201677973 @default.
- W1815280036 hasConceptScore W1815280036C2780624054 @default.
- W1815280036 hasConceptScore W1815280036C34165917 @default.
- W1815280036 hasConceptScore W1815280036C41008148 @default.
- W1815280036 hasConceptScore W1815280036C41895202 @default.
- W1815280036 hasConceptScore W1815280036C42383842 @default.
- W1815280036 hasConceptScore W1815280036C50033165 @default.
- W1815280036 hasConceptScore W1815280036C6377922 @default.
- W1815280036 hasConceptScore W1815280036C98045186 @default.
- W1815280036 hasLocation W18152800361 @default.
- W1815280036 hasLocation W18152800362 @default.
- W1815280036 hasOpenAccess W1815280036 @default.
- W1815280036 hasPrimaryLocation W18152800361 @default.
- W1815280036 hasRelatedWork W1481383228 @default.
- W1815280036 hasRelatedWork W1601811574 @default.
- W1815280036 hasRelatedWork W1607469218 @default.
- W1815280036 hasRelatedWork W1815280036 @default.
- W1815280036 hasRelatedWork W1966091859 @default.
- W1815280036 hasRelatedWork W2111594816 @default.
- W1815280036 hasRelatedWork W2116311377 @default.
- W1815280036 hasRelatedWork W2138291249 @default.
- W1815280036 hasRelatedWork W2175256523 @default.
- W1815280036 hasRelatedWork W2505537202 @default.
- W1815280036 isParatext "false" @default.
- W1815280036 isRetracted "false" @default.
- W1815280036 magId "1815280036" @default.
- W1815280036 workType "book-chapter" @default.