Carroline Dewi Puspa Kencana Ramli

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 2

Top Topics

Haplotype Inference

Answer Set Programming

Causal Theories

Top Venues

Sci. Comput. Program.

J. Artif. Intell. Res.

Publications

Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli, Luis Palacios Medinacelli
A Core Method for the Weak Completion Semantics with Skeptical Abduction (Extended Abstract). IJCAI (2019)
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli, Luis Palacios Medinacelli
A Core Method for the Weak Completion Semantics with Skeptical Abduction. J. Artif. Intell. Res. 63 (2018)
Carroline Dewi Puspa Kencana Ramli
Detecting Incompleteness, Conflicting and Unreachability XACML Policies using Answer Set Programming. CoRR (2015)
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
The logic of XACML. Sci. Comput. Program. 83 (2014)
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
XACML 3.0 in Answer Set Programming. LOPSTR (2012)
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
XACML 3.0 in Answer Set Programming CoRR (2012)
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
The Logic of XACML. FACS (2011)
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
The Logic of XACML - Extended CoRR (2011)
Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli
Logics and Networks for Human Reasoning. ICANN (2) (2009)
Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli
Logic Programs under Three-Valued Lukasiewicz Semantics. ICLP (2009)