Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Van Hertum, Pieter"'
In this paper we define and study a multi-agent extension of autoepistemic logic (AEL) called distributed autoepistemic logic (dAEL). We define the semantics of dAEL using approximation fixpoint theory, an abstract algebraic framework that unifies di
Externí odkaz:
http://arxiv.org/abs/2306.02774
In ownership-based access control frameworks with the possibility of delegating permissions and administrative rights, delegation chains will form. There are different ways to treat delegation chains when revoking rights, which give rise to different
Externí odkaz:
http://arxiv.org/abs/1908.11132
The knowledge base paradigm aims to express domain knowledge in a rich formal language, and to use this domain knowledge as a knowledge base to solve various problems and tasks that arise in the domain by applying multiple forms of inference. As such
Externí odkaz:
http://arxiv.org/abs/1605.01846
In ownership-based access control frameworks with the possibility of delegating permissions and administrative rights, chains of delegated accesses will form. There are different ways to treat these delegation chains when revoking rights, which give
Externí odkaz:
http://arxiv.org/abs/1405.1584
Autor:
Van Hertum, Pieter
In Artificial Intelligence, the scientific field of Knowledge Representation and Reasoning (KRR) is concerned with developing formal languages, to represent knowledge, and inference methods to solve tasks using that knowledge. Most of the existing ap
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1131::0b37eb795206a79f73a379e977d291e6
https://lirias.kuleuven.be/handle/123456789/551798
https://lirias.kuleuven.be/handle/123456789/551798
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Van Hertum, Pieter
ispartof: pages:253-254 ispartof: Lecture Notes in Computer Science vol:8741 pages:253-254 ispartof: 8th International Conference on Web Reasoning and Rule Systems (RR) location:Athens date:15 Sep - 17 Sep 2014 status: published
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1131::da8a4bb95703c0af95d0df0c75f0fdab
https://lirias.kuleuven.be/handle/123456789/463011
https://lirias.kuleuven.be/handle/123456789/463011
A long term goal in knowledge representation is the development of a knowledge based system (KBS). A KBS stores knowledge in a completely declarative way and is equipped with various domain independent inference methods to perform different reasoning
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1131::e6c41e11bdd36503202be6a2b093d5d1
https://lirias.kuleuven.be/handle/123456789/430934
https://lirias.kuleuven.be/handle/123456789/430934
A long term goal in knowledge representation is the development of a knowledge based system (KBS). A KBS stores knowledge in a completely declarative way and is equipped with various domain independent inference methods to perform different reasoning
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1131::ea58d2661ce81f10c077b379d13448d3
https://lirias.kuleuven.be/handle/123456789/404128
https://lirias.kuleuven.be/handle/123456789/404128
Publikováno v:
Practical Aspects of Declarative Languages: 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings; 2016, p13-29, 17p
