Matches in SemOpenAlex for { <https://semopenalex.org/work/W2807977013> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2807977013 abstract "The Procedural Reasoning System (PRS) is arguably the first implementation of the Belief--Desire--Intention (BDI) approach to agent programming. PRS remains extremely influential, directly or indirectly inspiring the development of subsequent BDI agent programming languages. However, perhaps surprisingly given its centrality in the BDI paradigm, PRS lacks a formal operational semantics, making it difficult to determine its expressive power relative to other agent programming languages. This paper takes a first step towards closing this gap, by giving a formal semantics for a significant fragment of PRS. We prove key properties of the semantics relating to PRS-specific programming constructs, and show that even the fragment of PRS we consider is strictly more expressive than the plan constructs found in typical BDI languages." @default.
- W2807977013 created "2018-06-21" @default.
- W2807977013 creator A5052831741 @default.
- W2807977013 creator A5064876611 @default.
- W2807977013 creator A5073632183 @default.
- W2807977013 date "2018-07-01" @default.
- W2807977013 modified "2023-09-30" @default.
- W2807977013 title "An Operational Semantics for a Fragment of PRS" @default.
- W2807977013 cites W124406830 @default.
- W2807977013 cites W1551549980 @default.
- W2807977013 cites W1966197446 @default.
- W2807977013 cites W2027368825 @default.
- W2807977013 cites W2070201823 @default.
- W2807977013 cites W2090161303 @default.
- W2807977013 cites W2095995891 @default.
- W2807977013 cites W2106207733 @default.
- W2807977013 cites W2107361906 @default.
- W2807977013 cites W2108957997 @default.
- W2807977013 cites W2118229393 @default.
- W2807977013 cites W2145899763 @default.
- W2807977013 cites W2153793146 @default.
- W2807977013 cites W2276269278 @default.
- W2807977013 cites W2479648088 @default.
- W2807977013 cites W2530189729 @default.
- W2807977013 cites W2621104945 @default.
- W2807977013 doi "https://doi.org/10.24963/ijcai.2018/27" @default.
- W2807977013 hasPublicationYear "2018" @default.
- W2807977013 type Work @default.
- W2807977013 sameAs 2807977013 @default.
- W2807977013 citedByCount "4" @default.
- W2807977013 countsByYear W28079770132019 @default.
- W2807977013 countsByYear W28079770132020 @default.
- W2807977013 crossrefType "proceedings-article" @default.
- W2807977013 hasAuthorship W2807977013A5052831741 @default.
- W2807977013 hasAuthorship W2807977013A5064876611 @default.
- W2807977013 hasAuthorship W2807977013A5073632183 @default.
- W2807977013 hasBestOaLocation W28079770131 @default.
- W2807977013 hasConcept C146499914 @default.
- W2807977013 hasConcept C154945302 @default.
- W2807977013 hasConcept C156325763 @default.
- W2807977013 hasConcept C17744445 @default.
- W2807977013 hasConcept C184337299 @default.
- W2807977013 hasConcept C195818886 @default.
- W2807977013 hasConcept C199360897 @default.
- W2807977013 hasConcept C199539241 @default.
- W2807977013 hasConcept C26517878 @default.
- W2807977013 hasConcept C2776235265 @default.
- W2807977013 hasConcept C2778775528 @default.
- W2807977013 hasConcept C38652104 @default.
- W2807977013 hasConcept C41008148 @default.
- W2807977013 hasConceptScore W2807977013C146499914 @default.
- W2807977013 hasConceptScore W2807977013C154945302 @default.
- W2807977013 hasConceptScore W2807977013C156325763 @default.
- W2807977013 hasConceptScore W2807977013C17744445 @default.
- W2807977013 hasConceptScore W2807977013C184337299 @default.
- W2807977013 hasConceptScore W2807977013C195818886 @default.
- W2807977013 hasConceptScore W2807977013C199360897 @default.
- W2807977013 hasConceptScore W2807977013C199539241 @default.
- W2807977013 hasConceptScore W2807977013C26517878 @default.
- W2807977013 hasConceptScore W2807977013C2776235265 @default.
- W2807977013 hasConceptScore W2807977013C2778775528 @default.
- W2807977013 hasConceptScore W2807977013C38652104 @default.
- W2807977013 hasConceptScore W2807977013C41008148 @default.
- W2807977013 hasLocation W28079770131 @default.
- W2807977013 hasLocation W28079770132 @default.
- W2807977013 hasLocation W28079770133 @default.
- W2807977013 hasOpenAccess W2807977013 @default.
- W2807977013 hasPrimaryLocation W28079770131 @default.
- W2807977013 hasRelatedWork W1855927527 @default.
- W2807977013 hasRelatedWork W2090686886 @default.
- W2807977013 hasRelatedWork W2124431509 @default.
- W2807977013 hasRelatedWork W2125406856 @default.
- W2807977013 hasRelatedWork W2146445117 @default.
- W2807977013 hasRelatedWork W2362341649 @default.
- W2807977013 hasRelatedWork W2807977013 @default.
- W2807977013 hasRelatedWork W2975333801 @default.
- W2807977013 hasRelatedWork W3000438711 @default.
- W2807977013 hasRelatedWork W45620349 @default.
- W2807977013 isParatext "false" @default.
- W2807977013 isRetracted "false" @default.
- W2807977013 magId "2807977013" @default.
- W2807977013 workType "article" @default.