Now showing items 1-2 of 2
(Journal article / Tidsskriftartikkel / AcceptedVersion; 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 ...
Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2017)
Abstract: Distributed systems modelling often involves a set of heterogeneous models where each model specifies a set of local constraints capturing a specific view of the system. In real life, distributed systems are often ...