![](/img/cover-not-exists.png)
Model checking ontology‐driven reasoning agents using strategy and abstraction
Rakib, Abdur, Faruqui, Rokan UddinLanguage:
english
Journal:
Concurrency and Computation: Practice and Experience
DOI:
10.1002/cpe.5205
Date:
April, 2019
File:
PDF, 1.38 MB
english, 2019