Följ
Mikheil Rukhaia
Mikheil Rukhaia
Institute of Applied Mathematics, Tbilisi State University
Verifierad e-postadress på logic.at - Startsida
Titel
Citeras av
Citeras av
År
Cut-elimination and proof schemata
C Dunchev, A Leitsch, M Rukhaia, D Weller
Logic, Language, and Computation: 10th International Tbilisi Symposium on …, 2015
282015
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
222013
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
202013
Ceres for first-order schemata
C Dunchev, A Leitsch, M Rukhaia, D Weller
arXiv preprint arXiv:1303.4257, 2013
172013
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
82019
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
Technische Universität Wien, 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
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
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
Unranked Nominal Unification
B Dundua, T Kutsia, M Rukhaia
International Tbilisi Symposium on Logic, Language, and Computation, 279-296, 2019
2019
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20