Now showing items 1-4 of 4

  • Rabbi, Fazle; Rutle, Adrian; Lamo, Yngve; Pun, Ka I (Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2019)
    Interoperability is accepted as a fundamental necessity for the successful realization of Healthcare Information Systems. It can be achieved by utilizing consistent standards defining syntactic and semantic meaning of the ...
  • Aminifar, Amin; Lamo, Yngve; Pun, Ka I; Rabbi, Fazle (Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2019)
    Hospitals, as data custodians, have the need to share a version of the data in hand with external research institutes for analysis purposes. For preserving the privacy of the patients, anonymization methods are employed ...
  • 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 ...