Browsing Institutt for informatikk by Author "Rabbi, Fazle"

Now showing items 1-2 of 2

  • An MDE Approach for Modelling and Reasoning about Multi-agent Systems 
    Rabbi, Fazle; Lamo, Yngve; Kristensen, Lars Michael (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 
    Rabbi, Fazle; Kristensen, Lars Michael; Lamo, Yngve (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 ...