Aleksandar Perovic

33 papers B 1C 3Misc 6Journal 18Unranked 5
YearRankTypeTitle / Venue / Authors
2024 J jnl
A Probabilistic Temporal Epistemic Logic: Strong Completeness.
Log. J. IGPL
Zoran Ognjanovic, Angelina Ilic-Stepic, Aleksandar Perovic
2024 J jnl
A probabilistic temporal epistemic logic: Decidability.
Log. J. IGPL
Zoran Ognjanovic, Angelina Ilic-Stepic, Aleksandar Perovic
2024 J jnl
The Logic ILP for Intuitionistic Reasoning About Probability.
Stud Logica
Angelina Ilic-Stepic, Zoran Ognjanovic, Aleksandar Perovic
2023 J jnl
Probability Logics for Reasoning About Quantum Observations.
Logica Universalis
Angelina Ilic-Stepic, Zoran Ognjanovic, Aleksandar Perovic
2020 J jnl
Completeness theorems for
Ann. Pure Appl. Log.
Nebojsa Ikodinovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic
2019 J jnl
Generalization of Portmanteau Theorem for a sequence of interval-valued pseudo-probability measures.
Fuzzy Sets Syst.
Natasa Durakovic, Slavica Medic, Tatjana Grbic, Aleksandar Perovic, Ljubo Nedovic
2016 J jnl
Inequalities of Hölder and Minkowski type for pseudo-integrals with respect to interval-valued ⊕-measures.
Fuzzy Sets Syst.
Slavica Medic, Tatjana Grbic, Aleksandar Perovic, Svetlana Nikolicic
2016 J jnl
Inequalities of the Chebyshev type based on pseudo-integrals.
Fuzzy Sets Syst.
Tatjana Grbic, Slavica Medic, Aleksandar Perovic, Mira Paskota, Sandra Buhmiler
2015 Misc conf
Extracting noise contaminated information in multiple sources.
SISY
Obrad Kasum, Edin Dolicanin, Aleksandar Jovanovic, Aleksandar Perovic
2014 — conf
A Note on Feature Extraction Based on Kanade-Shi-Tomasi Procedure and Kalman Filters.
SPECOM
Tatjana Grbic, Aleksandar Jovanovic, Slavica Medic, Aleksandar Perovic
2014 J jnl
A propositional linear time logic with time flow isomorphic to ω
J. Appl. Log.
Bojan Marinkovic, Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic
2014 Misc conf
A specific spectroscopy of microscopic images with improved small object or artefact perception and manipulation.
SISY
Nebojsa Peric, Obrad Kasum, Aleksandar Jovanovic, Aleksandar Perovic
2014 — conf
Finitely Additive Probability Measures in Automated Medical Diagnostics.
IPMU (2)
Milica Knezevic, Zoran Ognjanovic, Aleksandar Perovic
2014 J jnl
Hierarchies of probabilistic logics.
Int. J. Approx. Reason.
Nebojsa Ikodinovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic
2014 Misc conf
Interval-valued Chebyshev, Hölder and Minkowski inequalities based on g-integrals.
SISY
Slavica Medic, Tatjana Grbic, Aleksandar Perovic, Natasa Durakovic
2013 C conf
A First-Order Dynamic Probability Logic.
ECSQARU
Zoran Ognjanovic, Aleksandar Perovic, Dragan Doder
2013 J jnl
A Propositional Linear Time Logic with Time Flow Isomorphic to ω^2.
CoRR
Bojan Marinkovic, Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic
2013 Misc conf
Structural features in brain signals and weak brain connectivity.
SISY
Aleksandar Jovanovic, Aleksandar Perovic
2012 J jnl
A p-adic probability logic.
Math. Log. Q.
Angelina Ilic-Stepic, Zoran Ognjanovic, Nebojsa Ikodinovic, Aleksandar Perovic
2012 J jnl
A propositional probabilistic logic with discrete linear time for reasoning about evidence.
Ann. Math. Artif. Intell.
Zoran Ognjanovic, Zoran Markovic, Miodrag Raskovic, Dragan Doder, Aleksandar Perovic
2012 Misc conf
Brain connectivity measure - the direct transfer function - advantages and weak points.
SISY
Zoran Djordjevic, Aleksandar Jovanovic, Aleksandar Perovic
2012 J jnl
Formalising PFSQL queries using ŁΠ fuzzy logic.
Math. Struct. Comput. Sci.
Aleksandar Perovic, Aleksandar Takaci, Srdan Skrbic
2012 — conf
On Real-Valued Evaluation of Propositional Formulas.
FoIKS
Aleksandar Perovic, Dragan Doder, Zoran Ognjanovic
2011 J jnl
Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm.
Fuzzy Sets Syst.
Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Dragan G. Radojevic
2011 C conf
Probabilistic Approach to Nonmonotonic Consequence Relations.
ECSQARU
Dragan Doder, Aleksandar Perovic, Zoran Ognjanovic
2010 — conf
A Probabilistic Temporal Logic That Can Model Reasoning about Evidence.
FoIKS
Dragan Doder, Zoran Markovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic
2010 J jnl
Detection of Structural Features in Biological Signals.
J. Signal Process. Syst.
Aleksandar Jovanovic, Aleksandar Perovic, Wlodzimierz Klonowski, Wlodzislaw Duch, Zoran Dordevic, Sladana Spasic
2009 C conf
Qualitative Possibilities and Necessities.
ECSQARU
Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic
2009 J jnl
Some Computational Aspects of the Brain Computer Interfaces Based on Inner Music.
Comput. Intell. Neurosci.
Wlodzimierz Klonowski, Wlodzislaw Duch, Aleksandar Perovic, Aleksandar Jovanovic
2008 — conf
A Probabilistic Logic with Polynomial Weight Formulas.
FoIKS
Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic
2008 B conf
How to Restore Compactness into Probabilistic Logics?.
JELIA
Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic
2008 Misc conf
Interpolative Boolean Logic.
AIMSA
Dragan G. Radojevic, Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic
2008 J jnl
Logics with the Qualitative Probability Operator.
Log. J. IGPL
Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic