Browsing Institutt for datateknologi, elektroteknologi og realfag by Subject "knowledge base"
Now showing items 1-1 of 1
-
An MDE Approach for Modelling and Reasoning about Multi-agent Systems
(Journal article; Peer reviewed, 2017)Epistemic logic plays an important role in artificial intelligence for reasoning about multi-agent systems. Current approaches for modelling multi-agent systems with epistemic logic use Kripke semantics where the knowledge ...