Robin Hirsch

	2011
32		Robin Hirsch, Szabolcs Mikulás: Axiomatizability of representable domain algebras. J. Log. Algebr. Program. 80(2): 75-91 (2011)
31		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
30		Robin Hirsch, Nikos Gorogiannis: The Complexity of the Warranted Formula Problem in Propositional Argumentation. J. Log. Comput. 20(2): 481-499 (2010)
	2009
29		Robin Hirsch, Ian M. Hodkinson: Strongly representable atom structures of cylindric algebras. J. Symb. Log. 74(3): 811-828 (2009)
	2008
28		Evan Tzanis, Robin Hirsch: Probabilistic Logic over Paths. Electr. Notes Theor. Comput. Sci. 220(3): 79-96 (2008)
	2007
27		Daniel J. Hulme, Robin Hirsch, Bernard F. Buxton, R. Beau Lotto: A New Reduction from 3SAT to n-Partite Graphs. FOCI 2007: 235-238
26		Laurence Hirsch, Robin Hirsch, Masoud Saeedi: Evolving Lucene search queries for text classification. GECCO 2007: 1604-1611
25		Robin Hirsch: Peirce Algebras and Boolean Modules. J. Log. Comput. 17(2): 255-283 (2007)
24		Robin Hirsch: Relation algebra reducts of cylindric algebras and complete representations. J. Symb. Log. 72(2): 673-703 (2007)
	2005
23		Laurence Hirsch, Masoud Saeedi, Robin Hirsch: Evolving Rules for Document Classification. EuroGP 2005: 85-95
22		Laurence Hirsch, Masoud Saeedi, Robin Hirsch: Evolving Text Classification Rules with Genetic Programming. Applied Artificial Intelligence 19(7): 659-676 (2005)
21		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		Laurence Hirsch, Masoud Saeedi, Robin Hirsch: Evolving Text Classifiers with Genetic Programming. EuroGP 2004: 309-317
19		Matteo Cristani, Robin Hirsch: The complexity of constraint satisfaction problems for small relation algebras. Artif. Intell. 156(2): 177-196 (2004)
	2002
18		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		Robin Hirsch: Tractable approximations for temporal constraint handling. Artif. Intell. 116(1-2): 287-295 (2000)
	1999
11		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		Robin Hirsch, Ian M. Hodkinson: Axiomatising Various Classes of Relation and Cylindric Algebras. Logic Journal of the IGPL 5(2): 209-229 (1997)
	1996
4		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		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)

Coauthor Index

1	Bernard F. Buxton	[27]
2	Matteo Cristani	[19]
3	Nikos Gorogiannis	[30]
4	Laurence Hirsch	[20] [22] [23] [26]
5	Ian M. Hodkinson	[5] [6] [7] [10] [13] [14] [15] [16] [17] [18] [29] [31]
6	Daniel J. Hulme	[27]
7	Ágnes Kurucz (Agi Kurucz)	[16]
8	R. Beau Lotto	[27]
9	Roger D. Maddux	[17] [18] [31]
10	Szabolcs Mikulás	[32]
11	Masoud Saeedi	[20] [22] [23] [26]
12	Evan Tzanis	[28]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page