Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Carroline Dewi Puspa Kencana Ramli"'
Autor:
Steffen Hölldobler, Emmanuelle-Anna Dietz Saldanha, Luis Palacios Medinacelli, Carroline Dewi Puspa Kencana Ramli
Publikováno v:
Journal of Artificial Intelligence Research. 63:51-86
The Weak Completion Semantics is a novel cognitive theory which has been successfully applied to the suppression task, the selection task, syllogistic reasoning, the belief bias effect, spatial reasoning as well as reasoning with conditionals. It is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b804b8b531c8c49b96b563d296a6f4fc
https://doi.org/10.1613/jair.1.11236
https://doi.org/10.1613/jair.1.11236
Autor:
Steffen Hölldobler, Emmanuelle-Anna Dietz Saldanha, Luis Palacios Medinacelli, Carroline Dewi Puspa Kencana Ramli
Publikováno v:
IJCAI
The Weak Completion Semantics is a novel cognitive theory which has been successfully applied -- among others -- to the suppression task, the selection task and syllogistic reasoning. It is based on logic programming with skeptical abduction. Each we
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b5555a04842a591dbf706c7dcafb750f
https://doi.org/10.24963/ijcai.2019/887
https://doi.org/10.24963/ijcai.2019/887
Publikováno v:
Logic-Based Program Synthesis and Transformation ISBN: 9783642381966
LOPSTR
LOPSTR
We present a systematic technique for transforming XACML 3.0 policies in Answer Set Programming (ASP). We show that the resulting logic program has a unique answer set that directly corresponds to our formalisation of the standard semantics of XACML
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c344e6e98e3d8e164b4b17178b55eaf4
https://doi.org/10.1007/978-3-642-38197-3_7
https://doi.org/10.1007/978-3-642-38197-3_7
Publikováno v:
2012 20th Telecommunications Forum (TELFOR).
The electricity grid is a key infrastructure for our society, therefore its security is a critical public concern. This physical system is becoming more and more complex as it is coupled with a cyber layer carrying information about power usage and c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4d622a5e4be278135f22f6802cf1dc04
https://doi.org/10.1109/telfor.2012.6419164
https://doi.org/10.1109/telfor.2012.6419164
Publikováno v:
Formal Aspects of Component Software ISBN: 9783642357428
FACS
Technical University of Denmark Orbit
Ramli, C D P K, Nielson, H R & Nielson, F 2011, The Logic of XACML . in Proceedings of FACS 2011 . 8th International Symposium on Formal Aspects of Component Software (FACS 2011), Oslo, Norway, 14/09/2011 .
FACS
Technical University of Denmark Orbit
Ramli, C D P K, Nielson, H R & Nielson, F 2011, The Logic of XACML . in Proceedings of FACS 2011 . 8th International Symposium on Formal Aspects of Component Software (FACS 2011), Oslo, Norway, 14/09/2011 .
We study the international standard XACML 3.0 for describing security access control policies in a compositional way. Our main contributions are (i) to derive a logic that precisely captures the intentions of the standard, (ii) to formally define a s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::791a3738e5c2f18702f6710a13173b17
https://doi.org/10.1007/978-3-642-35743-5_13
https://doi.org/10.1007/978-3-642-35743-5_13
Publikováno v:
Artificial Neural Networks – ICANN 2009 ISBN: 9783642042768
ICANN (2)
ICANN (2)
We propose to model human reasoning tasks using completed logic programs interpreted under the three-valued ***ukasiewicz semantics. Given an appropriate immediate consequence operator, completed logic programs admit a least model, which can be compu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::354f6aa6783f704518d8a733166c3dd4
https://doi.org/10.1007/978-3-642-04277-5_9
https://doi.org/10.1007/978-3-642-04277-5_9
Publikováno v:
Logic Programming ISBN: 9783642028458
ICLP
ICLP
If logic programs are interpreted over a three-valued logic, then often Kleene's strong three-valued logic with complete equivalence and Fitting's associated immediate consequence operator is used. However, in such a logic the least fixed point of th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::84ca77d8003c113bd72a28d155807df7
https://doi.org/10.1007/978-3-642-02846-5_37
https://doi.org/10.1007/978-3-642-02846-5_37