| 2008 |
|---|
| 27 | EE | Evan Tzanis,
Robin Hirsch:
Probabilistic Logic over Paths.
Electr. Notes Theor. Comput. Sci. 220(3): 79-96 (2008) |
| 2007 |
|---|
| 26 | EE | Daniel J. Hulme,
Robin Hirsch,
Bernard F. Buxton,
R. Beau Lotto:
A New Reduction from 3SAT to n-Partite Graphs.
FOCI 2007: 235-238 |
| 25 | EE | Laurence Hirsch,
Robin Hirsch,
Masoud Saeedi:
Evolving Lucene search queries for text classification.
GECCO 2007: 1604-1611 |
| 24 | EE | Robin Hirsch:
Peirce Algebras and Boolean Modules.
J. Log. Comput. 17(2): 255-283 (2007) |
| 2005 |
|---|
| 23 | EE | Laurence Hirsch,
Masoud Saeedi,
Robin Hirsch:
Evolving Rules for Document Classification.
EuroGP 2005: 85-95 |
| 22 | EE | Laurence Hirsch,
Masoud Saeedi,
Robin Hirsch:
Evolving Text Classification Rules with Genetic Programming.
Applied Artificial Intelligence 19(7): 659-676 (2005) |
| 21 | EE | 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) |
| 2004 |
|---|
| 20 | EE | Laurence Hirsch,
Masoud Saeedi,
Robin Hirsch:
Evolving Text Classifiers with Genetic Programming.
EuroGP 2004: 309-317 |
| 19 | EE | Matteo Cristani,
Robin Hirsch:
The complexity of constraint satisfaction problems for small relation algebras.
Artif. Intell. 156(2): 177-196 (2004) |
| 2002 |
|---|
| 18 | EE | Robin Hirsch,
Ian M. Hodkinson,
Roger D. Maddux:
Provability with finitely many variables.
Bulletin of Symbolic Logic 8(3): 348-379 (2002) |
| 17 | | 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) |
| 16 | | 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 |
|---|
| 15 | | Robin Hirsch,
Ian M. Hodkinson:
Relation algebras form cylindric algebras, I.
Ann. Pure Appl. Logic 112(2-3): 225-266 (2001) |
| 14 | | Robin Hirsch,
Ian M. Hodkinson:
Relation algebras form cylindric algebras, II.
Ann. Pure Appl. Logic 112(2-3): 267-297 (2001) |
| 2000 |
|---|
| 13 | | Robin Hirsch,
Ian M. Hodkinson:
Relation Algebras with n-Dimensional Relational Bases.
Ann. Pure Appl. Logic 101(2-3): 227-274 (2000) |
| 12 | EE | Robin Hirsch:
Tractable approximations for temporal constraint handling.
Artif. Intell. 116(1-2): 287-295 (2000) |
| 1999 |
|---|
| 11 | EE | Robin Hirsch:
A Finite Relation Algebra with Undecidable Network Satisfaction Problem.
Logic Journal of the IGPL 7(4): 547-554 (1999) |
| 1998 |
|---|
| 10 | | Robin Hirsch,
Ian M. Hodkinson:
Connections between cylindric algebras and relation algebras.
RelMiCS 1998: 100-105 |
| 1997 |
|---|
| 9 | | Robin Hirsch:
The Finite Representable Relation Algebras are not Recursive (Abstract).
RelMiCS 1997: 245 |
| 8 | | Robin Hirsch:
Expressive Power and Complexity in Algebraic Logic.
J. Log. Comput. 7(3): 309-351 (1997) |
| 7 | | Robin Hirsch,
Ian M. Hodkinson:
Step by Step - Building Representations in Algebraic Logic.
J. Symb. Log. 62(1): 225-279 (1997) |
| 6 | | Robin Hirsch,
Ian M. Hodkinson:
Complete Representations in Algebraic Logic.
J. Symb. Log. 62(3): 816-847 (1997) |
| 5 | EE | Robin Hirsch,
Ian M. Hodkinson:
Axiomatising Various Classes of Relation and Cylindric Algebras.
Logic Journal of the IGPL 5(2): (1997) |
| 1996 |
|---|
| 4 | EE | Robin Hirsch:
Relation Algebras of Intervals.
Artif. Intell. 83(2): 267-295 (1996) |
| 1995 |
|---|
| 3 | | Robin Hirsch:
Intractability in the Allen and Koomen Planner.
Computational Intelligence 11: 553-564 (1995) |
| 2 | EE | Robin Hirsch:
Completely Representable Relation Algebras.
Logic Journal of the IGPL 3(1): 77-92 (1995) |
| 1994 |
|---|
| 1 | | Robin Hirsch:
From points to intervals.
Journal of Applied Non-Classical Logics 4(1): (1994) |
