Predrag Janicic
Orcid: 0000-0001-8922-4948Affiliations:
- University of Belgrade, Serbia
According to our database1,
Predrag Janicic
authored at least 46 papers
between 1999 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
2
1
1
2
1
2
2
1
1
3
1
2
1
2
1
1
1
2
2
1
2
1
2
5
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2023
Ann. Math. Artif. Intell., December, 2023
Ann. Math. Artif. Intell., December, 2023
Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving.
Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023
2022
2021
Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021
2020
J. Symb. Comput., 2020
2019
Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture.
Log. Methods Comput. Sci., 2019
Ann. Math. Artif. Intell., 2019
2016
2015
Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry.
Ann. Math. Artif. Intell., 2015
Proceedings of the Automated Deduction - CADE-25, 2015
2014
Proceedings of the Intelligent Computer Mathematics - International Conference, 2014
Proceedings of the Automated Deduction in Geometry - 10th International Workshop, 2014
2013
J. Int. Comput. Games Assoc., 2013
2012
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012
2011
Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference
Atlantis Thinking Machines 2, Atlantis Press, ISBN: 978-94-91216-11-4, 2011
Proceedings of the Proceedings First Workshop on CTP Components for Educational Software, 2011
Log. Methods Comput. Sci., 2011
2010
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010
A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs.
Proceedings of the Automated Deduction in Geometry - 8th International Workshop, 2010
2009
Proceedings of the Theory and Applications of Satisfiability Testing, 2009
2007
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic.
Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007
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.
Math. Log. Q., 2006
Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, 2006
n-Gram-based classification and unsupervised hierarchical clustering of genome sequences.
Comput. Methods Programs Biomed., 2006
Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006
Proceedings of the Mathematical Software, 2006
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006
Proceedings of the Automated Deduction in Geometry, 2006
2005
Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005
2004
Proceedings of the Automated Reasoning - Second International Joint Conference, 2004
2003
Proceedings of the 4th International Workshop on First-Order Theorem Proving, 2003
Proceedings of the 19th Spring Conference on Computer Graphics, 2003
2002
J. Autom. Reason., 2002
2001
1999
A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers.
Proceedings of the Automated Deduction, 1999