Search the dblp DataBase
Robin Hirsch :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Robin Hirsch The Finite Representable Relation Algebras are not Recursive (Abstract). [Citation Graph (0, 0)][DBLP ] RelMiCS, 1997, pp:245- [Conf ] Robin Hirsch , Ian M. Hodkinson Connections between cylindric algebras and relation algebras. [Citation Graph (0, 0)][DBLP ] RelMiCS, 1998, pp:100-105 [Conf ] Laurence Hirsch , Masoud Saeedi , Robin Hirsch Evolving Text Classifiers with Genetic Programming. [Citation Graph (0, 0)][DBLP ] EuroGP, 2004, pp:309-317 [Conf ] Laurence Hirsch , Masoud Saeedi , Robin Hirsch Evolving Rules for Document Classification. [Citation Graph (0, 0)][DBLP ] EuroGP, 2005, pp:85-95 [Conf ] Laurence Hirsch , Masoud Saeedi , Robin Hirsch Evolving Text Classification Rules with Genetic Programming. [Citation Graph (0, 0)][DBLP ] Applied Artificial Intelligence, 2005, v:19, n:7, pp:659-676 [Journal ] Matteo Cristani , Robin Hirsch The complexity of constraint satisfaction problems for small relation algebras. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2004, v:156, n:2, pp:177-196 [Journal ] Robin Hirsch Tractable approximations for temporal constraint handling. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2000, v:116, n:1-2, pp:287-295 [Journal ] Robin Hirsch Relation Algebras of Intervals. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1996, v:83, n:2, pp:267-295 [Journal ] Robin Hirsch , Ian M. Hodkinson Relation Algebras with n-Dimensional Relational Bases. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2000, v:101, n:2-3, pp:227-274 [Journal ] Robin Hirsch , Ian M. Hodkinson Relation algebras form cylindric algebras, I. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2001, v:112, n:2-3, pp:225-266 [Journal ] Robin Hirsch , Ian M. Hodkinson Relation algebras form cylindric algebras, II. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2001, v:112, n:2-3, pp:267-297 [Journal ] Robin Hirsch , Ian M. Hodkinson , Roger D. Maddux Provability with finitely many variables. [Citation Graph (0, 0)][DBLP ] Bulletin of Symbolic Logic, 2002, v:8, n:3, pp:348-379 [Journal ] Robin Hirsch Intractability in the Allen and Koomen Planner. [Citation Graph (0, 0)][DBLP ] Computational Intelligence, 1995, v:11, n:, pp:553-564 [Journal ] Robin Hirsch The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 2005, v:13, n:2, pp:159-171 [Journal ] Robin Hirsch A Finite Relation Algebra with Undecidable Network Satisfaction Problem. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 1999, v:7, n:4, pp:547-554 [Journal ] Robin Hirsch , Ian M. Hodkinson Axiomatising Various Classes of Relation and Cylindric Algebras. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 1997, v:5, n:2, pp:- [Journal ] Robin Hirsch From points to intervals. [Citation Graph (0, 0)][DBLP ] Journal of Applied Non-Classical Logics, 1994, v:4, n:1, pp:- [Journal ] Robin Hirsch , Ian M. Hodkinson Step by Step - Building Representations in Algebraic Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1997, v:62, n:1, pp:225-279 [Journal ] Robin Hirsch , Ian M. Hodkinson Complete Representations in Algebraic Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1997, v:62, n:3, pp:816-847 [Journal ] Robin Hirsch , Ian M. Hodkinson , Ágnes Kurucz On Modal Logics Between K x K x K and S5 x S5 x S5. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:221-234 [Journal ] Robin Hirsch , Ian M. Hodkinson , Roger D. Maddux Relation Algebra Reducts of Cylindric Algebras and An Application to Proof Theory. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:197-213 [Journal ] Robin Hirsch Expressive Power and Complexity in Algebraic Logic. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 1997, v:7, n:3, pp:309-351 [Journal ] Laurence Hirsch , Robin Hirsch , Masoud Saeedi Evolving Lucene search queries for text classification. [Citation Graph (0, 0)][DBLP ] GECCO, 2007, pp:1604-1611 [Conf ] Daniel J. Hulme , Robin Hirsch , Bernard F. Buxton , R. Beau Lotto A New Reduction from 3SAT to n-Partite Graphs. [Citation Graph (0, 0)][DBLP ] FOCI, 2007, pp:235-238 [Conf ] Robin Hirsch Peirce Algebras and Boolean Modules. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2007, v:17, n:2, pp:255-283 [Journal ] Probabilistic Logic over Paths. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.004secs