Methods of Mathematical Logic for Decision Support in Real Life Situations

View Statistics Email Alert

Primary Data

Project Acronym
PROJECT 1379
 
Project title
Methods of Mathematical Logic for Decision Support in Real Life Situations
Project Coordinator
Co-Investigator(s)
Start date
01-01-2002
Completion
31-12-2005
 

Publications
(All)

Results 1-6 of 6 (Search time: 0.003 seconds).

Author(s)TitleIssue DateAppears inRank
1Ikodinović, Nebojša; Ognjanović, Zoran A logic with coherent conditional probabilities1-Jan-2005Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2005; Barcelona; Spain; 6 July 2005 through 8 July 2005; 3571; 726-736M22
2Ognjanović, Zoran ; Midić, Uroš; Mladenović, Nenad A hybrid genetic and variable neighborhood descent for probabilistic SAT problem1-Jan-2005Lecture Notes in Computer Science; Second International Worshop on Hybrid Metaheuristics, HM 2005; Barcelona; Spain; 29 August 2005 through 30 August 2005; 3636; 42-53M22
3Đordević, Radosav; Rašković, Miodrag ; Ognjanović, Zoran Completeness theorem for propositional probabilistic models whose measures have only finite ranges1-Jan-2004Archive for Mathematical Logic; 43; 557-563M22
4Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag A probabilistic extension of intuitionistic logic1-Jan-2003Mathematical Logic Quarterly; 49(4); 415-424M22
5Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag An intuitionistic logic with probabilistic operators2003Publications de l'Institut Mathematique; 73(87); 31-38M24
6Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag A probabilistic logic based on propositional intuitionistic logic200237th International scientific conference on information, communication and energy systems and technologies, ISECST 2002, 1-4 October 2002, Niš, Jugoslavia; 784-787M33