Aleksandar Perovic

According to our database, Aleksandar Perovic authored at least 32 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The Logic ILP for Intuitionistic Reasoning About Probability.

Angelina Ilic-Stepic, Zoran Ognjanovic, Aleksandar Perovic

Stud Logica, October, 2024

A Probabilistic Temporal Epistemic Logic: Strong Completeness.

Zoran Ognjanovic, Angelina Ilic-Stepic, Aleksandar Perovic

Log. J. IGPL, January, 2024

2023

Probability Logics for Reasoning About Quantum Observations.

Angelina Ilic-Stepic, Zoran Ognjanovic, Aleksandar Perovic

Logica Universalis, 2023

2020

Completeness theorems for <i>σ</i>-additive probabilistic semantics.

Nebojsa Ikodinovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic

Ann. Pure Appl. Log., 2020

2019

Generalization of Portmanteau Theorem for a sequence of interval-valued pseudo-probability measures.

Natasa Durakovic, Slavica Medic, Tatjana Grbic, Aleksandar Perovic, Ljubo Nedovic

Fuzzy Sets Syst., 2019

2016

Inequalities of Hölder and Minkowski type for pseudo-integrals with respect to interval-valued ⊕-measures.

Slavica Medic, Tatjana Grbic, Aleksandar Perovic, Svetlana Nikolicic

Fuzzy Sets Syst., 2016

Inequalities of the Chebyshev type based on pseudo-integrals.

Tatjana Grbic, Slavica Medic, Aleksandar Perovic, Mira Paskota, Sandra Buhmiler

Fuzzy Sets Syst., 2016

2015

Extracting noise contaminated information in multiple sources.

Obrad Kasum, Edin Dolicanin, Aleksandar Jovanovic, Aleksandar Perovic

Proceedings of the 13th IEEE International Symposium on Intelligent Systems and Informatics, 2015

2014

A propositional linear time logic with time flow isomorphic to ω².

Bojan Marinkovic, Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic

J. Appl. Log., 2014

Hierarchies of probabilistic logics.

Nebojsa Ikodinovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic

Int. J. Approx. Reason., 2014

A Note on Feature Extraction Based on Kanade-Shi-Tomasi Procedure and Kalman Filters.

Tatjana Grbic, Aleksandar Jovanovic, Slavica Medic, Aleksandar Perovic

Proceedings of the Speech and Computer - 16th International Conference, 2014

A specific spectroscopy of microscopic images with improved small object or artefact perception and manipulation.

Nebojsa Peric, Obrad Kasum, Aleksandar Jovanovic, Aleksandar Perovic

Proceedings of the IEEE 12th International Symposium on Intelligent Systems and Informatics, 2014

Interval-valued Chebyshev, Hölder and Minkowski inequalities based on g-integrals.

Slavica Medic, Tatjana Grbic, Aleksandar Perovic, Natasa Durakovic

Proceedings of the IEEE 12th International Symposium on Intelligent Systems and Informatics, 2014

Finitely Additive Probability Measures in Automated Medical Diagnostics.

Milica Knezevic, Zoran Ognjanovic, Aleksandar Perovic

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2014

2013

A Propositional Linear Time Logic with Time Flow Isomorphic to ω^2.

Bojan Marinkovic, Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic

CoRR, 2013

Structural features in brain signals and weak brain connectivity.

Aleksandar Jovanovic, Aleksandar Perovic

Proceedings of the IEEE 11th International Symposium on Intelligent Systems and Informatics, 2013

A First-Order Dynamic Probability Logic.

Zoran Ognjanovic, Aleksandar Perovic, Dragan Doder

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2013

2012

Formalising PFSQL queries using ŁΠ fuzzy logic.

Aleksandar Perovic, Aleksandar Takaci, Srdan Skrbic

Math. Struct. Comput. Sci., 2012

A p-adic probability logic.

Angelina Ilic-Stepic, Zoran Ognjanovic, Nebojsa Ikodinovic, Aleksandar Perovic

Math. Log. Q., 2012

A propositional probabilistic logic with discrete linear time for reasoning about evidence.

Zoran Ognjanovic, Zoran Markovic, Miodrag Raskovic, Dragan Doder, Aleksandar Perovic

Ann. Math. Artif. Intell., 2012

Brain connectivity measure - the direct transfer function - advantages and weak points.

Zoran Djordjevic, Aleksandar Jovanovic, Aleksandar Perovic

Proceedings of the 10th IEEE Jubilee International Symposium on Intelligent Systems and Informatics, 2012

On Real-Valued Evaluation of Propositional Formulas.

Aleksandar Perovic, Dragan Doder, Zoran Ognjanovic

Proceedings of the Foundations of Information and Knowledge Systems, 2012

2011

Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm.

Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Dragan G. Radojevic

Fuzzy Sets Syst., 2011

Probabilistic Approach to Nonmonotonic Consequence Relations.

Dragan Doder, Aleksandar Perovic, Zoran Ognjanovic

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

2010

Detection of Structural Features in Biological Signals.

Aleksandar Jovanovic, Aleksandar Perovic, Wlodzimierz Klonowski, Wlodzislaw Duch, Zoran Dordevic, Sladana Spasic

J. Signal Process. Syst., 2010

A Probabilistic Temporal Logic That Can Model Reasoning about Evidence.

Dragan Doder, Zoran Markovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic

Proceedings of the Foundations of Information and Knowledge Systems, 2010

2009

Some Computational Aspects of the Brain Computer Interfaces Based on Inner Music.

Wlodzimierz Klonowski, Wlodzislaw Duch, Aleksandar Perovic, Aleksandar Jovanovic

Comput. Intell. Neurosci., 2009

Qualitative Possibilities and Necessities.

Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

2008

Logics with the Qualitative Probability Operator.

Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic

Log. J. IGPL, 2008

How to Restore Compactness into Probabilistic Logics?.

Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

A Probabilistic Logic with Polynomial Weight Formulas.

Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic

Proceedings of the Foundations of Information and Knowledge Systems, 2008

Interpolative Boolean Logic.

Dragan G. Radojevic, Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic

Proceedings of the Artificial Intelligence: Methodology, 2008