Predrag Janicic

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 11

Top Topics

Theorem Proving

Top Venues

Ann. Math. Artif. Intell.

J. Autom. Reason.

Math. Comput. Sci.

Publications

Salwa Tabet Gonzalez, Predrag Janicic, Julien Narboux
Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving. CoRR (2024)
Predrag Janicic, Julien Narboux
Automated generation of illustrated proofs in geometry and beyond. Ann. Math. Artif. Intell. 91 (6) (2023)
Zoltán Kovács, Predrag Janicic
Formalization of geometry, automated and interactive geometric reasoning. Ann. Math. Artif. Intell. 91 (6) (2023)
Predrag Janicic, Julien Narboux
Automated Generation of Illustrations for Synthetic Geometry Proofs. CoRR (2022)
Predrag Janicic, Julien Narboux
Theorem Proving as Constraint Solving with Coherent Logic. J. Autom. Reason. 66 (4) (2022)
Predrag Janicic, Zoltán Kovács
Proceedings of the 13th International Conference on Automated Deduction in Geometry. CoRR (2021)
Milica Selakovic, Vesna Marinkovic, Predrag Janicic
New dynamics in dynamic geometry: Dragging constructed points. J. Symb. Comput. 97 (2020)
Predrag Janicic, Filip Maric, Marko Malikovic
Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture. Log. Methods Comput. Sci. 15 (1) (2019)
Mladen Nikolic, Vesna Marinkovic, Zoltán Kovács, Predrag Janicic
Portfolio theorem proving and prover runtime prediction for geometry. Ann. Math. Artif. Intell. 85 (2-4) (2019)
Predrag Janicic, Filip Maric, Marko Malikovic
Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture. CoRR (2018)
Pascal Schreck, Vesna Marinkovic, Predrag Janicic
Constructibility Classes for Triangle Location Problems. Math. Comput. Sci. 10 (1) (2016)
Sana Stojanovic Durdevic, Julien Narboux, Predrag Janicic
Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry. Ann. Math. Artif. Intell. 74 (3-4) (2015)
Francisco Botana, Markus Hohenwarter, Predrag Janicic, Zoltán Kovács, Ivan Petrovic, Tomás Recio, Simon Weitzhofer
Automated Theorem Proving in GeoGebra: Current Achievements. J. Autom. Reason. 55 (1) (2015)
Filip Maric, Predrag Janicic, Marko Malikovic
Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3. CADE (2015)
Vesna Marinkovic, Predrag Janicic, Pascal Schreck
Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems. ADG (2014)
Sana Stojanovic, Julien Narboux, Marc Bezem, Predrag Janicic
A Vernacular for Coherent Logic. CoRR (2014)
Sana Stojanovic, Julien Narboux, Marc Bezem, Predrag Janicic
A Vernacular for Coherent Logic. CICM (2014)
Marko Malikovic, Predrag Janicic
Proving Correctness of a KRK Chess Endgame Strategy by SAT-based Constraint Solving. J. Int. Comput. Games Assoc. 36 (2) (2013)
Mladen Nikolic, Filip Maric, Predrag Janicic
Simple algorithm portfolio for SAT. Artif. Intell. Rev. 40 (4) (2013)
Vesna Marinkovic, Predrag Janicic
Towards Understanding Triangle Construction Problems CoRR (2012)
Mladen Nikolic, Predrag Janicic
CDCL-Based Abstract State Transition System for Coherent Logic. AISC/MKM/Calculemus (2012)
Vesna Marinkovic, Predrag Janicic
Towards Understanding Triangle Construction Problems. AISC/MKM/Calculemus (2012)
Predrag Janicic, Julien Narboux, Pedro Quaresma
The Area Method - A Recapitulation. J. Autom. Reason. 48 (4) (2012)
Mladen Nikolic, Filip Maric, Predrag Janicic
Simple Algorithm Portfolio for SAT CoRR (2011)
Filip Maric, Ivan Petrovic, Danijela Petrovic, Predrag Janicic
Formalization and Implementation of Algebraic Methods in Geometry ThEdu (2011)
Filip Maric, Predrag Janicic
Formalization of Abstract State Transition Systems for SAT Log. Methods Comput. Sci. 7 (3) (2011)
Predrag Janicic
Uniform Reduction to SAT Log. Methods Comput. Sci. 8 (3) (2010)
Filip Maric, Predrag Janicic
URBiVA: Uniform Reduction to Bit-Vector Arithmetic. IJCAR (2010)
Filip Maric, Predrag Janicic
Formal Correctness Proof for DPLL Procedure. Informatica 21 (1) (2010)
Predrag Janicic
Geometry Constructions Language. J. Autom. Reason. 44 (1-2) (2010)
Sana Stojanovic, Vesna Pavlovic, Predrag Janicic
A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs. Automated Deduction in Geometry (2010)
Mladen Nikolic, Filip Maric, Predrag Janicic
Instance-Based Selection of Policies for SAT Solvers. SAT (2009)
Predrag Janicic, Alan Bundy
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic. Calculemus/MKM (2007)
Milena Vujosevic-Janicic, Jelena Tomasevic, Predrag Janicic
Random k-GD-Sat Model and its Phase Transition. J. Univers. Comput. Sci. 13 (4) (2007)
Andrija Tomovic, Predrag Janicic
A Variant of N-Gram Based Language Classification. AI*IA (2007)
Pedro Quaresma, Predrag Janicic
GeoThms - a Web System for Euclidean Constructive Geometry. Electron. Notes Theor. Comput. Sci. 174 (2) (2007)
Predrag Janicic, Pedro Quaresma
Automatic Verification of Regular Constructions in Dynamic Geometry Systems. Automated Deduction in Geometry (2006)
Petar Maksimovic, Predrag Janicic
Simple characterization of functionally complete one-element sets of propositional connectives. Math. Log. Q. 52 (5) (2006)
Pedro Quaresma, Predrag Janicic
Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories. MKM (2006)
Andrija Tomovic, Predrag Janicic, Vlado Keselj
n-Gram-based classification and unsupervised hierarchical clustering of genome sequences. Comput. Methods Programs Biomed. 81 (2) (2006)
Predrag Janicic
GCLC - A Tool for Constructive Euclidean Geometry and More Than That. ICMS (2006)
Predrag Janicic, Pedro Quaresma
System Description: GCLCprover + GeoThms. IJCAR (2006)
Dejan Jovanovic, Predrag Janicic
Logical Analysis of Hash Functions. FroCoS (2005)
Filip Maric, Predrag Janicic
argo-lib: A Generic Platform for Decision Procedures. IJCAR (2004)
Mateja Jamnik, Predrag Janicic
Learning Strategies for Mechanised Building of Decision Procedures. Electron. Notes Theor. Comput. Sci. 86 (1) (2003)
Predrag Janicic, Ivan Trajkovic
WinGCLC: a workbench for formally describing figures. SCCG (2003)
Predrag Janicic, Alan Bundy
A General Setting for Flexibly Combining and Augmenting Decision Procedures. J. Autom. Reason. 28 (3) (2002)
Predrag Janicic
GD-SAT model and crossover line. J. Exp. Theor. Artif. Intell. 13 (3) (2001)
Predrag Janicic, Nenad Dedic, Goran Terzic
On Different Models for Generating Random SAT Problems. Comput. Artif. Intell. 20 (5) (2001)
Predrag Janicic, Alan Bundy, Ian Green
A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers. CADE (1999)