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)


Results 41-60 of 79 (Search time: 0.007 seconds).

Author(s)TitleIssue DateAppears inRank
41Ilić, Velimir ; Stanković, Miomir Comments on “On q-non-extensive statistics with non-Tsallisian entropy”15-Jan-2017Physica A: Statistical Mechanics and its Applications; 466; 160-165M22
42Ognjanović, 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
43Krapež, Aleksandar ; Petrić, Zoran A note on semisymmetry1-Jan-2017Quasigroups and Related Systems; 25(2); 269-278
44Marinković, 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
45Žunić, Joviša ; Žunić, DragišaShape Interpretation of Second-Order Moment Invariants1-Sep-2016Journal of Mathematical Imaging and Vision; 56(1); 125-136M21a
46Krapež, Aleksandar ; Marinković, Bojan Isotopy invariant quasigroup identities1-Jan-2016Commentationes Mathematicae Universitatis Carolinae; 57(4); 537-547
47Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Yoshida, NobukoDenotational and operational preciseness of subtyping: A roadmap1-Jan-2016Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Frank de Boer on the Occasion of His 60th Birthday, 2016; Porto; Portugal; 5 July 2016 through 5 July 2016; 9660; 155-172M33
48Rosin, Paul; Pantović, Jovanka; Žunić, Joviša Measuring linearity of curves in 2D and 3D1-Jan-2016Pattern Recognition; 49; 65-78M21a
49Ehsani, Amir; Krapež, Aleksandar ; Movsisyan, YuriAlgebras with parastrophically uncancellable quasigroup equations1-Jan-2016Buletinul Academiei de Stiinte a Republicii Moldova. Matematica; 80(1); 41-63
50Rosin, Paul; Pantović, Jovanka; Žunić, Joviša Measuring Linearity of Connected Configurations of a Finite Number of 2D and 3D Curves3-Sep-2015Journal of Mathematical Imaging and Vision; 53(1); 1-11M21a
51Došen, Kosta ; Petrić, Zoran Weak cat-operads25-Mar-2015Logical Methods in Computer Science; 11(1)M22
52Savić, 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
53Doder, 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
54Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran ; Studer, ThomasFirst steps towards probabilistic justification logic1-Jan-2015Logic Journal of the IGPL; 23(4); 662-687M21
55Ilić-Stepić, Angelina ; Ognjanović, Zoran Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers1-Jan-2015Studia Logica; 1; 145-174M22
56Petrić, Zoran Segal's multisimplicial spaces1-Jan-2015Publications de l'Institut Mathematique; 97(111); 11-21M24
57Moconja, Slavko; Tanović, Predrag Asymmetric regular types1-Jan-2015Annals of Pure and Applied Logic; 166(2); 93-120M22
58Ilić, Dejan; Moconja, Slavko; Tanović, Predrag Groups with finitely many countable models1-Jan-2015Publications de l'Institut Mathematique; 97(111); 33-41M24
59Petrić, Zoran 270 Minutes on Categorial Proof Theory2015Logic in Computer Science; 18(26); 7-35M14
60Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, SilviaStructural rules and resource control in logic and computation2015Logic in Computer Science; 18(26); 79-109M14