Autori: Janicic Predrag
| Naslov | Automated generation of illustrated proofs in geometry and beyond (Article; Early Access) |
| Autori | Janicic Predrag  Narboux Julien
|
| Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2023), vol. br. , str. - |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: |
     |
| Naslov | Theorem Proving as Constraint Solving with Coherent Logic (Article) |
| Autori | Janicic Predrag Narboux Julien
|
| Info | JOURNAL OF AUTOMATED REASONING, (2022), vol. 66 br. 4, str. 689-746 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | New dynamics in dynamic geometry: Dragging constructed points (Article) |
| Autori | Selakovic Milica Marinkovic Vesna Janicic Predrag
|
| Info | JOURNAL OF SYMBOLIC COMPUTATION, (2020), vol. 97 br. , str. 3-15 |
| Projekat | Ministry of Science, Serbia [174021] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: a Case Study of a Chess Conjecture (Article) |
| Autori | Janicic Predrag Maric Filip M Malikovic Marko
|
| Info | LOGICAL METHODS IN COMPUTER SCIENCE, (2019), vol. 15 br. 1, str. - |
| Projekat | Ministry of Science of Serbia [174021] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | Portfolio theorem proving and prover runtime prediction for geometry (Article; Proceedings Paper) |
| Autori | Nikolic Mladen Marinkovic Vesna Kovacs Zoltan Janicic Predrag
|
| Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2019), vol. 85 br. 2-4, str. 119-146 |
| Projekat | Ministry of Science of Serbia [174021] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry (Article) |
| Autori | Stojanovic-Djurdjevic Sana Narboux Julien Janicic Predrag
|
| Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2015), vol. 74 br. 3-4, str. 249-269 |
| Projekat | Serbian-French Technology Co-Operation grant EGIDE/"Pavle Savic" [680-00-132/2012-09/12]; Ministry of Science of Serbia [ON174021] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | Automated Theorem Proving in GeoGebra: Current Achievements (Article) |
| Autori | Botana Francisco Hohenwarter Markus Janicic Predrag Kovacs Zoltan Petrovic Ivan Recio Tomas Weitzhofer Simon
|
| Info | JOURNAL OF AUTOMATED REASONING, (2015), vol. 55 br. 1, str. 39-59 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | Proving Correctness of a Krk Chess Endgame Strategy by Sat-Based Constraint Solving (Article) |
| Autori | Malikovic Marko Janicic Predrag
|
| Info | ICGA JOURNAL, (2013), vol. 36 br. 2, str. 81-99 |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Simple algorithm portfolio for SAT (Article) |
| Autori | Nikolic Mladen Maric Filip M Janicic Predrag
|
| Info | ARTIFICIAL INTELLIGENCE REVIEW, (2013), vol. 40 br. 4, str. 457-465 |
| Projekat | Serbian Ministry of Science [174021]; SNF [SCOPES IZ73Z0_127979/1] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Ursa: a System for Uniform Reduction to Sat (Article) |
| Autori | Janicic Predrag
|
| Info | LOGICAL METHODS IN COMPUTER SCIENCE, (2012), vol. 8 br. 3, str. - |
| Projekat | Serbian Ministry of Science grant [174021]; SNF grant SCOPES [IZ73Z0_127979/1] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
