Result 1 to 20 of 21 total
A logic with conditional probability operators. (English)
Publ. Inst. Math., Nouv. Sér. 87(101), 85-96 (2010).
1
A propositional $p$-adic probability logic. (English)
Publ. Inst. Math., Nouv. Sér. 87(101), 75-83 (2010).
2
Reasoning in basic description logics and description logics with modal operators. (English)
Ognjanović, Zoran (ed.), Logic in computer science. Beograd: Matematički Institut SANU (ISBN 978-86-80593-40-1/pbk). Zbornik Radova (Beograd) 12(20), 113-158 (2009).
3
Density of smooth Boolean functions. (English)
Appl. Anal. Discrete Math. 1, No. 1, 184-198 (2007).
4
Disjunction in modal description logics. (English)
Publ. Inst. Math., Nouv. Sér. 82(96), 25-35 (2007).
5
Resolution methods in proving the program correctness. (English)
Yugosl. J. Oper. Res. 17, No. 2, 275-285 (2007).
6
Knowledge representation for natural language understanding. (English)
Facta Univ., Ser. Math. Inf. 21, 93-104 (2006).
7
Implementation of BASELOG editor module for first-order predicate calculus formula transformation. (English)
Krejić, N. (ed.) et al., PRIM 2004. Proceedings of the XVI conference on applied mathematics, Budva, Montenegro, May 31‒June 4, 2004. Novi Sad: Univ. of Novi Sad, Faculty of Science, Department of Mathematics and Informatics. 203-216 (2006).
8
Interpolative relations and interpolative preference structures. (English)
Yugosl. J. Oper. Res. 15, No. 2, 171-189 (2005).
9
ProRank-software for partial order ranking. (English)
MATCH Commun. Math. Comput. Chem. 54, No. 3, 611-622 (2005).
10
A first-order logic for multi-algebras. (English)
Novi Sad J. Math. 34, No. 2, 27-36 (2004).
11
A mathematical programming formulation for the multiprocessor scheduling problem with communication delays. (English)
Mladenović, Nenad (ed.) et al., 30th Yugoslavian symposium on operations research, SYM-OP-IS 2003. Proceedings, Herceg Novi, Yugoslavia, September 30‒October 3, 2003. Beograd: Matematički Institut SANU (ISBN 86-80593-33-8). 331-334 (2003).
12
Benchmarking scheduling algorithms. (English)
Mladenović, Nenad (ed.) et al., 30th Yugoslavian symposium on operations research, SYM-OP-IS 2003. Proceedings, Herceg Novi, Yugoslavia, September 30‒October 3, 2003. Beograd: Matematički Institut SANU (ISBN 86-80593-33-8). 307-310 (2003).
13
Parallel evolutionary algorithm web service. (Serbian)
Mladenović, Nenad (ed.) et al., 30th Yugoslavian symposium on operations research, SYM-OP-IS 2003. Proceedings, Herceg Novi, Yugoslavia, September 30‒October 3, 2003. Beograd: Matematički Institut SANU (ISBN 86-80593-33-8). 299-302 (2003).
14
(Fuzzy) expert systems in medicine ‒ a historical survey. (English)
Krejić, N. (ed.) et al., PRIM 2002. Proceedings of the XV conference on applied mathematics, Zlatibor, Yugoslavia, May 26‒May 31, 2002. Novi Sad: Univ. of Novi Sad, Faculty of Science, Department of mathematics and Informatics. 95-103 (2002).
15
Symbolic derivation without using expression trees. (English)
Yugosl. J. Oper. Res. 11, No. 1, 61-75 (2001).
16
Exploration-exploitation trade-off in machine learning. (English)
Facta Univ., Ser. Electron. Energ. 14, No.1, 67-90 (2001).
17
Work of Slaviša Prešić in artificial intelligence. (English)
Krapež, A., A tribute to S. B. Prešić. Papers celebrating his 65th birthday. Beograd: Matematički Institut SANU, 15-19 (2001).
18
Coupling of artificial intelligence methods in the development of hybrid intelligent systems. (English)
Proceedings of the 10th congress of Yugoslav mathematicians, Belgrade, Yugoslavia, January 21-24, 2001. Belgrade: University of Belgrade, Faculty of Mathematics. 349-354 (2001).
19
A logic of approximate reasoning. (English)
Publ. Inst. Math., Nouv. Sér. 69(83), 8-12 (2001).
20
Result 1 to 20 of 21 total
Start
Contact
Print
General Help
