Follow
Mikheil Rukhaia
Mikheil Rukhaia
Institute of Applied Mathematics, Tbilisi State University
Verified email at logic.at - Homepage
Title
Cited by
Cited by
Year
Cut-elimination and proof schemata
C Dunchev, A Leitsch, M Rukhaia, D Weller
International Tbilisi Symposium on Logic, Language, and Computation, 117-136, 2013
282013
PROOFTOOL: a GUI for the GAPT framework
C Dunchev, A Leitsch, T Libal, M Riener, M Rukhaia, D Weller, ...
arXiv preprint arXiv:1307.1942, 2013
202013
Understanding resolution proofs through Herbrand’s theorem
S Hetzl, T Libal, M Riener, M Rukhaia
International Conference on Automated Reasoning with Analytic Tableaux and …, 2013
192013
Ceres for first-order schemata
C Dunchev, A Leitsch, M Rukhaia, D Weller
arXiv preprint arXiv:1303.4257, 2013
162013
Advanced proof viewing in ProofTool
T Libal, M Riener, M Rukhaia
arXiv preprint arXiv:1410.8218, 2014
132014
Towards integrating attribute-based access control into ontologies
B Dundua, M Rukhaia
2019 IEEE 2nd Ukraine Conference on Electrical and Computer Engineering …, 2019
72019
System Feature Description: Importing Refutations into the GAPT Framework.
C Dunchev, A Leitsch, T Libal, M Riener, M Rukhaia, D Weller, BW Paleo
PxTP, 51-57, 2012
62012
CERES in proof schemata
M Rukhaia
na, 2012
52012
Unranked tableaux calculus for web related applications
B Dundua, L Kurtanidze, M Rukhaia
2017 IEEE First Ukraine Conference on Electrical and Computer Engineering …, 2017
42017
About Cut-Elimination in Schematic Proofs: A Monograph
M Rukhaia
LAP LAMBERT Academic Publishing, 2013
42013
Towards unranked fuzzy theory
A Bishara, M Rukhaia
2020 IEEE 2nd International Conference on System Analysis & Intelligent …, 2020
22020
Ceres and fast cut-elimination
M Rukhaia, G Kutaisi
na, 2009
22009
PρLog for Access Control
B Dundua, K Rukhaia, M RUKHAIA, L Tibua
Journal of Technical Science and Technologies 5 (2), 41-44, 2016
12016
Ceres for propositional proof schemata
C Dunchev, A Leitsch, M Rukhaia, D Weller
Technical report, Vienna University of Technology, 2012
12012
Unranked Fuzzy Logic and Reasoning
AMF Bishara, M Rukhaia
IEEE International Conference on System Analysis & Intelligent Computing …, 2022
2022
Unranked Nominal Unification
B Dundua, T Kutsia, M Rukhaia
International Tbilisi Symposium on Logic, Language, and Computation, 279-296, 2022
2022
Specification and Analysis of ABAC Policies in a Rule-Based Framework
B Dundua, T Kutsia, M Marin, M Rukhaia
International Conference on Applications of Mathematics and Informatics in …, 2019
2019
Application of CLP (SC) in Membrane Computing
J ANTIDZE, B DUNDUA, M RUKHAIA, L TIBUA
Journal of Technical Science and Technologies 5 (2), 7-12, 2016
2016
About Correspondence between Proof Schemata and Unranked Logics
G Chankvetadze, L Kurtanidze, M Rukhaia
BOOK OF ABSTRACTS, 75, 2015
2015
CERES for Propositional Proof Schemata
M Rukhaia
2011
The system can't perform the operation now. Try again later.
Articles 1–20