Robin Hirsch

发表

Evolving Lucene search queries for text classification

Laurence Hirsch, Robin Hirsch, Masoud Saeedi, 2007, GECCO '07.

Decidability of Equational Theories for Subsignatures of Relation Algebra

Robin Hirsch, R. Hirsch, 2018, RAMiCS.

Weak representations of relation algebras and relational bases

Ian M. Hodkinson, Roger D. Maddux, Robin Hirsch, 2011, The Journal of Symbolic Logic.

THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE

Mark Reynolds, Robin Hirsch, Mark Reynolds, 2015, The Journal of Symbolic Logic.

A Finite Relation Algebra with Undecidable Network Satisfaction Problem

Robin Hirsch, R. Hirsch, 1999, Log. J. IGPL.

Games in Algebraic Logic: Axiomatisations and Beyond

Robin Hirsch, Ian Hodkinson, I. Hodkinson, 2007 .

Modal Logic and Relativity

Robin Hirsch, 2010 .

Provability with Finitely Many Variables

Ian M. Hodkinson, Roger D. Maddux, Robin Hirsch, 2002, Bulletin of Symbolic Logic.

Introduction to games

Robin Hirsch, 2002 .

The algebra of non-deterministic programs: demonic operators, orders and axioms pdf

Robin Hirsch, Tim Stokes, Szabolcs Mikul'as, 2020, Log. J. IGPL.

Mosaics and step-by-step.

Szabolcs Mikulás, Robin Hirsch, Mark Reynolds, 1999 .

Ordered domain algebras

Szabolcs Mikulás, Robin Hirsch, R. Hirsch, 2013, J. Appl. Log..

Finite Representability of Semigroups with Demonic Refinement pdf

Robin Hirsch, Jas Semrl, 2020, ArXiv.

Meet-completions and ordered domain algebras

Robin Hirsch, Rob Egrot, 2015, Log. J. IGPL.

INTRACTABILITY IN THE ALLEN AND KOOMEN PLANNER

Robin Hirsch, R. Hirsch, 1995, Comput. Intell..

Chapter 7 – Games and networks

Robin Hirsch, Ian Hodkinson, 2002 .

EVOLVING TEXT CLASSIFICATION RULES WITH GENETIC PROGRAMMING

Laurence Hirsch, Robin Hirsch, Masoud Saeedi, 2005, Appl. Artif. Intell..

Tractable approximations for temporal constraint handling

Robin Hirsch, R. Hirsch, 2000, Artif. Intell..

Relation Algebras of Intervals

Robin Hirsch, R. Hirsch, 1996, Artif. Intell..

Expressive Power and Complexity in Algebraic Logic

Robin Hirsch, R. Hirsch, 1997, J. Log. Comput..

Chapter 17 - Applying the rainbow construction

Robin Hirsch, Ian Hodkinson, 2002 .

The Complexity of the Warranted Formula Problem in Propositional Argumentation

Robin Hirsch, Nikos Gorogiannis, R. Hirsch, 2010, J. Log. Comput..

Chapter 10 – Game trees

Robin Hirsch, Ian Hodkinson, I. Hodkinson, 2002 .

Probabilistic Logic over Paths

Robin Hirsch, Evan Tzanis, R. Hirsch, 2008, QAPL.

Peirce Algebras and Boolean Modules

Robin Hirsch, R. Hirsch, 2007, J. Log. Comput..

The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable

Robin Hirsch, 2005, Log. J. IGPL.

Relation algebra reducts of cylindric algebras and complete representations

Robin Hirsch, R. Hirsch, 2007, Journal of Symbolic Logic.

Evolving Rules for Document Classification

Laurence Hirsch, Robin Hirsch, Masoud Saeedi, 2005, EuroGP.

Relation Algebras with n-Dimensional Relational Bases

Ian M. Hodkinson, Robin Hirsch, I. Hodkinson, 2000, Ann. Pure Appl. Log..

Every Logic Between K3 and S53 is Undecidable and Non-Finitely Aximatisable

Robin Hirsch, A Kurucz, Ian Hodkinson, 2002 .

Disjoint-union partial algebras

Robin Hirsch, Brett McLean, R. Hirsch, 2016, Log. Methods Comput. Sci..

Completely Representable Relation Algebras

Robin Hirsch, 1995, Log. J. IGPL.

Completions and Complete Representations

Robin Hirsch, Ian Hodkinson, 2013 .

Algebraic foundations for qualitative calculi and networks pdf

Robin Hirsch, Todd Niven, Marcel Jackson, 2016, Theor. Comput. Sci..

The Temporal Logic of Two-Dimensional Minkowski Spacetime with Slower-Than-Light Accessibility Is Decidable pdf

Robin Hirsch, Brett McLean, 2018, Advances in Modal Logic.

Complete representations in algebraic logic

Ian M. Hodkinson, Robin Hirsch, I. Hodkinson, 1997, Journal of Symbolic Logic.

Axiomatising Various Classes of Relation and Cylindric Algebras

Ian M. Hodkinson, Robin Hirsch, I. Hodkinson, 1997, Log. J. IGPL.

There is no Finite-variable Equational Axiomatization of Representable Relation Algebras over Weakly Representable Relation Algebras

Roger D. Maddux, Robin Hirsch, Jeremy F. Alm, 2016, Rev. Symb. Log..

A New Reduction from 3SAT to n-Partite Graphs

Robin Hirsch, Bernard F. Buxton, R. Beau Lotto, 2007, 2007 IEEE Symposium on Foundations of Computational Intelligence.

Axiomatizability of representable domain algebras

Szabolcs Mikulás, Robin Hirsch, R. Hirsch, 2011, J. Log. Algebraic Methods Program..

Improved lower bounds on the size of the smallest solution to a graph colouring problem, with an application to relation algebra.

Robin Hirsch, L Dodd, 2013 .

Undecidability of representability as binary relations

Robin Hirsch, Marcel Jackson, M. Jackson, 2012, The Journal of Symbolic Logic.

THE NEAT EMBEDDING PROBLEM FOR ALGEBRAS OTHER THAN CYLINDRIC ALGEBRAS AND FOR INFINITE DIMENSIONS

Robin Hirsch, Tarek Sayed Ahmed, R. Hirsch, 2014, The Journal of Symbolic Logic.

Metro Railway Safety: Analysis of Accident Precursors

Arnab Majumdar, Robin Hirsch, Miltos Kyriakidis, 2012 .

The complexity of constraint satisfaction problems for small relation algebras

Matteo Cristani, Robin Hirsch, R. Hirsch, 2004, Artif. Intell..

Evolving Text Classifiers with Genetic Programming

Laurence Hirsch, Robin Hirsch, Masoud Saeedi, 2004, EuroGP.

A Global Safety Analysis and Best Practice for Metro Railways

Arnab Majumdar, Robin Hirsch, Miltos Kyriakidis, 2013 .

From points to intervals

Robin Hirsch, R. Hirsch, 1994, J. Appl. Non Class. Logics.

Relation algebras form cylindric algebras, I

Ian M. Hodkinson, Robin Hirsch, I. Hodkinson, 2001, Ann. Pure Appl. Log..

Relation algebras form cylindric algebras, II

Ian M. Hodkinson, Robin Hirsch, I. Hodkinson, 2001, Ann. Pure Appl. Log..

The algebra of functions with antidomain and range pdf

Szabolcs Mikulás, Robin Hirsch, Marcel Jackson, 2014, ArXiv.

Step by step – Building representations in algebraic logic

Ian M. Hodkinson, Robin Hirsch, I. Hodkinson, 1997, Journal of Symbolic Logic.

On Modal Logics Between K x K x K and S5 x S5 x S5

Ian M. Hodkinson, Robin Hirsch, Ágnes Kurucz, 2002, J. Symb. Log..

Chapter 19 – Finite base property

Robin Hirsch, Ian Hodkinson, 2002 .

Strongly representable atom structures of cylindric algebras

Ian M. Hodkinson, Robin Hirsch, I. Hodkinson, 2009, The Journal of Symbolic Logic.

POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS

Szabolcs Mikulás, Robin Hirsch, R. Hirsch, 2010, The Review of Symbolic Logic.

Relation algebra reducts of cylindric algebras and an application to proof theory

Ian M. Hodkinson, Roger D. Maddux, Robin Hirsch, 2002, Journal of Symbolic Logic.

Corrigendum to: "Relation algebra reducts of cylindric algebras and complete representations"

Robin Hirsch, 2013, J. Symb. Log..

Connections between cylindric algebras and relation algebras

Ian M. Hodkinson, Robin Hirsch, I. Hodkinson, 1998, RelMiCS.

The Finite Representable Relation Algebras are not Recursive (Abstract)

Robin Hirsch, 1997, RelMiCS.

Human Factors Considerations for the Application of Augmented Reality in an Operational Railway Environment

Robin Hirsch, Christopher Lowe, Neil Hall, 2015 .

Axioms for signatures with domain and demonic composition

Robin Hirsch, Tim E. Stokes, 2021 .

A corrected strategy for proving no finite variable axiomatisation exists for RRA

Robin Hirsch, Rob Egrot, 2021 .

Seurat games on Stockmeyer graphs

Robin Hirsch, Rob Egrot, 2022, J. Graph Theory.

Temporal Logic of Minkowski Spacetime

Robin Hirsch, Brett McLean, 2021, Outstanding Contributions to Logic.

Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition

Robin Hirsch, Jas Semrl, R. Hirsch, 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH

Robin Hirsch, Rob Egrot, 2021, The Journal of Symbolic Logic.

Undecidability of Algebras of Binary Relations

Robin Hirsch, Marcel Jackson, Ian Hodkinson, 2021 .

Mosaics and step-by-step. Remarks on “A modal logic of relations”

Maarten Marx, Mark Reynolds, Robin Hirsch, 1999 .

Positive Reducts of Relevance Logic and Algebras of Binary Relations

Robin Hirsch, 2010 .

ON MODAL LOGICS BETWEEN K×K×K AND S5× S5× S5

Ian M. Hodkinson, Robin Hirsch, Ágnes Kurucz, 2006 .

Representable semilattice-ordered monoids

Szabolcs Mikulás, Robin Hirsch, R. Hirsch, 2007 .

Some Undecidable Problems on Representability as Binary Relations

Robin Hirsch, Marcel Jackson, 2012 .

Completely representable lattices

Robin Hirsch, R. Hirsch, R. Egrot, 2012, 1201.2331.

Representability is not decidable for finite relation algebras

Robin Hirsch, Ian Hodkinson, I. Hodkinson, 1999 .

Strongly representable atom structures of relation algebras

Robin Hirsch, Ian Hodkinson, I. Hodkinson, 2001 .

Relation Algebras from Cylindric Algebras, Ii Version 6.3

Robin Hirsch, Ian Hodkinson, I. Hodkinson, 1999 .