Robin Hirsch

Publication Activity (10 Years)

Years Active: 1994-2022
Publications (10 Years): 19

Top Topics

Relation Algebra

Qualitative Spatial

Physically Plausible

Automata Theoretic

Top Venues

Publications

Robin Hirsch, Szabolcs Mikulás, Timothy Stokes
The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms. Log. J. IGPL 30 (5) (2022)
Rob Egrot, Robin Hirsch
First-order Axiomatisations of Representable Relation Algebras Need Formulas of Unbounded Quantifier depth. J. Symb. Log. 87 (3) (2022)
Robin Hirsch, Brett McLean
EXPTIME-hardness of higher-dimensional Minkowski spacetime. AiML (2022)
Rob Egrot, Robin Hirsch
Seurat games on Stockmeyer graphs. J. Graph Theory 99 (2) (2022)
Robin Hirsch, Brett McLean
EXPTIME-hardness of higher-dimensional Minkowski spacetime. CoRR (2022)
Robin Hirsch, Jas Semrl
Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition. CoRR (2021)
Robin Hirsch, Jas Semrl
Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition. LICS (2021)
Robin Hirsch, Jas Semrl
Finite Representability of Semigroups with Demonic Refinement. CoRR (2020)
Robin Hirsch, Szabolcs Mikulás, Tim Stokes
The algebra of non-deterministic programs: demonic operators, orders and axioms. CoRR (2020)
Robin Hirsch, Marcel Jackson, Tomasz Kowalski
Algebraic foundations for qualitative calculi and networks. Theor. Comput. Sci. 768 (2019)
Robin Hirsch, Brett McLean
The Temporal Logic of Two-Dimensional Minkowski Spacetime with Slower-Than-Light Accessibility Is Decidable. Advances in Modal Logic (2018)
Robin Hirsch, Mark Reynolds
The Temporal Logic of two dimensional Minkowski Spacetime is Decidable. J. Symb. Log. 83 (3) (2018)
Robin Hirsch, Brett McLean
The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable. CoRR (2018)
Robin Hirsch
Decidability of Equational Theories for Subsignatures of Relation Algebra. RAMiCS (2018)
Robin Hirsch, Brett McLean
Disjoint-union partial algebras. Log. Methods Comput. Sci. 13 (2) (2017)
Robin Hirsch, Brett McLean
Disjoint-union partial algebras. CoRR (2016)
Robin Hirsch, Marcel Jackson, Tomasz Kowalski, Todd Niven
Algebraic foundations for qualitative calculi and networks. CoRR (2016)
Jeremy F. Alm, Robin Hirsch, Roger D. Maddux
There is no Finite-variable Equational Axiomatization of Representable Relation Algebras over Weakly Representable Relation Algebras. Rev. Symb. Log. 9 (3) (2016)
Rob Egrot, Robin Hirsch
Meet-completions and ordered domain algebras. Log. J. IGPL 23 (4) (2015)
Robin Hirsch, Tarek Sayed Ahmed
The NEAT Embedding Problem for Algebras Other than cylindric Algebras and for Infinite Dimensions. J. Symb. Log. 79 (1) (2014)
Robin Hirsch, Marcel Jackson, Szabolcs Mikulás
The algebra of functions with antidomain and range. CoRR (2014)
Robin Hirsch
Corrigendum to: "Relation algebra reducts of cylindric algebras and complete representations". J. Symb. Log. 78 (4) (2013)
Robin Hirsch, Szabolcs Mikulás
Ordered domain algebras. J. Appl. Log. 11 (3) (2013)
Robin Hirsch, Marcel Jackson
Undecidability of representability as binary relations. J. Symb. Log. 77 (4) (2012)
Robin Hirsch, Szabolcs Mikulás
Axiomatizability of representable domain algebras. J. Log. Algebraic Methods Program. 80 (2) (2011)
Robin Hirsch, Szabolcs Mikulás
Positive Fragments of Relevance Logic and Algebras of Binary Relations. Rev. Symb. Log. 4 (1) (2011)
Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux
Weak representations of relation algebras and relational bases. J. Symb. Log. 76 (3) (2011)
Robin Hirsch, Nikos Gorogiannis
The Complexity of the Warranted Formula Problem in Propositional Argumentation. J. Log. Comput. 20 (2) (2010)
Robin Hirsch, Ian M. Hodkinson
Strongly representable atom structures of cylindric algebras. J. Symb. Log. 74 (3) (2009)
Evan Tzanis, Robin Hirsch
Probabilistic Logic over Paths. Electron. Notes Theor. Comput. Sci. 220 (3) (2008)
Robin Hirsch
Peirce Algebras and Boolean Modules. J. Log. Comput. 17 (2) (2007)
Daniel J. Hulme, Robin Hirsch, Bernard F. Buxton, R. Beau Lotto
A New Reduction from 3SAT to n-Partite Graphs. FOCI (2007)
Laurence Hirsch, Robin Hirsch, Masoud Saeedi
Evolving Lucene search queries for text classification. GECCO (2007)
Robin Hirsch
Relation algebra reducts of cylindric algebras and complete representations. J. Symb. Log. 72 (2) (2007)
Laurence Hirsch, Masoud Saeedi, Robin Hirsch
Evolving Text Classification Rules with Genetic Programming. Appl. Artif. Intell. 19 (7) (2005)
Robin Hirsch
The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable. Log. J. IGPL 13 (2) (2005)
Laurence Hirsch, Masoud Saeedi, Robin Hirsch
Evolving Rules for Document Classification. EuroGP (2005)
Laurence Hirsch, Masoud Saeedi, Robin Hirsch
Evolving Text Classifiers with Genetic Programming. EuroGP (2004)
Matteo Cristani, Robin Hirsch
The complexity of constraint satisfaction problems for small relation algebras. Artif. Intell. 156 (2) (2004)
Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux
Relation Algebra Reducts of Cylindric Algebras and An Application to Proof Theory. J. Symb. Log. 67 (1) (2002)
Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux
Provability with finitely many variables. Bull. Symb. Log. 8 (3) (2002)
Robin Hirsch, Ian M. Hodkinson, Ágnes Kurucz
On Modal Logics Between K x K x K and S5 x S5 x S5. J. Symb. Log. 67 (1) (2002)
Robin Hirsch, Ian M. Hodkinson
Relation algebras form cylindric algebras, II. Ann. Pure Appl. Log. 112 (2-3) (2001)
Robin Hirsch, Ian M. Hodkinson
Relation algebras form cylindric algebras, I. Ann. Pure Appl. Log. 112 (2-3) (2001)
Robin Hirsch, Ian M. Hodkinson
Relation Algebras with n-Dimensional Relational Bases. Ann. Pure Appl. Log. 101 (2-3) (2000)
Robin Hirsch
Tractable approximations for temporal constraint handling. Artif. Intell. 116 (1-2) (2000)
Robin Hirsch
A Finite Relation Algebra with Undecidable Network Satisfaction Problem. Log. J. IGPL 7 (4) (1999)
Robin Hirsch, Ian M. Hodkinson
Connections between cylindric algebras and relation algebras. RelMiCS (1998)
Robin Hirsch, Ian M. Hodkinson
Axiomatising Various Classes of Relation and Cylindric Algebras. Log. J. IGPL 5 (2) (1997)
Robin Hirsch
Expressive Power and Complexity in Algebraic Logic. J. Log. Comput. 7 (3) (1997)
Robin Hirsch, Ian M. Hodkinson
Step by Step - Building Representations in Algebraic Logic. J. Symb. Log. 62 (1) (1997)
Robin Hirsch, Ian M. Hodkinson
Complete Representations in Algebraic Logic. J. Symb. Log. 62 (3) (1997)
Robin Hirsch
The Finite Representable Relation Algebras are not Recursive (Abstract). RelMiCS (1997)
Robin Hirsch
Relation Algebras of Intervals. Artif. Intell. 83 (2) (1996)
Robin Hirsch
Completely Representable Relation Algebras. Log. J. IGPL 3 (1) (1995)
Robin Hirsch
Intractability in the Allen and Koomen Planner. Comput. Intell. 11 (1995)
Robin Hirsch
From points to intervals. J. Appl. Non Class. Logics 4 (1) (1994)