Predrag Janicic

According to our database, Predrag Janicic authored at least 46 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving.

Salwa Tabet Gonzalez, Predrag Janicic, Julien Narboux

CoRR, 2024

2023

Formalization of geometry, automated and interactive geometric reasoning.

Zoltán Kovács, Predrag Janicic

Ann. Math. Artif. Intell., December, 2023

Automated generation of illustrated proofs in geometry and beyond.

Predrag Janicic, Julien Narboux

Ann. Math. Artif. Intell., December, 2023

2022

Theorem Proving as Constraint Solving with Coherent Logic.

Predrag Janicic, Julien Narboux

J. Autom. Reason., 2022

2021

Automated Generation of Illustrations for Synthetic Geometry Proofs.

Predrag Janicic, Julien Narboux

Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021

2020

New dynamics in dynamic geometry: Dragging constructed points.

Milica Selakovic, Vesna Marinkovic, Predrag Janicic

J. Symb. Comput., 2020

2019

Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture.

Predrag Janicic, Filip Maric, Marko Malikovic

Log. Methods Comput. Sci., 2019

Portfolio theorem proving and prover runtime prediction for geometry.

Mladen Nikolic, Vesna Marinkovic, Zoltán Kovács, Predrag Janicic

Ann. Math. Artif. Intell., 2019

2016

Constructibility Classes for Triangle Location Problems.

Pascal Schreck, Vesna Marinkovic, Predrag Janicic

Math. Comput. Sci., 2016

2015

Automated Theorem Proving in GeoGebra: Current Achievements.

Francisco Botana, Markus Hohenwarter, Predrag Janicic, Zoltán Kovács, Ivan Petrovic, Tomás Recio, Simon Weitzhofer

J. Autom. Reason., 2015

Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry.

Sana Stojanovic Durdevic, Julien Narboux, Predrag Janicic

Ann. Math. Artif. Intell., 2015

Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3.

Filip Maric, Predrag Janicic, Marko Malikovic

Proceedings of the Automated Deduction - CADE-25, 2015

2014

A Vernacular for Coherent Logic.

Sana Stojanovic, Julien Narboux, Marc Bezem, Predrag Janicic

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems.

Vesna Marinkovic, Predrag Janicic, Pascal Schreck

Proceedings of the Automated Deduction in Geometry - 10th International Workshop, 2014

2013

Proving Correctness of a KRK Chess Endgame Strategy by SAT-based Constraint Solving.

Marko Malikovic, Predrag Janicic

J. Int. Comput. Games Assoc., 2013

Simple algorithm portfolio for SAT.

Mladen Nikolic, Filip Maric, Predrag Janicic

Artif. Intell. Rev., 2013

2012

The Area Method - A Recapitulation.

Predrag Janicic, Julien Narboux, Pedro Quaresma

J. Autom. Reason., 2012

CDCL-Based Abstract State Transition System for Coherent Logic.

Mladen Nikolic, Predrag Janicic

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

Towards Understanding Triangle Construction Problems.

Vesna Marinkovic, Predrag Janicic

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference

Ben Goertzel, Nil Geisweiller, Lúcio de Souza Coelho, Predrag Janicic, Cassio Pennachin

Atlantis Thinking Machines 2, Atlantis Press, ISBN: 978-94-91216-11-4, 2011

Formalization and Implementation of Algebraic Methods in Geometry

Filip Maric, Ivan Petrovic, Danijela Petrovic, Predrag Janicic

Proceedings of the Proceedings First Workshop on CTP Components for Educational Software, 2011

Formalization of Abstract State Transition Systems for SAT

Filip Maric, Predrag Janicic

Log. Methods Comput. Sci., 2011

2010

Geometry Constructions Language.

Predrag Janicic

J. Autom. Reason., 2010

Formal Correctness Proof for DPLL Procedure.

Filip Maric, Predrag Janicic

Informatica, 2010

Uniform Reduction to SAT

Predrag Janicic

Log. Methods Comput. Sci., 2010

URBiVA: Uniform Reduction to Bit-Vector Arithmetic.

Filip Maric, Predrag Janicic

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs.

Sana Stojanovic, Vesna Pavlovic, Predrag Janicic

Proceedings of the Automated Deduction in Geometry - 8th International Workshop, 2010

2009

Instance-Based Selection of Policies for SAT Solvers.

Mladen Nikolic, Filip Maric, Predrag Janicic

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

2007

Random k-GD-Sat Model and its Phase Transition.

Milena Vujosevic-Janicic, Jelena Tomasevic, Predrag Janicic

J. Univers. Comput. Sci., 2007

Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic.

Predrag Janicic, Alan Bundy

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

A Variant of N-Gram Based Language Classification.

Andrija Tomovic, Predrag Janicic

Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007

2006

Simple characterization of functionally complete one-element sets of propositional connectives.

Petar Maksimovic, Predrag Janicic

Math. Log. Q., 2006

GeoThms - a Web System for Euclidean Constructive Geometry.

Pedro Quaresma, Predrag Janicic

Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, 2006

n-Gram-based classification and unsupervised hierarchical clustering of genome sequences.

Andrija Tomovic, Predrag Janicic, Vlado Keselj

Comput. Methods Programs Biomed., 2006

Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories.

Pedro Quaresma, Predrag Janicic

Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

GCLC - A Tool for Constructive Euclidean Geometry and More Than That.

Predrag Janicic

Proceedings of the Mathematical Software, 2006

System Description: GCLCprover + GeoThms.

Predrag Janicic, Pedro Quaresma

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

Automatic Verification of Regular Constructions in Dynamic Geometry Systems.

Predrag Janicic, Pedro Quaresma

Proceedings of the Automated Deduction in Geometry, 2006

2005

Logical Analysis of Hash Functions.

Dejan Jovanovic, Predrag Janicic

Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005

2004

argo-lib: A Generic Platform for Decision Procedures.

Filip Maric, Predrag Janicic

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003

Learning Strategies for Mechanised Building of Decision Procedures.

Mateja Jamnik, Predrag Janicic

Proceedings of the 4th International Workshop on First-Order Theorem Proving, 2003

WinGCLC: a workbench for formally describing figures.

Predrag Janicic, Ivan Trajkovic

Proceedings of the 19th Spring Conference on Computer Graphics, 2003

2002

A General Setting for Flexibly Combining and Augmenting Decision Procedures.

Predrag Janicic, Alan Bundy

J. Autom. Reason., 2002

2001

GD-SAT model and crossover line.

Predrag Janicic

J. Exp. Theor. Artif. Intell., 2001

On Different Models for Generating Random SAT Problems.

Predrag Janicic, Nenad Dedic, Goran Terzic

Comput. Artif. Intell., 2001

1999

A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers.

Predrag Janicic, Alan Bundy, Ian Green

Proceedings of the Automated Deduction, 1999