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) |