Cut-elimination and proof schemata C Dunchev, A Leitsch, M Rukhaia, D Weller Logic, Language, and Computation: 10th International Tbilisi Symposium on …, 2015 | 28 | 2015 |
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 | 22 | 2013 |
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 | 20 | 2013 |
Ceres for first-order schemata C Dunchev, A Leitsch, M Rukhaia, D Weller arXiv preprint arXiv:1303.4257, 2013 | 17 | 2013 |
Advanced proof viewing in ProofTool T Libal, M Riener, M Rukhaia arXiv preprint arXiv:1410.8218, 2014 | 13 | 2014 |
Towards integrating attribute-based access control into ontologies B Dundua, M Rukhaia 2019 IEEE 2nd Ukraine Conference on Electrical and Computer Engineering …, 2019 | 8 | 2019 |
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 | 6 | 2012 |
CERES in proof schemata M Rukhaia Technische Universität Wien, 2012 | 5 | 2012 |
Unranked tableaux calculus for web related applications B Dundua, L Kurtanidze, M Rukhaia 2017 IEEE First Ukraine Conference on Electrical and Computer Engineering …, 2017 | 4 | 2017 |
About Cut-Elimination in Schematic Proofs: A Monograph M Rukhaia LAP LAMBERT Academic Publishing, 2013 | 4 | 2013 |
Towards unranked fuzzy theory A Bishara, M Rukhaia 2020 IEEE 2nd International Conference on System Analysis & Intelligent …, 2020 | 2 | 2020 |
Ceres and fast cut-elimination M Rukhaia, G Kutaisi na, 2009 | 2 | 2009 |
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 | 1 | 2019 |
PρLog for Access Control B Dundua, K Rukhaia, M RUKHAIA, L Tibua Journal of Technical Science and Technologies 5 (2), 41-44, 2016 | 1 | 2016 |
Ceres for propositional proof schemata C Dunchev, A Leitsch, M Rukhaia, D Weller Technical report, Vienna University of Technology, 2012 | 1 | 2012 |
Project Presentation: Recursive Functions and Engineering Probabilistic Ontologies I Chitaia, R Omanadze, M Rukhaia 2023 IEEE 19th International Conference on e-Science (e-Science), 1-2, 2023 | | 2023 |
Enumerating All Maximal Clique-Partitions of an Undirected Graph M Marin, T Kutsia, C Pau, M Rukhaia arXiv preprint arXiv:2309.13800, 2023 | | 2023 |
Unranked Fuzzy Logic and Reasoning AMF Bishara, M Rukhaia IEEE International Conference on System Analysis & Intelligent Computing …, 2020 | | 2020 |
STAR TYPES: A TYPE SYSTEM FOR PATTERN CALCULUS. B Dundua, M Rukhaia, L Tibua Applied Mathematics, Informatics & Mechanics 25 (2), 2020 | | 2020 |
Unranked Nominal Unification B Dundua, T Kutsia, M Rukhaia International Tbilisi Symposium on Logic, Language, and Computation, 279-296, 2019 | | 2019 |