Representations of logical structures and their application in computer science

 

Project results in 2006

 

 

KATEGORIJA R51

 

1.      Mirjana Borisavljević, A connection between cut elimination and normalization, Archive for Mathematical Logic Vol. 45, No. 2, 113-148, 2006.

2.      Tatjana Lutovac, James Harland, Detecting Loops During Proof Search in Propositional Affine Logic, Journal of Logic and Computation, Volume 16, Number 1, 61-133, 2006.

3.      Kosta Došen, Zoran Petrić, Associativity as Commutativity, The Journal of Symbolic Logic 71, 1, 217-226, 2006.

4.      K. Berenhaut, J. Dice, J. Foley, Bratislav Iričanin and Stevo Stević, Periodic solutions of the rational difference equation ; J. Differ. Equations Appl. 12 (2), 183-189, 2006.

5.      Bratislav Iričanin and Stevo Stević, Some systems of nonlinear difference equations of higher order with periodic solutions, Dynam. Contin. Discrete Impuls. Systems 13 a (3-4), 499-508, 2006.

6.      D. Clahane and Stevo Stević, Norm equivalence and composition operators between Bloch/Lipschitz spaces of the unit ball, Journal of Inequalities and Applications, vol. 2006, Article ID 61018, 11 pages, 2006. doi:10.1155/JIA/2006/61018.

7.      Predrag Tanović, On constants and the strict order property, Arch.Math.Logic 45, 423-430, 2006.

8.      P.M. Rajković, S.D. Marinković, M.S. Stanković, On q-orthogonal polynomials over  a collection of complex origin intervals related to little q-Jacobi polynomials, The Ramanujan Journal , Vol. 12, No. 2 (2006), 245-255.

9.      Zoran Ognjanović, Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity, Journal of Logic Computation, Vol. 16, No. 2, 257--285, 2006.

10.  K. Berenhaut, J. Foley and Stevo Stević, Boundedness character of positive solutions of a max difference equation, J. Differ. Equations Appl. 12 (12) (2006), 1193-1199.

11.  K. Berenhaut and Stevo Stević, The behaviour of the positive solutions of the difference equation, J. Differ. Equations Appl. 12 (9) (2006), 909-918.

12.  K. Berenhaut and Stevo Stević, A note on positive nonoscillatory solutions of the difference equation; J. Differ. Equations Appl. 12 (5) (2006), 495-499. 

13.  L. Berg and Stevo Stević, Periodicity of some classes of holomorphic difference equations, J. Differ. Equations Appl. 12 (8) (2006), 827-835.  

14.  Stevo Stević, Global stability and asymptotics of some classes of rational difference equations, J. Math. Anal. Appl. 316 (2006), 60-68.

15.  Miodrag Kapetanović, On theories with the general disjunction property, to be published in Algebra Universalis, 2006.

 

 

 

KATEGORIJA R52

 

1.      Kosta Došen, Z. Kovijanic, Zoran Petrić, A new proof of the faithfulness of Brauer's representation of Temperley-Lieb algebras, International Journal of Algebra and Computation 16, 5 (2006), pp. 959-968

2.      Kosta Došen, Zoran Petrić, Coherence for Star-Autonomous Categories, Annals of Pure and Applied Logic 141 (2006), pp. 225-242, (available at: http://arXiv.org/math.CT/0503306).

3.      Kosta Došen, Models of deduction, Synthese 148, pp. 639-657, 2006.

4.      Stevo Stević, A generalization of a result of Choa on analytic functions with Hadamard gaps, J. Korean Math. Soc. 43 (3) (2006), 579-591.

5.      Stevo Stević, Composition operators between  and the -Bloch spaces on the polydisc, Z. Anal. Anwendungen 25 (4) (2006), 457-466.

6.      Stevo Stević, On monotone solutions of some clases of difference equations, Discrete Dyn. Nat. Soc. 2006 Article ID 53890, 6 pages.

7.      S.B. Tričković, M.V. Vidanovic, Miomir S. Stanković, On the summation of series in terms of Bessel functions, Zeitschrift für analysis und ihre anwendungen. 25, no 3, 393-406, 2006.

8.      S.B. Trickovic, Miomir S. Stanković, A new approach to the orthogonality of the Laguerre and Hermite polynomials, Integral Transforms and Special Functions 17, No 9, 661-672, 2006.

9.      S.B. Trickovic, M.V. Vidanovic, Miomir S. Stanković, On the summation of series over a product of Bessel functions, Integral Transforms and Special Functions 17, No 10, 748-759, 2006.

10.  K. Berenhaut, E. Goedhart and Stevo Stević, Explicit bounds for third-order difference equations, ANZIAM 47 (2006), 359-366.

11.  K. Berenhaut, J. Foley and Stevo Stević, Quantitative bound for the recursive sequence ; Appl. Math. Lett. 19 (9) (2006), 983-989.

12.  Stevo Stević, A short proof of the Cushing-Henson conjecture, Discrete Dyn. Nat. Soc. Volume 2006 (2006), Article ID 37264, 5 pages.

13.  Stevo Stević, Asymptotic behavior of a class of nonlinear difference equations, Discrete Dyn. Nat. Soc. 2006 Article ID 47156, pp. 10.

14.  Stevo Stević, On positive solutions of a (k + 1)-th order difference equation, Appl. Math. Lett. 19 (5) (2006), 427-431.

 

LISTA KOMISIJE

 

1.      Kosta Došen, Zoran Petrić, Coherence of Proof-Net Categories, Publications de l'Institut Mathematique 78 (92) (2005), pp. 1-33, (available at: http://arXiv.org/math.CT/0503301).

2.      Predrag Tanović, On minimal ordered structures, Publ.Inst.Math. tome 78(92), pp.65-72, 2005 (štampan 2006).

3.      Zoran Ognjanović, Zoran Marković, Miodrag Rašković, Completeness Theorem for a Logic with imprecise and conditional probabilities, Publications de L'Institute Matematique (Beograd), ns. 78 (92) 35 - 49, 2005 (štampan 2006).

4.      J. Pantović., B. Rodić, Gradimir Vojvodić., Hyperclone lattice and embeddings, Novi Sad Journal of Mathematics, Vol. 36, No. 1, 2006, 87-95.

5.      M. Mirkovic, J. Hodolic, Dragan Radojević, Aggregation for Quality Management, YUJOR – Yugoslav Journal for Operational Research , Vol. 16, No 2, YU ISSN 0354-0243, pp.XX-XX, Belgrade, 2006.

6.      Miomir Stankovic, P.M. Rajkovic and S.D. Marinkovic, Inequalities which include q-integrals, Bulletin T. CXXXIII de l'Academie serbe des sciences et des arts, Classe des No 31, Beograd, 137-146, 2006.

 

MEĐUNARODNE KONFERENCIJE

 

1.      Pantovic J., Gradimir Vojvodić, Commuting hyperoperations, Proceedings of the 36th International Symposium on Multiple-Valued Logic, IEEE Press, 96-100, 2006.

2.      Dragan Radojević, Boolean frame is adequate for treatment of gradation or fuzziness equally as for two-valued or classical case, Proceedings SISY 2006 4th Serbian-Hungarian Joint Symposium on Intelligent Systems, Ed. E. Pap,

3.      J. Fodor, pp. 43-58, Subotica, 2006.

4.      Dragan Radojević, Generalized (fuzzy) preference structures based on Interpolative Boolean algebra, LINZ 2006 Seminar Fuzzy set theory: Preference Games and Decisions, Edts. J. Fodor, E.P.Klement, M. Rubens: Proceedings of Extended Abstracts, pp.111-115, Linz, Austria, 2006.

5.      Dragan Radojević, MV realization of Boolean algebra: Interpolative Boolean algebra, IPMU 2006: Information Processing and Management of Uncertainty in Knowledge-based Systems, Proceedings Posters Sessions, 76-79, Paris, 2006.

6.      Miomir Korać, Zoran Ognjanović, Višnja Simić, Filip Dugandžić, PANDORA - Expert system for dating artifacts, Proceedings of the ECAI06 Workshop on Intelligent Technologies for Cultural Heritage Exploitation, Riva del Garda,

7.      Italy, August 28 – September 1, 2006, pp. 40-44.

8.      Milorad Tošić, Valentina Milićević, "Semantics of The Collaborative Tagging Systems", 3th European Semantic Web Conference, 2nd Workshop on Scripting for the Semantic Web, June 11-14, 2006, Budva, Serbia & Montenegro, 2006.

9.      Petar Rajković, Dragan Janković, Dušan Vučković, Using String Comparison Algorithms for Serbian Names, ICEST Proceedings, pp. 221-224, Sofia, June 29th -       July 1st, 2006.

 

 

DOMAĆE KONFERENCIJE

 

1.      Dragan Radojević, Generalizovani Bulove polinom, Zbornik radova SYM-OP-IS 2006, Edit. D. Radojevic, (Plenarno predavanje povodom dodele POVELJE SYM-OP-IS –a za zasluge u operacionim istrazivanjima), ISBN: 86-82183-O7-2, str. 313-316, Banja Koviljaca, 2006.

2.      M. Mirkovic, J. Hodolic, Dragan Radojević, Agregacija za potrebe upravljanja kvalitetom, Zbornik radova SYM-OP-IS 2006, Edit. D. Radojevic, ISBN: 86-82183-O7-2, Banja Koviljaca, 317-320. 2006. 

3.      Dragan Radojevic, Interpolative Realization of Boolean algebra Frame for Consistent Treatment of Gradation and/or Fuzziness, Proceedings: NEUREL 2006: 8th Seminar in Neural Networks, Edit. B.Reljin, S.Stankovic, ISBN:1-4244-0432-0, IEEE Catalog Number: 06EX1402, , Belgrade, pp 199-200, 2006.

4.      Dragan Radojević, Interpolative Realization of Boolean algebra, Proceedings: NEUREL 2006: 8th Seminar in Neural Networks, Edit. B.Reljin, S.Stankovic, ISBN:1-4244-0432-0, IEEE Catalog Number: 06EX1402,  Belgrade, pp 201-206, 2006.

5.      Branimir Todorović, Miomir Stanković, Claudio Moraga, Gaussian Sum Filters for Recurrent Neural Networks Training, NEUREL 2006, September 25-27, 2006

6.      Zoran Džunić, Svetislav Momčilović, Branimir Todorović, Miomir Stanković, Resolution Using Decision Trees, NEUREL 2006, September 25-27, 2006

7.      Dragan Janković, Petar Rajković, Optimizacija GF(3) razvoja koriscenjem osobine dualnosti, 14th Telecommunications forum TELFOR 2006, pp. 608 - 611, Beograd, Novembar 2006.

8.      Srđan Stankovic, D. Stanojevic and D. Siljak: “Stochastic Inclusion Principle Applied to Decentralized Control of a Platoon of Vehicles”,  Zbornik radova Konferencije ETRAN, Beograd, 2006.

9.      Srđan Stanković, D. Stipanović and D. D. Šiljak, „Decentralized control by robust output feedback“, Zbornik radova Konferencije ETRAN, Beograd, 2006.

10.  M. Stankovic and Srđan Stankovic, “Information Vector Machines for Text Recognition”, Zbornik radova Konferencije ETRAN, Beograd, 2006.

11.  M. Stankovic and Srđan Stankovic, “Information Vector Machines”, Zbornik radova Medjunarodne Konferencije NEUREL,  Beograd, 2006 (rad po pozivu).

12.  Radonja J. Pero and Srđan Stanković, Nonlinear Neural Networks Based Model of  a Complex Biological Process, Zbornik radova Medjunarodne Konferencije NEUREL, 2006.

13.  Petar Rajković, Dragan Janković, Dušan Vučković, Primena algoritama za poredenje stringova u poredenju srpskih prezimena po slicnosti, Ref. RT 5.4, ETRAN, Beograd, Juni 2006.

14.  Olga Bodroza-Pantić, Ratko Tošić, Angelina Kovacevic, Rade Doroslovacki, Recurrence Formulas for Algebraic Structure Count, Mathematical Methods in Chemistry, 119-130, 2006.