Researchers
Janičić, Predrag
Type
Date issued
Results 21-40 of 61
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2015 | Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry | Ðurđević, Sana Stojanović   ; Narboux, Julien; Janičić, Predrag | Article | 22M22 |
| 2014 | A Vernacular for Coherent Logic | Stojanović Đurđević, Sana ; Narboux, Julien; Bezem, Marc; Janičić, Predrag | Conference Paper | Mp. category will be shown later |
| 2013 | History of Mathematical Logic in Serbia | Borisavljević, Mirjana ; Đorđe Vukomanović; Gilezan, Silvia ; Janičić, Predrag Đ. ; Krapež, Aleksandar ; Kurilić, Miloš S. ; Zoran Marković; Žarko Mijajlović; Ognjanović, Zoran ; Pantović, Jovanka ;
Petrić, Zoran
; Miomir Stanković; Stanković, Radomir ; Ivan Stojmenović; | Book parts | Mp. category will be shown later |
| 2013 | Proving Correctness of a KRK Chess Endgame Strategy by SAT-based Constraint Solving | Janičić, Predrag ; Marko Maliković | Article | 21M21 |
| 2013 | Simple algorithm portfolio for SAT | Nikolić, Mladen ; Marić, Filip ; Janičić, Predrag | Article | 22M22 |
| 2012 | Towards Understanding Triangle Construction Problems | Marinković, Vesna ; Janičić, Predrag | Article | Mp. category will be shown later |
| 2012 | CDCL-Based Abstract State Transition System for Coherent Logic | Nikolić, Mladen ; Janičić, Predrag | Conference Paper | Mp. category will be shown later |
| 2012 | URSA: A System for Uniform Reduction to SAT | Janičić, Predrag | Article | 22M22 |
| 2012 | Formalization and Implementation of Algebraic Methods in Geometry | Marić, Filip ; Petrović, Ivan; Simić, Danijela ; Janičić, Predrag | Conference Paper | Mp. category will be shown later |
| 2012 | The Area Method: A Recapitulation | Janičić, Predrag ; Narboux, Julien; Quaresma, Pedro | Article | 21M21 |
| 2011 | Formalization of Abstract State Transition Systems for SAT | Marić, Filip ; Janičić, Predrag | Article | 22M22 |
| 2011 | Automated Reasoning: Some Successes and New Challenges | Janičić, Predrag | Conference Paper | Mp. category will be shown later |
| 2011 | Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference | Ben Goertzel; Nil Geisweiller; Lucio Coelho; Janičić, Predrag ; Cassio Pennachin | Monograph | Mp. category will be shown later |
| 2011 | A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs | Stojanović Đurđević, Sana ; Marinković, Vesna ; Janičić, Predrag | Article | Mp. category will be shown later |
| 2010 | Geometry Tools GCLC and WinGCLC | Janičić, Predrag | Conference Paper | Mp. category will be shown later |
| 2010 | URBiVA: Uniform Reduction to Bit-Vector Arithmetic | Marić, Filip ; Janičić, Predrag | Article | Mp. category will be shown later |
| 2010 | Formal Correctness Proof for DPLL Procedure | Marić, Filip ; Janičić, Predrag | Article | 21aM21a |
| 2010 | Geometry Constructions Language | Janičić, Predrag | Article | 21M21 |
| 2009 | Matematička logika u računarstvu | Janičić, Predrag | Text book | Mp. category will be shown later |
| 2009 | Instance-Based Selection of Policies for SAT Solvers | Nikolić, Mladen ; Marić, Filip M ; Janičić, Predrag | Conference Paper | Mp. category will be shown later |