Zobrazeno 1 - 10
of 94
pro vyhledávání: '"Zoran Ognjanović"'
Publikováno v:
Logica Universalis.
Publikováno v:
Logic Journal of the IGPL.
The paper offers a formalization of reasoning about distributed multi-agent systems. The presented propositional probabilistic temporal epistemic logic $\textbf {PTEL}$ is developed in full detail: syntax, semantics, soundness and strong completeness
Publikováno v:
Annals of Mathematics and Artificial Intelligence. 89:471-509
This paper presents a novel approach to automated reasoning in System P. System P axiomatizes a set of core properties that describe reasoning with defeasible assertions (defaults) of the form: if α then normally (usually or typically) β. A logic w
Publikováno v:
Mathematical Logic Quarterly
We give sound and complete axiomatization of a probabilistic extension of intuitionistic logic. Reasoning with probability operators, unlike other works on this topic, is also intuitionistic, that is, measure functions used for modeling probability o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f3e7aa522f1a9066c6c8554c44c7533d
https://grafar.grf.bg.ac.rs/handle/123456789/2961
https://grafar.grf.bg.ac.rs/handle/123456789/2961
Publikováno v:
Computer Science and Information Systems. 17:141-160
Internet of Things (IoT) can be seen as a cooperation of various devices with limited performances that participate in the same system. IoT devices compose a distributed architecture system. The core of every IoT system is its discovery and control s
Publikováno v:
Logical Foundations of Computer Science ISBN: 9783030930998
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a2b79b743ac25ffe3065efcac2a959cb
https://doi.org/10.1007/978-3-030-93100-1_10
https://doi.org/10.1007/978-3-030-93100-1_10
Publikováno v:
Doder, Dragan; Savic, Nenad; Ognjanovic, Zoran (2019). Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities. Journal of logic, language and information, 29(1), pp. 77-107. Springer Netherlands 10.1007/s10849-019-09301-7
We present a propositional and a first-order logic for reasoning about higher-order upper and lower probabilities. We provide sound and complete axiomatizations for the logics and we prove decidability in the propositional case. Furthermore, we show
Publikováno v:
Journal of Logic and Computation. 29:803-830
In this paper we provide a strongly complete axiomatization of a temporal epistemic logic in which non-rigid sets of agents are allowed. Using this framework, we prove a number of properties of the blockchain protocol with respect to the given set of
Publikováno v:
International Journal of Approximate Reasoning. 138:76-77