Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Miodrag Raskovic
@article{DBLP:journals/apal/IkodinovicOPR20,
author = {Nebojsa Ikodinovic and
Zoran Ognjanovic and
Aleksandar Perovic and
Miodrag Raskovic},
title = {Completeness theorems for \emph{{\(\sigma\)}}-additive probabilistic
semantics},
journal = {Ann. Pure Appl. Log.},
volume = {171},
number = {4},
pages = {102755},
year = {2020},
url = {https://doi.org/10.1016/j.apal.2019.102755},
doi = {10.1016/J.APAL.2019.102755},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/IkodinovicOPR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/OgnjanovicRM16,
author = {Zoran Ognjanovic and
Miodrag Raskovic and
Zoran Markovic},
title = {Probability Logics - Probability-Based Formalization of Uncertain
Reasoning},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47012-2},
doi = {10.1007/978-3-319-47012-2},
isbn = {978-3-319-47011-5},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/OgnjanovicRM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/IkodinovicRMO14,
author = {Nebojsa Ikodinovic and
Miodrag Raskovic and
Zoran Markovic and
Zoran Ognjanovic},
title = {A first-order probabilistic logic with approximate conditional probabilities},
journal = {Log. J. {IGPL}},
volume = {22},
number = {4},
pages = {539--564},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt048},
doi = {10.1093/JIGPAL/JZT048},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/IkodinovicRMO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/IkodinovicOPR14,
author = {Nebojsa Ikodinovic and
Zoran Ognjanovic and
Aleksandar Perovic and
Miodrag Raskovic},
title = {Hierarchies of probabilistic logics},
journal = {Int. J. Approx. Reason.},
volume = {55},
number = {9},
pages = {1830--1842},
year = {2014},
url = {https://doi.org/10.1016/j.ijar.2014.03.006},
doi = {10.1016/J.IJAR.2014.03.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/IkodinovicOPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/IkodinovicRMO13,
author = {Nebojsa Ikodinovic and
Miodrag Raskovic and
Zoran Markovic and
Zoran Ognjanovic},
title = {Logics with Generalized Measure Operators},
journal = {J. Multiple Valued Log. Soft Comput.},
volume = {20},
number = {5-6},
pages = {527--555},
year = {2013},
url = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-20-number-5-6-2013/mvlsc-20-5-6-p-527-555/},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mvl/IkodinovicRMO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/OgnjanovicMRDP12,
author = {Zoran Ognjanovic and
Zoran Markovic and
Miodrag Raskovic and
Dragan Doder and
Aleksandar Perovic},
title = {A propositional probabilistic logic with discrete linear time for
reasoning about evidence},
journal = {Ann. Math. Artif. Intell.},
volume = {65},
number = {2-3},
pages = {217--243},
year = {2012},
url = {https://doi.org/10.1007/s10472-012-9307-9},
doi = {10.1007/S10472-012-9307-9},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/OgnjanovicMRDP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/PerovicORR11,
author = {Aleksandar Perovic and
Zoran Ognjanovic and
Miodrag Raskovic and
Dragan G. Radojevic},
title = {Finitely additive probability measures on classical propositional
formulas definable by G{\"{o}}del's t-norm and product t-norm},
journal = {Fuzzy Sets Syst.},
volume = {169},
number = {1},
pages = {65--90},
year = {2011},
url = {https://doi.org/10.1016/j.fss.2010.10.007},
doi = {10.1016/J.FSS.2010.10.007},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/PerovicORR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/DoderRMO10,
author = {Dragan Doder and
Miodrag Raskovic and
Zoran Markovic and
Zoran Ognjanovic},
title = {Measures of inconsistency and defaults},
journal = {Int. J. Approx. Reason.},
volume = {51},
number = {7},
pages = {832--845},
year = {2010},
url = {https://doi.org/10.1016/j.ijar.2010.05.007},
doi = {10.1016/J.IJAR.2010.05.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/DoderRMO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/DoderMOPR09,
author = {Dragan Doder and
Zoran Markovic and
Zoran Ognjanovic and
Aleksandar Perovic and
Miodrag Raskovic},
editor = {Sebastian Link and
Henri Prade},
title = {A Probabilistic Temporal Logic That Can Model Reasoning about Evidence},
booktitle = {Foundations of Information and Knowledge Systems, 6th International
Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5956},
pages = {9--24},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11829-6\_4},
doi = {10.1007/978-3-642-11829-6\_4},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/foiks/DoderMOPR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/PerovicORM09,
author = {Aleksandar Perovic and
Zoran Ognjanovic and
Miodrag Raskovic and
Zoran Markovic},
editor = {Claudio Sossai and
Gaetano Chemello},
title = {Qualitative Possibilities and Necessities},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
10th European Conference, {ECSQARU} 2009, Verona, Italy, July 1-3,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5590},
pages = {651--662},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02906-6\_56},
doi = {10.1007/978-3-642-02906-6\_56},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/PerovicORM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/OgnjanovicPR08,
author = {Zoran Ognjanovic and
Aleksandar Perovic and
Miodrag Raskovic},
title = {Logics with the Qualitative Probability Operator},
journal = {Log. J. {IGPL}},
volume = {16},
number = {2},
pages = {105--120},
year = {2008},
url = {https://doi.org/10.1093/jigpal/jzm031},
doi = {10.1093/JIGPAL/JZM031},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/OgnjanovicPR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/RaskovicMO08,
author = {Miodrag Raskovic and
Zoran Markovic and
Zoran Ognjanovic},
title = {A logic with approximate conditional probabilities that can model
default reasoning},
journal = {Int. J. Approx. Reason.},
volume = {49},
number = {1},
pages = {52--66},
year = {2008},
url = {https://doi.org/10.1016/j.ijar.2007.08.006},
doi = {10.1016/J.IJAR.2007.08.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/RaskovicMO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/RadojevicPOR08,
author = {Dragan G. Radojevic and
Aleksandar Perovic and
Zoran Ognjanovic and
Miodrag Raskovic},
editor = {Danail Dochev and
Marco Pistore and
Paolo Traverso},
title = {Interpolative Boolean Logic},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 13th
International Conference, {AIMSA} 2008, Varna, Bulgaria, September
4-6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5253},
pages = {209--219},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85776-1\_18},
doi = {10.1007/978-3-540-85776-1\_18},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/aimsa/RadojevicPOR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/PerovicORM08,
author = {Aleksandar Perovic and
Zoran Ognjanovic and
Miodrag Raskovic and
Zoran Markovic},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {A Probabilistic Logic with Polynomial Weight Formulas},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {239--252},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_17},
doi = {10.1007/978-3-540-77684-0\_17},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/foiks/PerovicORM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/PerovicORM08,
author = {Aleksandar Perovic and
Zoran Ognjanovic and
Miodrag Raskovic and
Zoran Markovic},
editor = {Steffen H{\"{o}}lldobler and
Carsten Lutz and
Heinrich Wansing},
title = {How to Restore Compactness into Probabilistic Logics?},
booktitle = {Logics in Artificial Intelligence, 11th European Conference, {JELIA}
2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5293},
pages = {338--348},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87803-2\_28},
doi = {10.1007/978-3-540-87803-2\_28},
timestamp = {Tue, 29 Dec 2020 18:34:12 +0100},
biburl = {https://dblp.org/rec/conf/jelia/PerovicORM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/IkodinovicRMO07,
author = {Nebojsa Ikodinovic and
Miodrag Raskovic and
Zoran Markovic and
Zoran Ognjanovic},
editor = {Khaled Mellouli},
title = {Measure Logic},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
9th European Conference, {ECSQARU} 2007, Hammamet, Tunisia, October
31 - November 2, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4724},
pages = {128--138},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75256-1\_14},
doi = {10.1007/978-3-540-75256-1\_14},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/IkodinovicRMO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/DordevicRO04,
author = {Radosav S. Dordevic and
Miodrag Raskovic and
Zoran Ognjanovic},
title = {Completeness theorem for propositional probabilistic models whose
measures have only finite ranges},
journal = {Arch. Math. Log.},
volume = {43},
number = {4},
pages = {557--564},
year = {2004},
url = {https://doi.org/10.1007/s00153-004-0217-3},
doi = {10.1007/S00153-004-0217-3},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/DordevicRO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/RaskovicOM04,
author = {Miodrag Raskovic and
Zoran Ognjanovic and
Zoran Markovic},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Jo{\~{a}}o Alexandre Leite},
title = {A Logic with Conditional Probabilities},
booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3229},
pages = {226--238},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30227-8\_21},
doi = {10.1007/978-3-540-30227-8\_21},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/RaskovicOM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/RaskovicOM04,
author = {Miodrag Raskovic and
Zoran Ognjanovic and
Zoran Markovic},
editor = {James P. Delgrande and
Torsten Schaub},
title = {A probabilistic approach to default reasoning},
booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
Whistler, Canada, June 6-8, 2004, Proceedings},
pages = {335--341},
year = {2004},
url = {http://www.pims.math.ca/science/2004/NMR/papers/paper44.pdf},
timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
biburl = {https://dblp.org/rec/conf/nmr/RaskovicOM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/MarkovicOR03,
author = {Zoran Markovic and
Zoran Ognjanovic and
Miodrag Raskovic},
title = {A probabilistic extension of intuitionistic logic},
journal = {Math. Log. Q.},
volume = {49},
number = {4},
pages = {415--424},
year = {2003},
url = {https://doi.org/10.1002/malq.200310044},
doi = {10.1002/MALQ.200310044},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/MarkovicOR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/OgnjanovicR00,
author = {Zoran Ognjanovic and
Miodrag Raskovic},
title = {Some first-order probability logics},
journal = {Theor. Comput. Sci.},
volume = {247},
number = {1-2},
pages = {191--212},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(98)00341-7},
doi = {10.1016/S0304-3975(98)00341-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/OgnjanovicR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/OgnjanovicR99,
author = {Zoran Ognjanovic and
Miodrag Raskovic},
title = {Some Probability Logics with New Types of Probability Operators},
journal = {J. Log. Comput.},
volume = {9},
number = {2},
pages = {181--195},
year = {1999},
url = {https://doi.org/10.1093/logcom/9.2.181},
doi = {10.1093/LOGCOM/9.2.181},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/OgnjanovicR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Raskovic86,
author = {Miodrag Raskovic},
title = {Completeness Theorem for Biprobability Models},
journal = {J. Symb. Log.},
volume = {51},
number = {3},
pages = {586--590},
year = {1986},
url = {https://doi.org/10.2307/2274015},
doi = {10.2307/2274015},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Raskovic86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/RaskovicZ86,
author = {Miodrag Raskovic and
Rade T. Zivaljevic},
title = {Barwise Completeness Theorems for Some Biprobability Logics},
journal = {Math. Log. Q.},
volume = {32},
number = {7-9},
pages = {133--135},
year = {1986},
url = {https://doi.org/10.1002/malq.19860320706},
doi = {10.1002/MALQ.19860320706},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/RaskovicZ86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
