Now showing items 1-2 of 2

  • 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 ...
  • 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 ...