Skip to main content

Research Repository

Advanced Search

All Outputs (1)

Model checking ontology-driven reasoning agents using strategy and abstraction (2019)
Journal Article
Rakib, A., & Faruqui, R. U. (2021). Model checking ontology-driven reasoning agents using strategy and abstraction. Concurrency and Computation: Practice and Experience, 33(2), Article e5205. https://doi.org/10.1002/cpe.5205

We present a framework for the modelling, specification and verification of ontology-driven multi-agent rule-based systems (MASs). We assume that each agent executes in a separate process and that they communicate via message passing. The proposed ap... Read More about Model checking ontology-driven reasoning agents using strategy and abstraction.