Matches in SemOpenAlex for { <https://semopenalex.org/work/W4238984330> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- W4238984330 abstract "This paper introduces ASF, a variation of the BDI logic programming language ASL intended to permit the model-theoretic verification of multi-agent systems. After briefly introducing ASF and discussing its relationship to ASL, we show how ASF programs can be transformed into Prm, the model specification language for the Spin model-checking system. We also describe how specifications written in a simplified form of BDI logic can be transformed into Spin-format linear temporal logic formulae. With our approach, it is thus possible to automatically verify whether or not multi-agent systems implemented in ASF satisfy specifications expressed as BDI logic formulæ. We illustrate our approach with a short case study, in which we show how BDI properties of a simulated auction system implemented in ASF were verified." @default.
- W4238984330 created "2022-05-12" @default.
- W4238984330 creator A5016824381 @default.
- W4238984330 creator A5037986871 @default.
- W4238984330 creator A5065393757 @default.
- W4238984330 creator A5071432140 @default.
- W4238984330 date "2003-01-01" @default.
- W4238984330 modified "2023-10-16" @default.
- W4238984330 title "Model checking agentspeak" @default.
- W4238984330 doi "https://doi.org/10.1145/860638.860641" @default.
- W4238984330 hasPublicationYear "2003" @default.
- W4238984330 type Work @default.
- W4238984330 citedByCount "5" @default.
- W4238984330 countsByYear W42389843302012 @default.
- W4238984330 crossrefType "proceedings-article" @default.
- W4238984330 hasAuthorship W4238984330A5016824381 @default.
- W4238984330 hasAuthorship W4238984330A5037986871 @default.
- W4238984330 hasAuthorship W4238984330A5065393757 @default.
- W4238984330 hasAuthorship W4238984330A5071432140 @default.
- W4238984330 hasConcept C110251889 @default.
- W4238984330 hasConcept C11413529 @default.
- W4238984330 hasConcept C128838566 @default.
- W4238984330 hasConcept C199360897 @default.
- W4238984330 hasConcept C25016198 @default.
- W4238984330 hasConcept C41008148 @default.
- W4238984330 hasConcept C80444323 @default.
- W4238984330 hasConceptScore W4238984330C110251889 @default.
- W4238984330 hasConceptScore W4238984330C11413529 @default.
- W4238984330 hasConceptScore W4238984330C128838566 @default.
- W4238984330 hasConceptScore W4238984330C199360897 @default.
- W4238984330 hasConceptScore W4238984330C25016198 @default.
- W4238984330 hasConceptScore W4238984330C41008148 @default.
- W4238984330 hasConceptScore W4238984330C80444323 @default.
- W4238984330 hasLocation W42389843301 @default.
- W4238984330 hasOpenAccess W4238984330 @default.
- W4238984330 hasPrimaryLocation W42389843301 @default.
- W4238984330 hasRelatedWork W1583364777 @default.
- W4238984330 hasRelatedWork W1748450182 @default.
- W4238984330 hasRelatedWork W1977473400 @default.
- W4238984330 hasRelatedWork W1981423263 @default.
- W4238984330 hasRelatedWork W2103740034 @default.
- W4238984330 hasRelatedWork W2117107687 @default.
- W4238984330 hasRelatedWork W2151898527 @default.
- W4238984330 hasRelatedWork W2283260145 @default.
- W4238984330 hasRelatedWork W2774415564 @default.
- W4238984330 hasRelatedWork W1949742178 @default.
- W4238984330 isParatext "false" @default.
- W4238984330 isRetracted "false" @default.
- W4238984330 workType "article" @default.