Претрага
Резултати
A Probabilistic Temporal Epistemic Logic: Strong Completeness (✓) [2024]
Ognjanović, Zoran
; Ilić Stepić, Angelina ; Perović, Aleksandar
A first-order conditional probability logic [2012]
Milosevic, M.; Ognjanović, Zoran
Secure JAVA application in SOA-based cross-border PKI mobile government systems [2013]
Markovic, Milan; Djordjevic, GoranAnomaly detection based on one-class intelligent techniques over a control level plant [2020]
Jove, Esteban; Casteleiro-Roca, Jose-Luis; Quintian, Hector; Simic, Dragan P; Mendez-Perez, Juan-Albino; Calvo-Rolle, Jose LuisA note on probabilistic validity measure in propositional calculi (✓) [1995]
Boričić, Branislav
A novel fuzzy metaheuristic approach in nurse rerostering problem [2020]
Simic, Svetlana S ; Corchado, Emilio; Simic, Dragan P; Djordjevic, Jovanka; Simic, Svetislav D
Insolvency prediction for assessing corporate financial health [2012]
Simic, Dragan P; Kovacevic, Ilija M; Simic, Svetlana S
A note on the system GRW with the intensional contraction rule (✓) [2021]
Ilić, Mirjana ; Boričić, Branislav
First steps towards probabilistic justification logic [2015]
Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran ; Studer, Thomas
A cut-free sequent calculus for relevant logic RW [2014]
Ilić, Mirjana ; Boričić, Branislav
Филтери
По типу
- 22