Rajeev Gore
Rajeev Gore
Professor of Computer Science, Australian National University
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα anu.edu.au
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Tableau methods for modal and temporal logics
R Goré
Handbook of tableau methods, 297-396, 1999
4041999
Substructural logics on display
R Goré
Logic Journal of IGPL 6 (3), 451-504, 1998
1211998
Dual Intuitionistic Logic Revisited
R Gore
Automated Reasoning with Analytic Tableaux and Related Methods …, 2006
77*2006
Free variable tableaux for propositional modal logics
B Beckert, R Goré
International Conference on Automated Reasoning with Analytic Tableaux and …, 1997
761997
An on-the-fly tableau-based decision procedure for PDL-satisfiability
P Abate, R Goré, F Widmann
Electronic Notes in Theoretical Computer Science 231, 191-209, 2009
63*2009
EXPTIME tableaux with global caching for description logics with transitive roles, inverse roles and role hierarchies
R Goré, LA Nguyen
International Conference on Automated Reasoning with Analytic Tableaux and …, 2007
622007
ExpTime Tableaux for ALC Using Sound Global Caching
R Goré, LA Nguyen
Journal of automated reasoning 50 (4), 355-381, 2013
522013
ExpTime Tableaux for ALC Using Sound Global Caching
R Goré, LA Nguyen
International Workshop on Description Logics (DL2007),, 8 pages, 2007
52*2007
Advances in Modal Logic
R Goré, B Kooi, A Kurucz
College Publications, 2014
51*2014
The tableaux work bench
P Abate, R Goré
International Conference on Automated Reasoning with Analytic Tableaux and …, 2003
482003
Cut-elimination and proof-search for biintuitionistic logic using nested sequents
R Goré, L Postniece, A Tiu
Advances in Modal Logic 7, 43-66, 2008
472008
An optimal on-the-fly tableau-based decision procedure for PDL-satisfiability
R Goré, F Widmann
International Conference on Automated Deduction, 437-452, 2009
442009
Labelled Tree Sequents, Tree Hypersequents and Nested (Deep) Sequents.
R Goré, R Ramanayake
Advances in Modal Logic 9, 279-299, 2012
432012
On the correspondence between display postulates and deep inference in nested sequent calculi for tense logics
R Goré, L Postniece, A Tiu
Arxiv preprint arXiv:1103.5286, 2011
422011
Combining derivations and refutations for cut-free completeness in bi-intuitionistic logic
R Goré, L Postniece
Journal of Logic and Computation 20 (1), 233-260, 2010
382010
Sound global state caching for ALC with inverse roles
R Goré, F Widmann
International Conference on Automated Reasoning with Analytic Tableaux and …, 2009
342009
One-pass tableaux for computation tree logic
P Abate, R Goré, F Widmann
International Conference on Logic for Programming Artificial Intelligence …, 2007
342007
A tableau calculus with automaton-labelled formulae for regular grammar logics
R Goré, LA Nguyen
International Conference on Automated Reasoning with Analytic Tableaux and …, 2005
342005
Optimal and cut-free tableaux for propositional dynamic logic with converse
R Goré, F Widmann
International Joint Conference on Automated Reasoning, 225-239, 2010
322010
A decidable policy language for history-based transaction monitoring
A Bauer, R Goré, A Tiu
arXiv preprint arXiv:0903.2904, 2009
32*2009
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20