Representations of logical structures and formal languages and their application in computing

View Statistics Email Alert

Primary Data

Project Acronym
PROJECT 174026
 
Project title
Representations of logical structures and formal languages and their application in computing
Project Coordinator
Co-Investigator(s)
Project URL
 
Start date
01-01-2011
Completion
31-12-2019
 

Grants

OA Mandate
 
Currency
EUR
 
Grant number
174026
 

Publications
(All)

Refined By:
Author:  Ognjanović, Zoran

Results 1-20 of 25 (Search time: 0.005 seconds).

Author(s)TitleIssue DateAppears inRank
1Tomović, Siniša ; Ognjanović, Zoran ; Doder, DraganA First-order Logic for Reasoning about Knowledge and Probability2-Feb-2020ACM Transactions on Computational Logic; 21(2); 16:1-16:30M22
2Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, NenadTowards Probabilistic Reasoning in Type Theory - The Intersection Type Case1-Jan-2020Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020; Dortmund; Germany; 17 February 2020 through 21 February 2020; 12012 LNCS; 122-139M33
3Doder, Dragan; Savić, Nenad; Ognjanović, Zoran Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities1-Jan-2020Journal of Logic, Language and Information; 29; 77-107M21
4Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola; Kos, Anton; Umek, AntonCorrectness of the chord protocol1-Jan-2020Computer Science and Information Systems; 17(1); 141-160M23
5Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Studer, ThomasA temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol1-Sep-2019Journal of Logic and Computation; 29(5); 803-830M21
6Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran Proving properties of the Chord protocol using the ASM formalism17-Jan-2019Theoretical Computer Science; 756; 64-93M23
7Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Doder, Dragan; Studer, ThomasProbabilistic consensus of the blockchain protocol1-Jan-2019Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019; Belgrade; Serbia; 18 September 2019 through 20 September 2019; 11726 LNAI; 469-480M33
8Ilić Stepic , Angelina ; Ognjanović, Zoran Logics to formalise p-adic valued probability and their applications4-May-2018International Journal of Parallel, Emergent and Distributed Systems; 33(3); 257-275M52
9Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, NenadProbabilistic reasoning about simply typed lambda terms1-Jan-2018Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Symposium on Logical Foundations of Computer Science, LFCS 2018; FL; United States; 8 January 2018 through 11 January 2018; 10703 LNCS; 170-189M33
10Doder, Dragan; Savić, Nenad; Ognjanović, Zoran A decidable multi-agent logic with iterations of upper and lower probability operators1-Jan-2018Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 10th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2018; Budapest; Hungary; 14 May 2018 through 18 May 2018; 10833 LNCS; 170-185M33
11Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, NenadTowards Probabilistic reasoning about simply typed lambda termsNov-2017Sedma nacionalna konferencija “Verovatnosne logike i njihove primene” ; Beograd, Srbija, 8. novembar 2017; 11-12
12Doder, Dragan; Ognjanović, Zoran Probabilistic Logics with Independence and Confirmation1-Oct-2017Studia Logica; 105(5); 943-969M22
13Savić, Nenad; Doder, Dragan; Ognjanović, Zoran Logics with lower and upper probability operators1-Sep-2017International Journal of Approximate Reasoning; 88; 148-168M21
14Ognjanović, Zoran ; Savić, Nenad; Studer, ThomasJustification logic with approximate conditional probabilities1-Jan-2017Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 6th International Workshop Logic, Rationality, and Interaction, LORI 2017, Sapporo, Japan, September 11–14, 2017, A. Baltag, J. Seligman, T. Yamada (Eds.); 10445 LNCS; 681-686M33
15Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola; Umek, AntonCorrectness of the Chord Protocol20-Oct-2016Proceedings - 2016 International Conference on Identification, Information and Knowledge in the Internet of Things, IIKI 2016; 2016 International Conference on Identification, Information and Knowledge in the Internet of Things, IIKI 2016; Beijing; China; 20 October 2016 through 21 October 2016; 547-552M33
16Savić, Nenad; Doder, Dragan; Ognjanović, Zoran A logic with upper and lower probability operators1-Jan-2015ISIPTA 2015 - Proceedings of the 9th International Symposium on Imprecise Probability: Theories and Applications; 9th International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2015; Pescara; Italy; 20 July 2015 through 24 July 2015; 267-276M33
17Doder, Dragan; Ognjanović, Zoran A probabilistic logic for reasoning about uncertain temporal information1-Jan-2015Uncertainty in Artificial Intelligence - Proceedings of the 31st Conference, UAI 2015; 31st Conference on Uncertainty in Artificial Intelligence, UAI 2015; Amsterdam; Netherlands; 12 July 2015 through 16 July 2015; 248-257M33
18Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran ; Studer, ThomasFirst steps towards probabilistic justification logic1-Jan-2015Logic Journal of the IGPL; 23(4); 662-687M21
19Ilić-Stepić, Angelina ; Ognjanović, Zoran Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers1-Jan-2015Studia Logica; 1; 145-174M22
20Ikodinović, Nebojša; Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran A first-order probabilistic logic with approximate conditional probabilities1-Jan-2014Logic Journal of the IGPL; 22(4); 539-564M21