Robin Hirsch - RankMe

58 papers A* 1A 1B 4C 1Journal 47Unranked 4

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