 | 2009 |
|---|
| 67 |       | Rajeev Goré,
Florian Widmann:
An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability.
CADE 2009: 437-452 |
| 66 | | Rajeev Goré:
Global Caching, Inverse Roles and Fixpoint Logics.
Description Logics 2009 |
| 65 | | Rajeev Goré:
Machine Checking Proof Theory: An Application of Logic to Logic.
ICLA 2009: 23-35 |
| 64 | | Andreas Bauer,
Rajeev Goré,
Alwen Tiu:
A First-Order Policy Language for History-Based Transaction Monitoring.
ICTAC 2009: 96-111 |
| 63 | | Alwen Tiu,
Rajeev Goré:
A Proof Theoretic Analysis of Intruder Theories.
RTA 2009: 103-117 |
| 62 | | Rajeev Goré,
Linda Postniece,
Alwen Tiu:
Taming Displayed Tense Logics Using Nested Sequents with Deep Inference.
TABLEAUX 2009: 189-204 |
| 61 | | Rajeev Goré,
Florian Widmann:
Sound Global State Caching for ALC with Inverse Roles.
TABLEAUX 2009: 205-219 |
| 60 | | Andreas Bauer,
Rajeev Goré,
Alwen Tiu:
A decidable policy language for history-based transaction monitoring
CoRR abs/0903.2904: (2009) |
| 59 | | Pietro Abate,
Rajeev Goré,
Florian Widmann:
An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability.
Electr. Notes Theor. Comput. Sci. 231: 191-209 (2009) |
| 58 | | Pietro Abate,
Rajeev Goré:
The Tableau Workbench.
Electr. Notes Theor. Comput. Sci. 231: 55-67 (2009) |
| 57 | | Rajeev Goré,
Linh Anh Nguyen:
Clausal Tableaux for Multimodal Logics of Belief.
Fundam. Inform. 94(1): 21-40 (2009) |
| 56 | | Jeremy E. Dawson,
Rajeev Goré:
Termination of Abstract Reduction Systems.
Int. J. Found. Comput. Sci. 20(1): 57-82 (2009) |
| 2008 |
|---|
| 55 | | Rajeev Goré,
Linda Postniece,
Alwen Tiu:
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.
Advances in Modal Logic 2008: 43-66 |
| 54 | | Rajeev Goré,
Revantha Ramanayake:
Valentini's cut-elimination for provability logic resolved.
Advances in Modal Logic 2008: 67-86 |
| 53 | | Rajeev Goré,
Linda Postniece:
An Experimental Evaluation of Global Caching for (System Description).
IJCAR 2008: 299-305 |
| 52 | | Alwen Tiu,
Rajeev Goré:
A proof theoretic analysis of intruder theories
CoRR abs/0804.0273: (2008) |
| 2007 |
|---|
| 51 | | Jeremy E. Dawson,
Rajeev Goré:
Termination of Abstract Reduction Systems.
CATS 2007: 35-43 |
| 50 | | Rajeev Goré,
Linh Anh Nguyen:
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs.
CLIMA VIII 2007: 268-287 |
| 49 | | Rajeev Goré,
Linh Anh Nguyen:
EXPTIME Tableaux for ALC Using Sound Global Caching.
Description Logics 2007 |
| 48 | | Pietro Abate,
Rajeev Goré,
Florian Widmann:
One-Pass Tableaux for Computation Tree Logic.
LPAR 2007: 32-46 |
| 47 | | Rajeev Goré,
Linh Anh Nguyen:
EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies.
TABLEAUX 2007: 133-148 |
| 46 | | Linda Buisman,
Rajeev Goré:
A Cut-Free Sequent Calculus for Bi-intuitionistic Logic.
TABLEAUX 2007: 90-106 |
| 45 | | Linda Buisman,
Rajeev Goré:
A Cut-free Sequent Calculus for Bi-Intuitionistic Logic: Extended Version
CoRR abs/0704.1707: (2007) |
| 44 | | Pietro Abate,
Rajeev Goré,
Florian Widmann:
An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability
CoRR abs/0711.1016: (2007) |
| 43 | | Rajeev Goré,
Alwen Tiu:
Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5.
J. Log. Comput. 17(4): 767-794 (2007) |
| 2005 |
|---|
| 42 | | Rajeev Goré,
Linh Anh Nguyen:
A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics.
TABLEAUX 2005: 138-152 |
| 41 | | Linh Anh Nguyen,
Rajeev Goré:
Completeness of hyper-resolution via the semantics of disjunctive logic programs.
Inf. Process. Lett. 95(2): 363-369 (2005) |
| 2004 |
|---|
| 40 | | Jeremy E. Dawson,
Rajeev Goré:
A General Theorem on Termination of Rewriting.
CSL 2004: 100-114 |
| 39 | | Jennifer M. Davoren,
Thomas Moor,
Rajeev Goré,
Vaughan Coulthard,
Anil Nerode:
On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies.
FORMATS/FTRTFT 2004: 52-67 |
| 38 | | Valeria de Paiva,
Rajeev Goré,
Michael Mendler:
Editorial.
J. Log. Comput. 14(4): 439-446 (2004) |
| 37 | | Valeria de Paiva,
Rajeev Goré,
Michael Mendler:
Forthcoming Papers.
J. Log. Comput. 14(4): 621-622 (2004) |
| 2003 |
|---|
| 36 | | Agnes Boskovitz,
Rajeev Goré,
Markus Hegland:
A Logical Formalisation of the Fellegi-Holt Method of Data Cleaning.
IDA 2003: 554-565 |
| 35 | | Pietro Abate,
Rajeev Goré:
The Tableaux Work Bench.
TABLEAUX 2003: 230-236 |
| 34 | | Jeremy E. Dawson,
Rajeev Goré:
A New Machine-checked Proof of Strong Normalisation for Display Logic.
Electr. Notes Theor. Comput. Sci. 78: (2003) |
| 2002 |
|---|
| 33 | | Jeremy E. Dawson,
Rajeev Goré:
Machine-Checking the Timed Interval Calculus.
Australian Joint Conference on Artificial Intelligence 2002: 95-106 |
| 32 | | Jeremy E. Dawson,
Rajeev Goré:
Formalised Cut Admissibility for Display Logic.
TPHOLs 2002: 131-147 |
| 31 | | Stéphane Demri,
Rajeev Goré:
Theoremhood-preserving Maps Characterizing Cut Elimination for Modal Provability Logics.
J. Log. Comput. 12(5): 861-884 (2002) |
| 30 | | Stéphane Demri,
Rajeev Goré:
Display Calculi for Nominal Tense Logics.
J. Log. Comput. 12(6): 993-1016 (2002) |
| 2001 |
|---|
| 29 |  | Rajeev Goré,
Alexander Leitsch,
Tobias Nipkow:
Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings
Springer 2001 |
| 28 | | Rajeev Goré,
Phuong Thê Nguyên:
CardS4: Modal Theorem Proving on Java Smartcards.
E-smart 2001: 111-123 |
| 27 | | Jeremy E. Dawson,
Rajeev Goré:
Embedding Display Calculi into Logical Frameworks: Comparing Twelf and Isabelle.
Electr. Notes Theor. Comput. Sci. 42: (2001) |
| 26 | | Bernhard Beckert,
Rajeev Goré:
Free-Variable Tableaux for Propositional Modal Logics.
Studia Logica 69(1): 59-96 (2001) |
| 2000 |
|---|
| 25 | | Jennifer M. Davoren,
Rajeev Goré:
Bimodal Logics for Reasoning About Continuous Dynamics.
Advances in Modal Logic 2000: 91-111 |
| 24 | | Rajeev Goré,
Lan Duy Nguyen:
CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security.
Java Card Workshop 2000: 38-51 |
| 23 | | Rajeev Goré:
Dual Intuitionistic Logic Revisited.
TABLEAUX 2000: 252-267 |
| 22 | | Stéphane Demri,
Rajeev Goré:
Display Calculi for Logics with Relative Accessibility Relations.
Journal of Logic, Language and Information 9(2): 213-236 (2000) |
| 21 | | Rajeev Goré:
Displaying Modal Logic, Heinrich Wansing.
Journal of Logic, Language and Information 9(2): 269-272 (2000) |
| 20 | | Carlos Areces,
Enrico Franconi,
Rajeev Goré,
Maarten de Rijke,
Bernd-Holger Schlingloff:
Editorial.
Logic Journal of the IGPL 8(3): (2000) |
| 1999 |
|---|
| 19 | | Stéphane Demri,
Rajeev Goré:
Tractable Transformations from Modal Provability Logics into First-Order Logic.
CADE 1999: 16-30 |
| 18 | | Stéphane Demri,
Rajeev Goré:
Cut-Free Display Calculi for Nominal Tense Logics.
TABLEAUX 1999: 155-170 |
| 17 | | Vijay Boyapati,
Rajeev Goré:
KtSeqC: System Description.
TABLEAUX 1999: 29-31 |
| 1998 |
|---|
| 16 | | Jeremy E. Dawson,
Rajeev Goré:
A Mechanisation of Classical Modal Tense Logics Using Isabelle.
Australian Joint Conference on Artificial Intelligence 1998: 107-118 |
| 15 | | Andrew Slater,
Rajeev Goré,
Joachim Posegga,
Harald Vogt:
cardTAP: Automated Deduction on a Smart Card.
Australian Joint Conference on Artificial Intelligence 1998: 239-247 |
| 14 | | Nicolette Bonnette,
Rajeev Goré:
A Labelled Sequent System for Tense Logic Kt.
Australian Joint Conference on Artificial Intelligence 1998: 71-82 |
| 13 | | Rajeev Goré,
Joachim Posegga,
Andrew Slater,
Harald Vogt:
System Description: card TAP: The First Theorem Prover on a Smart Card.
CADE 1998: 47-50 |
| 12 | | Bernhard Beckert,
Rajeev Goré:
System Description: leanK 2.0.
CADE 1998: 51-55 |
| 11 | | Stéphane Demri,
Rajeev Goré:
An O ((n·log n)3)-Time Transformation from Grz into Decidable Fragments of Classical First-Order Logic.
FTP (LNCS Selection) 1998: 152-166 |
| 10 | | Jeremy E. Dawson,
Rajeev Goré:
A Mechanised Proof System for Relation Algebra using Display Logic.
JELIA 1998: 264-278 |
| 9 | | Bernhard Beckert,
Rajeev Goré:
leanK 2.0.
TABLEAUX 1998: 33-34 |
| 8 | | Rajeev Goré:
Substructural Logics on Display.
Logic Journal of the IGPL 6(3): 451-504 (1998) |
| 7 | | Rajeev Goré:
Gaggles, Gentzen and Galois: How to display your favourite substructural logic.
Logic Journal of the IGPL 6(5): 669-694 (1998) |
| 1997 |
|---|
| 6 | | Bernhard Beckert,
Rajeev Goré:
Free Variable Tableaux for Propositional Modal Logics.
TABLEAUX 1997: 91-106 |
| 5 | | Rajeev Goré,
Wolfgang Heinle,
Alain Heuerding:
Relations Between Propositional Normal Modal Logics: An Overview.
J. Log. Comput. 7(5): 649-658 (1997) |
| 1996 |
|---|
| 4 | | Rajeev Goré:
Cut-free Display Calculi for Relation Algebras.
CSL 1996: 198-210 |
| 1995 |
|---|
| 3 | | Krysia Broda,
Marcello D'Agostino,
Rajeev Goré,
Rob Johnson,
Steve Reeves:
Editorial.
Logic Journal of the IGPL 3(6): 826 (1995) |
| 1994 |
|---|
| 2 | | Rajeev Goré:
Cut-free sequent and tableau systems for propositional Diodorean modal logics.
Studia Logica 53(3): 433-458 (1994) |
| 1989 |
|---|
| 1 | | Rajeev Goré,
Kotagiri Ramamohanarao:
Automatic Synthesis of Boolean Equations Using Programmable Array Logic.
DAC 1989: 283-289 |
