Search Results - Ramli, Carroline Dewi Puspa Kencana

  • Showing 1 - 6 results of 6
Refine Results
  1. 1
    A Core Method for the Weak Completion Semantics with Skeptical Abduction

    A Core Method for the Weak Completion Semantics with Skeptical Abduction by Dietz Saldanha, Emmanuelle-Anna, Hölldobler, Steffen, Kencana Ramli, Carroline Dewi Puspa, Palacios Medinacelli, Luis

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    The logic of XACML

    The logic of XACML by Ramli, Carroline Dewi Puspa Kencana, Nielson, Hanne Riis, Nielson, Flemming

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Smart grid security a Smart Meter-centric perspective

    Smart grid security a Smart Meter-centric perspective by Vigo, R., Yuksel, E., Ramli, C. D. P. K.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Detecting Incompleteness, Conflicting and Unreachability XACML Policies using Answer Set Programming

    Detecting Incompleteness, Conflicting and Unreachability XACML Policies using Answer Set Programming by Carroline Dewi Puspa Kencana Ramli

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    XACML 3.0 in Answer Set Programming

    XACML 3.0 in Answer Set Programming by Carroline Dewi Puspa Kencana Ramli, Nielson, Hanne Riis, Nielson, Flemming

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    The Logic of XACML - Extended

    The Logic of XACML - Extended by Carroline Dewi Puspa Kencana Ramli, Nielson, Hanne Riis, Nielson, Flemming

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: