An operational semantics for a fragment of PRS

QR Code

An operational semantics for a fragment of PRS

The Procedural Reasoning System (PRS) is arguably the ﬁrst implementation of the Belief–Desire–Intention (BDI) approach to agent programming. PRS remains extremely inﬂuential, directly or indirectly inspiring the development of subsequent BDI agent programming languages. However, perhaps surprisingl...

Full description

Bibliographic Details
Main Authors:	de Silva, Lavindra, Meneguzzi, Felipe, Logan, Brian
Format:	Conference or Workshop Item
Published:	2018
Online Access:	https://eprints.nottingham.ac.uk/52959/

Similar Items

Reinforcement learning of normative monitoring intensities
by: Li, Jiaqi, et al.
Published: (2016)

Reasoning about the executability of goal-plan trees
by: Yao, Yuan, et al.
Published: (2016)

Security and public relations: the five PRs
by: Mansor Ahmad Saman,
Published: (1988)

Composite capabilities for cloud manufacturing (demonstration)
by: Felli, Paolo, et al.
Published: (2018)

Process plan controllers for non-deterministic manufacturing systems
by: Felli, Paolo, et al.
Published: (2017)

Open contests pledge sparks debate on PRS presidency
by: David, Jacqueline
Published: (2025)

The virtues of idleness: a decidable fragment of resource agent logic
by: Alechina, Natasha, et al.
Published: (2017)

Open contests a must to endorse PRS leadership, says don
by: Edward, Churchill
Published: (2025)

On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic
by: Alechina, Natasha, et al.
Published: (2015)

A guide to developing personalised residential supports (PRS) for adults with developmental disabilities and their families
by: Cocks, Errol, et al.
Published: (2009)

250 pelajar dan guru KV sertai Program Pemerkasaan TVET PRS
by: Nor Salwana, Mohammad Idris
Published: (2023)

Realisability of production recipes
by: de Silva, Lavindra, et al.
Published: (2016)

Synthesising industry-standard manufacturing process controllers
by: de Silva, Lavindra, et al.
Published: (2017)

Synthesising process controllers from formal models of transformable assembly systems
by: de Silva, Lavindra, et al.
Published: (2019)

Modularity and implementation of mathematical operational semantics
by: Jaskelioff, Mauro Javier, et al.
Published: (2008)

Lifting of operations in modular monadic semantics
by: Jaskelioff, Mauro Javier
Published: (2009)

250 students and teachers from Vocational Colleges KV participate in the TVET PRS Empowerment Programme
by: Nor Salwana, Mohammad Idris
Published: (2023)

Determinants of Malaysians' intention towards private retirement scheme (PRS) participation in Klang Valley, Malaysia
by: Lin, Kok Leong
Published: (2025)

Reducing PAPR in PRS-OFDM system using Fraction Time-Selective (FTS) envelope modification
by: Syed Yusof, Sharifah Kamilah
Published: (2007)

Investment intention on Private Retirement Scheme (PRS) among small business owners and self-employed individual
by: Ramin, Ahmad Kaseri, et al.
Published: (2018)

Hubungan antara personaliti dengan kemahiran menolong yang digunakan oleh pembimbing rakan sebaya (PRS)
by: Wan Noradila, Wan Mohd Zain.
Published: (2006)

Determinants of Awareness to Invest in Shariah-based Private Retirement Scheme (PRS): The Case of Public University Students in Malaysia
by: Yahaya, Solehah, et al.
Published: (2017)

Toward process control from formal models of transformable manufacturing systems
by: Bakker, Otto Jan, et al.
Published: (2017)

Fragments of Gravity
by: Huitson, Nicole
Published: (2013)

Space fragmentation
by: Mohd Yunos, Mohd Yazid, et al.
Published: (2010)

Computational fluid dynamic (CFD) analysis of parachute canopies design for aludra SR-10 UAV as a parachute recovery systems (PRS)
by: Saim, Raudhah, et al.
Published: (2020)

Non-Symbolic Fragmentation
by: Ashman, Helen, et al.
Published: (2002)

Text fragment extraction using incremental evolving fuzzy grammar fragments learner
by: Mohd Sharef, Nurfadhlina, et al.
Published: (2010)

A new fragment of Euripides' Ino
by: Finglass, P.J.
Published: (2014)

Tesserae: essaying fragments of a life
by: Robertson, Rachel
Published: (2019)

The fragmentation of Indonesian film audience
by: Suwarto, Dyna Herlina, et al.
Published: (2021)

A commentary on the fragments of fourth-century tragedy
by: Sims, Thomas
Published: (2018)

Attribute-Based Semantic Type Detection and Data Quality Assessment
by: Silva, Marcelo Valentim, et al.
Published: (2024)

The fragments of the Roman historians: conventions and opportunities
by: Malloch, S.J.V.
Published: (2014)

Universal Scherrer equation for graphene fragments
by: Lim, D.J., et al.
Published: (2020)

Perth City Farm - fragments of history
by: Scott, R., et al.
Published: (2013)

Digital reconstructions and the geometry of temple fragments
by: Datta, Sambit
Published: (2007)

Computational studies on fragmentation of brittle materials
by: Ghosh, Arindam, et al.
Published: (2013)

Fragmentation of research papers: some commentaries
by: Yap, Chee Kong
Published: (2019)

Knowledge based semantic representation for semantic relatedness measurements
by: Ali Muttaleb, Hasan
Published: (2022)