Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Reasoning about belief and knowledge"'
We present a first-order probabilistic epistemic logic, which allows combining operators of knowledge and probability within a group of possibly infinitely many agents. The proposed framework is the first order extension of the logic of Fagin and Hal
Externí odkaz:
http://arxiv.org/abs/1901.06886
This report documents the programme and outcomes of Dagstuhl Seminar 22372 "Knowledge Graphs and their Role in the Knowledge Engineering of the 21st Century" held in September 2022. The seminar aimed to gain a better understanding of the way knowledg
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::139f5c8e075908ab79548012cb6c404b
This paper investigates how null messages can transfer information in fault-prone synchronous systems. The notion of an f-resilient message block is defined and is shown to capture the fundamental communication pattern for knowledge transfer. In gene
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::365445b757a99302b3ccc0a801e12beb
Publikováno v:
CIKM 2019-28th ACM International Conference on Information and Knowledge Management
CIKM 2019-28th ACM International Conference on Information and Knowledge Management, Nov 2019, Beijing, China. ⟨10.1145/3357384.3357851⟩
CIKM
CIKM 2019-28th ACM International Conference on Information and Knowledge Management, Nov 2019, Beijing, China. ⟨10.1145/3357384.3357851⟩
CIKM
International audience; An important class of journalistic fact-checking scenarios [2] involves verifying the claims and knowledge of different actors at different moments in time. Claims may be about facts, or about other claims, leading to chains o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fb542ddc3274dfcbc7f5cb8e03475f6b
https://inria.hal.science/hal-02269134/document
https://inria.hal.science/hal-02269134/document
We present a first-order probabilistic epistemic logic, which allows combining operators of knowledge and probability within a group of possibly infinitely many agents. The proposed framework is the first order extension of the logic of Fagin and Hal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::50ca0a3ae39bfc6a4601dd18acbc8a74
http://arxiv.org/abs/1901.06886
http://arxiv.org/abs/1901.06886
3D models of transportation objects like a road, bridge, underpass, etc. are required in many domains including military training, land development, etc. While remote sensed images and LiDaR data can be used to create approximate 3D representations,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::46bc04a578104d6ec20a170580adc236
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.
Publikováno v:
Artificial Intelligence. 173(16-17):1525-1537
In this paper we study a formal notion of knowledge forgetting in S5 modal logic. We propose four postulates and prove that these postulates precisely characterize both semantic and logical properties of knowledge forgetting. We then investigate poss
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0d67ad721f54bc714281876747750784
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.
Publikováno v:
Journal of Applied Logic. (4):250-273
The use of rational agents for modelling real world problems has both been heavily investigated and become well accepted, with BDI (Beliefs, Desires, and Intentions) Logic being a widely used architecture to represent and reason about rational agency
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cbfbfa718ae1fff242d6d1336e6c222e