Picture of person typing on laptop with programming code visible on the laptop screen

World class computing and information science research at Strathclyde...

The Strathprints institutional repository is a digital archive of University of Strathclyde's Open Access research outputs. Strathprints provides access to thousands of Open Access research papers by University of Strathclyde researchers, including by researchers from the Department of Computer & Information Sciences involved in mathematically structured programming, similarity and metric search, computer security, software systems, combinatronics and digital health.

The Department also includes the iSchool Research Group, which performs leading research into socio-technical phenomena and topics such as information retrieval and information seeking behaviour.

Explore

Browse by Journal or other publication

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 8.

Cuenca Grau, Bernardo and Horrocks, Ian and Krötzsch, Markus and Kupke, Clemens and Magka, Despoina and Motik, Boris and Wang, Zhe (2013) Acyclicity notions for existential rules and their application to query answering in ontologies. Journal of Artificial Intelligence Research, 47. pp. 741-808. ISSN 1076-9757

Coles, A.I. and Smith, A.J. (2007) Marvin: a heuristic search planner with online macro-action learning. Journal of Artificial Intelligence Research, 28. pp. 119-156.

Fox, M. and Long, D. (2006) Modelling mixed discrete-continuous domains for planning. Journal of Artificial Intelligence Research, 27. pp. 235-297.

Hoffmann, J. and Porteous, J. and Sebastia, L. (2004) Ordered Landmarks in Planning. Journal of Artificial Intelligence Research, 22. pp. 215-278.

Fox, M. and Long, D. (2003) PDDL2.1: An extension of PDDL for expressing temporal planning domains. Journal of Artificial Intelligence Research, 20. pp. 61-124.

Long, D. and Fox, M. (2003) The 3rd International Planning Competition: Results and Analysis. Journal of Artificial Intelligence Research, 20. pp. 1-59.

Long, D. and Fox, M. (1999) Efficient Implementation of the Plan Graph in STAN. Journal of Artificial Intelligence Research, 10. pp. 87-115.

Fox, M. and Long, D. (1998) The automatic inference of state invariants in TIM. Journal of Artificial Intelligence Research, 9. pp. 367-421.

This list was generated on Thu Jul 27 00:13:41 2017 BST.