Autori: Stojanovic Tatjana P
Naslov | Logics for at most countable first-order structures (Article; Early Access) |
Autori | Perovic Aleksandar M Ognjanovic Zoran D Stojanovic Tatjana P |
Info | JOURNAL OF LOGIC AND COMPUTATION, (2024), vol. br. , str. - |
Projekat | Serbian Ministry of Education, Science and Technological Development [451-03-65/2024-03/200122] |
Ispravka | Web of Science Članak Elečas Rang časopisa Citati: |
|
Naslov | Automated non-monotonic reasoning in System P (Article) |
Autori | Stojanovic Tatjana P Ikodinovic Nebojsa M Davidovic Tatjana Ognjanovic Zoran D |
Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2021), vol. 89 br. 5-6, str. 471-509 |
Projekat | Serbian Ministry of Education, Science and Technological Development [451-03-9/2021-14/200122, 451-03-9/2021-14/200104, 451-03-9/2021-14/200029]; Science Fund of the Republic of Serbia, Grant AI4TrustBC: Advanced Artificial Intelligence Techniques for Ana |
Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
Naslov | Bee colony optimization for the satisfiability problem in probabilistic logic (Article) |
Autori | Stojanovic Tatjana P Davidovic Tatjana Ognjanovic Zoran D |
Info | APPLIED SOFT COMPUTING, (2015), vol. 31 br. , str. 339-347 |
Projekat | Serbian Ministry of Education, Science and Technological Development [III044006, OI144007, OI144033, TR37013] |
Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|