- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j27 |      | Robin Hirsch, Marcel Jackson: Undecidability of representability as binary relations. J. Symb. Log. 77(4): 1211-1244 (2012) |
| 2011 | ||
| j26 | | Robin Hirsch, Szabolcs Mikulás: Axiomatizability of representable domain algebras. J. Log. Algebr. Program. 80(2): 75-91 (2011) |
| j25 | | Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux: Weak representations of relation algebras and relational bases. J. Symb. Log. 76(3): 870-882 (2011) |
| 2010 | ||
| j24 | | Robin Hirsch, Nikos Gorogiannis: The Complexity of the Warranted Formula Problem in Propositional Argumentation. J. Log. Comput. 20(2): 481-499 (2010) |
| 2009 | ||
| j23 | | Robin Hirsch, Ian M. Hodkinson: Strongly representable atom structures of cylindric algebras. J. Symb. Log. 74(3): 811-828 (2009) |
| 2008 | ||
| j22 | | Evan Tzanis, Robin Hirsch: Probabilistic Logic over Paths. Electr. Notes Theor. Comput. Sci. 220(3): 79-96 (2008) |
| 2007 | ||
| j21 | | Robin Hirsch: Relation algebra reducts of cylindric algebras and complete representations. J. Symb. Log. 72(2): 673-703 (2007) |
| j20 | | |
| c6 | | Daniel J. Hulme, Robin Hirsch, Bernard F. Buxton, R. Beau Lotto: A New Reduction from 3SAT to n-Partite Graphs. FOCI 2007: 235-238 |
| c5 | | Laurence Hirsch, Robin Hirsch, Masoud Saeedi: Evolving Lucene search queries for text classification. GECCO 2007: 1604-1611 |
| 2005 | ||
| j19 | | Laurence Hirsch, Masoud Saeedi, Robin Hirsch: Evolving Text Classification Rules with Genetic Programming. Applied Artificial Intelligence 19(7): 659-676 (2005) |
| j18 | | Robin Hirsch: The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable. Logic Journal of the IGPL 13(2): 159-171 (2005) |
| c4 | | Laurence Hirsch, Masoud Saeedi, Robin Hirsch: Evolving Rules for Document Classification. EuroGP 2005: 85-95 |
| 2004 | ||
| j17 | | Matteo Cristani, Robin Hirsch: The complexity of constraint satisfaction problems for small relation algebras. Artif. Intell. 156(2): 177-196 (2004) |
| c3 | | Laurence Hirsch, Masoud Saeedi, Robin Hirsch: Evolving Text Classifiers with Genetic Programming. EuroGP 2004: 309-317 |
| 2002 | ||
| j16 | | Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux: Provability with finitely many variables. Bulletin of Symbolic Logic 8(3): 348-379 (2002) |
| j15 | | 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): 197-213 (2002) |
| j14 | | 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): 221-234 (2002) |
| 2001 | ||
| j13 | | Robin Hirsch, Ian M. Hodkinson: Relation algebras form cylindric algebras, I. Ann. Pure Appl. Logic 112(2-3): 225-266 (2001) |
| j12 | | Robin Hirsch, Ian M. Hodkinson: Relation algebras form cylindric algebras, II. Ann. Pure Appl. Logic 112(2-3): 267-297 (2001) |
| 2000 | ||
| j11 | | Robin Hirsch: Tractable approximations for temporal constraint handling. Artif. Intell. 116(1-2): 287-295 (2000) |
| j10 | | Robin Hirsch, Ian M. Hodkinson: Relation Algebras with n-Dimensional Relational Bases. Ann. Pure Appl. Logic 101(2-3): 227-274 (2000) |
| 1999 | ||
| j9 | | Robin Hirsch: A Finite Relation Algebra with Undecidable Network Satisfaction Problem. Logic Journal of the IGPL 7(4): 547-554 (1999) |
| 1998 | ||
| c2 |  | Robin Hirsch, Ian M. Hodkinson: Connections between cylindric algebras and relation algebras. RelMiCS 1998: 100-105 |
| 1997 | ||
| j8 | | Robin Hirsch, Ian M. Hodkinson: Axiomatising Various Classes of Relation and Cylindric Algebras. Logic Journal of the IGPL 5(2): 209-229 (1997) |
| j7 | | Robin Hirsch, Ian M. Hodkinson: Step by Step - Building Representations in Algebraic Logic. J. Symb. Log. 62(1): 225-279 (1997) |
| j6 | | Robin Hirsch, Ian M. Hodkinson: Complete Representations in Algebraic Logic. J. Symb. Log. 62(3): 816-847 (1997) |
| j5 | | Robin Hirsch: Expressive Power and Complexity in Algebraic Logic. J. Log. Comput. 7(3): 309-351 (1997) |
| c1 | | Robin Hirsch: The Finite Representable Relation Algebras are not Recursive (Abstract). RelMiCS 1997: 245 |
| 1996 | ||
| j4 | | |
| 1995 | ||
| j3 | | Robin Hirsch: Intractability in the Allen and Koomen Planner. Computational Intelligence 11: 553-564 (1995) |
| j2 | | Robin Hirsch: Completely Representable Relation Algebras. Logic Journal of the IGPL 3(1): 77-92 (1995) |
| 1994 | ||
| j1 | | |
Colors in the list of coauthors
Last update Sat May 25 06:56:53 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page