Predrag Janicic
Predrag Janicic
Full professor of Computer Science, Faculty of Mathematics, University of Belgrade
Bestätigte E-Mail-Adresse bei - Startseite
Zitiert von
Zitiert von
Probabilistic logic networks: A comprehensive framework for uncertain inference
B Goertzel, M Iklé, IF Goertzel, A Heljakka
Springer Science & Business Media, 2008
Automated theorem proving in GeoGebra: Current achievements
F Botana, M Hohenwarter, P Janičić, Z Kovács, I Petrović, T Recio, ...
Journal of Automated Reasoning 55 (1), 39-59, 2015
n-Gram-based classification and unsupervised hierarchical clustering of genome sequences
A Tomović, P Janičić, V Kešelj
Computer methods and programs in biomedicine 81 (2), 137-153, 2006
The area method: a recapitulation
P Janicic, J Narboux, P Quaresma
Journal of Automated Reasoning 48 (4), 489-532, 2012
GCLC—a tool for constructive euclidean geometry and more than that
P Janičić
International Congress on Mathematical Software, 58-73, 2006
Instance-based selection of policies for SAT solvers
M Nikolić, F Marić, P Janičić
International Conference on Theory and Applications of Satisfiability …, 2009
Logical analysis of hash functions
D Jovanović, P Janičić
International Workshop on Frontiers of Combining Systems, 200-215, 2005
Geometry constructions language
P Janičić
Journal of Automated Reasoning 44 (1-2), 3, 2010
System description: Gclcprover+ geothms
P Janičić, P Quaresma
International Joint Conference on Automated Reasoning, 145-150, 2006
A coherent logic based geometry theorem prover capable of producing formal and readable proofs
S Stojanović, V Pavlović, P Janičić
International Workshop on Automated Deduction in Geometry, 201-220, 2010
Towards a Global Script? Governance Transfer by Regional Organizations
TA Börzel, V van Hüllen
Governance Transfer by Regional Organizations, 3-21, 2015
The area method
P Janičić, J Narboux, P Quaresma
Journal of Automated Reasoning 48 (4), 489-532, 2012
Geothms—a web system for Euclidean constructive geometry
P Quaresma, P Janičić
Electronic Notes in Theoretical Computer Science 174 (2), 35-48, 2007
Automatic verification of regular constructions in dynamic geometry systems
P Janičić, P Quaresma
International Workshop on Automated Deduction in Geometry, 39-51, 2006
Constructions, instructions, interactions
M Djorić, P Janičić
Teaching Mathematics and its Applications 23 (2), 69-88, 2004
Simple algorithm portfolio for SAT
M Nikolić, F Marić, P Janičić
Artificial Intelligence Review 40 (4), 457-465, 2013
Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry
SS Ðurđević, J Narboux, P Janičić
Annals of Mathematics and Artificial Intelligence 74 (3), 249-269, 2015
Formalization and implementation of algebraic methods in geometry
F Marić, I Petrović, D Petrović, P Janičić
arXiv preprint arXiv:1202.4831, 2012
URSA: a system for uniform reduction to SAT
P Janicic
arXiv preprint arXiv:1012.1255, 2010
Integrating dynamic geometry software, deduction systems, and theorem repositories
P Quaresma, P Janičić
International Conference on Mathematical Knowledge Management, 280-294, 2006
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20