Publications on Logic Programming

2012

Covington, MA, Bagnara, R, O'Keefe, RA, Wielemaker, J, Price, S, Coding Guidelines for Prolog. Theory and Practice of Logic Programming, 12(6). ISSN 1471-0684, pp. 889–927. November 2012. PDF, 316 Kbytes. External information

2011

Oliver Ray, Takehide Soh, Katsumi Inoue, Analysing Pathways using ASP-Based approaches. Proceedings 2010 Conference on Algebraic and Numeric Biology, pp. 167–183. October 2011. PDF, 279 Kbytes.
Sebastian Spiegler, Machine Learning For The Analysis Of Morphologically Complex Languages. PhD thesis. Merchant Venturers School of Engineering, University of Bristol. April 2011. PDF, 3101 Kbytes.
Tarek Abudawood, Multi-class Subgroup Discovery: Heuristics, Algorithms and Predictiveness. PhD thesis. University of Bristol, Department of Computer Science, Faculty of Engineering. April 2011. PDF, 1541 Kbytes.

2010

Peter A. Flach, First-Order Logic. Chapter in Encyclopedia of Machine Learning. ISBN 978-0-387-30768-8, pp. 410–415. December 2010. PDF, 336 Kbytes. External information
Tarek Abudawood, Peter Flach, Selection of Seed Examples in ILP. The 3rd York Doctoral Symposium on Computing (YDS'10), pp. 29–38. November 2010. No electronic version available. External information
Oliver Ray, Ken Whelan, Ross King, Automatic Revision of Metabolic Networks through Logical Analysis of Experimental Data. 19th International Conference on Inductive Logic Programming, pp. 194–201. July 2010. PDF, 375 Kbytes.
Tarek Abudawood, Peter Flach, Learning Multi-class Theories in ILP. The 20th International Conference on Inductive Logic Programming (ILP'10). June 2010. PDF, 98 Kbytes.
Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue , Oliver Ray, SOLAR: An automated deduction system for consequence finding. AI Communications, 23(2-3), pp. 183–203. March 2010. PDF, 376 Kbytes.
Oliver Ray, Ken Whelan, Ross King, Logic-based Steady-State Analysis and Revision of Metabolic Networks with Inhibition. 2nd International Conference on Complex, Intelligent and Software Intensive Systems (from 3rd International Workshop on Intelligent Informatics in Biology and Medicine), pp. 661–666. February 2010. PDF, 356 Kbytes.

2009

Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastian Uchitel, Using abduction and induction for operational requirements elaboration. Journal of Applied Logic, 7(3), pp. 275–288. September 2009. PDF, 248 Kbytes.
Oliver Ray, Nonmonotonic abductive inductive learning. Journal of Applied Logic, 7(3), pp. 329–340. September 2009. PDF, 231 Kbytes.
Domenico Corapi, Oliver Ray, Alessandra Russo, Arosha Bandara, Emil Lupu, Learning rules from user behaviour. 5th International Conference on Artificial Intelligence Applications and Innovations , pp. 459–468. July 2009. PDF, 255 Kbytes.
Oliver Ray, Amanda Clare, Maria Liakata, Larisa Soldatova, Ken Whelan, Ross King, Towards the Automation of Scientific Method. IJCAI09 Workshop on Abductive and Inductive Knowledge Development, pp. 27–33. July 2009. PDF, 302 Kbytes.
Oliver Ray, Bruno Golenia, A Neural Network Approach for First-Order Abductive Inference. IJCAI09 Workshop on Neural-Symbolic Learning and Reasoning. July 2009. PDF, 259 Kbytes.
Antonis C. Kakas, Peter Flach, Abduction and Induction in Artificial Intelligence. Journal of Applied Logic, 7(3). ISSN 1570-8683, pp. 251–251. July 2009. No electronic version available.
Oliver Ray, Towards a Rational Approach for the Logical Modelling of Inhibition in Metabolic Networks. International Conference on Advanced Information Networking and Applications (from 2009 IEEE International Workshop on Bioinformatics and Life Science Modeling and Computing), pp. 918–923. May 2009. PDF, 114 Kbytes.
Oliver Ray, Ken Whelan, Ross King, A nonmonotonic logical approach for modelling and revising metabolic networks. 3rd International Conference on Complex, Intelligent and Software Intensive Systems (from 2nd International Workshop on Intelligent Informatics in Biology and Medicine), pp. 825–829. March 2009. PDF, 195 Kbytes.

2008

Domenico Corapi, Oliver Ray, Alessandra Russo, Arosha Bandara, Emil Lupu, Learning Rules from User Behaviour. 2nd International Workshop on the Induction of Process Models. September 2008. PDF, 215 Kbytes. External information
Simon Price, Peter Flach, Querying and Merging Heterogeneous Data by Approximate Joins on Higher-Order Terms. Proceedings 18th International Conference on Inductive Logic Programming. ISBN 9783540859277, pp. 226–243. August 2008. PDF, 331 Kbytes. External information
Oliver Ray, Chris Bryant, Inferring the function of genes from synthetic lethal mutations. 2nd International Conference on Complex, Intelligent and Software Intensive Systems (from 1st International Workshop on Intelligent Informatics in Biology and Medicine), pp. 667–671. February 2008. PDF, 75 Kbytes.
Oliver Ray, Katsumi Inoue, Mode-Directed Inverse Entailment for Full Clausal Theories. 17th International Conference on Inductive Logic Programming, pp. 225–238. February 2008. PDF, 178 Kbytes.

2007

Oliver Ray, Katsumi Inoue, A Consequence Finding Approach for Full Clausal Abduction. 10th International Conference on Discovery Science, pp. 173–184. September 2007. PDF, 153 Kbytes.
Oliver Ray, Inferring process models from temporal data with abduction and induction. 1st International Workshop on the Induction of Process Models. June 2007. PDF, 94 Kbytes. External information
Oliver Ray, Automated Abduction in Scientific Discovery. Model-Based Reasoning in Science and Medicine, pp. 103–116. June 2007. PDF, 254 Kbytes.
Steve Gregory, Martha Paschali, A Prolog-based language for workflow programming. Proceedings of the 9th International Conference on Coordination Models and Languages (COORDINATION 2007). ISBN 978-3-540-72793-4, pp. 56–75. June 2007. PDF, 112 Kbytes.
Artur S. d'Avila Garcez, Dov M. Gabbay, Oliver Ray, John. H. Woods, Abductive reasoning in neural-symbolic systems. TOPOI, 26(1), pp. 37–49. April 2007. PDF, 373 Kbytes.
Steve Gregory, Martha Paschali, A Prolog-based language for workflow programming. CSTR-07-001, University of Bristol. February 2007. PDF, 171 Kbytes.

2006

Oliver Ray, Athos Antoniades, Antonis Kakas, Ioannis Demetriades, Abductive Logic Programming in the Clinical Management of HIV/AIDS. 17th European Conference on Artificial Intelligence. G. Brewka, S.Coradeschi, A. Perini, P. Traverso, (eds.), pp. 437–441. August 2006. PDF, 77 Kbytes.
Oliver Ray, Artur Garcez, Towards the integration of abduction and induction in artificial neural networks. ECAI06 workshop on Neural-Symbolic Learning and Reasoning. A.Garcez, P. Hitzler, G. Tamburrini, (eds.), pp. 41–46. August 2006. PDF, 213 Kbytes. External information
Oliver Ray, Using abduction for induction of normal logic programs. ECAI'06 Workshop on Abduction and Induction in Artificial Intelligence and Scientific Modelling. P. Flach, A. Kakas, L. Magnani, O. Ray, (eds.), pp. 28–31. August 2006. PDF, 82 Kbytes. External information
Peter Flach, Antonis Kakas, Oliver Ray, Abduction, induction, and the logic of scientific knowledge development. ECAI'06 workshop on Abduction and Induction in AI and Scientific Modelling. P.A. Flach, A.C. Kakas, L. Magnani, O. Ray, (eds.), pp. 21–23. August 2006. PDF, 41 Kbytes. External information
Oliver Ray, Antonis Kakas, ProLogICA: a practical system for Abductive Logic Programming. 11th International Workshop on Non-monotonic Reasoning. J. Dix, A. Hunter, (eds.), pp. 304–312. May 2006. PDF, 123 Kbytes. External information
Peter Flach, Antonis Kakas, Abduction, Induction, and the Logic of Scientific Knowledge Development. Goedel Centenary 2006. April 2006. PDF, 102 Kbytes. External information

2005

Oliver Ray, Hybrid Abductive Inductive Learning. PhD thesis. Department of Computing, Imperial College London. December 2005. PDF, 1175 Kbytes.
Oliver Ray, The need for Ancestor Resolution when answering queries in Horn clause logic. 21st International Conference on Logic Programming. M. Gabrielli, G. Gupta, (eds.), pp. 410–411. October 2005. PDF, 197 Kbytes.
Andrew Moss, Henk Muller, Efficient Code Generation for a Domain Specific Language. Generative Programming and Component Engineering. ISBN 3-540-29138-5, pp. 47–62. September 2005. PDF, 136 Kbytes.
Simon Rawles, Peter Flach, Neighbourhoods of examples for detecting logical redundancy. Late-breaking Papers from the 15th International Conference on Inductive Logic Programming (ILP'2005). Stefan Kramer, Bernhard Pfaringher, (eds.), pp. 47–52. July 2005. PDF, 34 Kbytes.

2004

Oliver Ray, Krysia Broda, Alessandra Russo, Generalised Kernel Sets for Inverse Entailment. 20th International Conference on Logic Programming. Bart Demoen, Vladimir Lifschitz, (eds.), pp. 165–179. November 2004. PDF, 261 Kbytes.
Simon Price, A review of the state of the art in Machine Learning on the Semantic Web. , Department of Computer Science, University of Bristol. October 2004. PDF, 227 Kbytes.
Oliver Ray, Krysia Broda, Alessandra Russo, A Hybrid Abductive Inductive Proof Procedure. Logic Journal of the IGPL, 12(5). ISSN 1367-0751 , pp. 371–397. September 2004. PDF, 351 Kbytes.

2003

Oliver Ray, Krysia Broda, Alessandra Russo, Hybrid Abductive Inductive Learning: A Generalisation of Progol. 13th International Conference on Inductive Logic Programming. T. Horvath, A. Yamamoto, (eds.), pp. 311–328. October 2003. PDF, 277 Kbytes.
Mark-A. Krogel, Simon Rawles, Filip Zelezn�, Peter Flach, Nada Lavrač, Stefan Wrobel, Comparative evaluation of approaches to propositionalization. Proceedings of the 13th International Conference on Inductive Logic Programming (ILP'2003). Tamas Horvath, Akihiro Yamamoto, (eds.). ISBN 3-540-20144-0, pp. 194–217. October 2003. PDF, 171 Kbytes.
Oliver Ray, HAIL: Hybrid Abductive Inductive Learning. Technical Rept. , Department of Computing, Imperial College London. July 2003. PDF, 1172 Kbytes.

2002

Nada Lavrac, Filip Zelezny, Peter A/ Flach, RSD: Relational Subgroup Discovery through First-Order Feature Construction. Proceedings of the 12th International Conference on Inductive Logic Programming. ISBN 3-540-00567-6, pp. 149–165. July 2002. PDF, 228 Kbytes.
Thomas Gaertner, John W. Lloyd, Peter A. Flach, Kernels for Structured Data. Proceedings of the 12th International Conference on Inductive Logic Programming. ISBN 3-540-00567-6 , pp. 66–83. July 2002. PDF, 215 Kbytes.
Peter Flach, Nada Lavrac, Learning in Clausal Logic: A Perspective on Inductive Logic Programming. Chapter in Computational Logic: Logic Programming and Beyond (Essays in Honour of Robert A. Kowalski). Antonis C. Kakas, Fariba Sadri, (eds.). ISBN 3 540 43959 5, pp. 437–471. June 2002. PDF, 366 Kbytes. External information
S. Genaim, M. Codish, J. Gallagher, V. Lagoon, Combining Norms to Prove Termination. Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002.. A. Cortesi, (eds.). ISBN ISBN 3-540-43631-6, pp. 126–138. April 2002. PDF, 193 Kbytes.
Rong Yang, Steve Gregory, Exploiting Efficient Control and Data Structures in Logic Programs. Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages, PADL 2002, Portland, OR, January 19-20, 2002. ISSN 0302-9743, pp. 318–331. January 2002. No electronic version available. External information
John P. Gallagher, German Puebla, Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, LNCS Vol. 2257. Shriram Krishnamurthi, C. R. Ramakrishnan, (eds.). ISBN 3-540-43092-X, pp. 243–261. January 2002. No electronic version available. External information

2001

Rong Yang, Steve Gregory, Andorra Model Revised: Introducing Nested Domain Variables and a Targeted Search. Proceedings of 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2001, Havana, December 3-7, 2001. ISSN 0302-9743, pp. 610–623. December 2001. No electronic version available. External information
John P. Gallagher, Julio C. Peralta, Regular Tree Languages as an Abstract Domain in Program Specialisation. Higher-Order and Symbolic Computation, 14 (2-3). ISBN ISSN 1388-3690, pp. 143–172. November 2001. No electronic version available.
Nada Lavrac, Peter A. Flach, An extended transformation approach to inductive logic programming. ACM Transactions on Computational Logic, 2 (4). ISSN 1529-3785, pp. 458–494. October 2001. PDF, 303 Kbytes. External information
John P. Gallagher, German Puebla, Abstract Interpretation over Non-Deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. CSTR-01-003, Department of Computer Science, University of Bristol. May 2001. PDF, 253 Kbytes.

2000

Peter A. Flach, Antonis C. Kakas, On the relation between abduction and inductive learning. Chapter in Handbook of defeasible reasoning and uncertainty management systems, Vol. 4: Abductive reasoning and learning. Dov M. Gabbay, Rudolf Kruse, (eds.). ISBN 0-7923-6565-8, pp. 5–36. October 2000. PDF, 541 Kbytes.
Peter A. Flach, The use of functional and logic languages in machine learning. Ninth International Workshop on Functional and Logic Programming (WFLP2000)�. Maria Alpuente, (eds.), pp. 225–237. September 2000. PDF, 66 Kbytes.
Ahmed Guessoum, John P. Gallagher, Abductive reasoning with knowledge bases for context modelling. Chapter in Abduction, Belief and Context in Dialogue. H. Bunt, W. Black, (eds.). ISBN 1 55619 794 2 , pp. 275–288. September 2000. No electronic version available.
John P. Gallagher, Julio C. Peralta, Regular Trees as an Abstract Domain for Program Specialisation . CSTR-00-010, Department of Computer Science, University of Bristol. September 2000. PDF, 334 Kbytes.
Julio C. Peralta, Analysis and Specialisation of Imperative Programs: An approach using CLP. PhD thesis. Department of Computer Science, University of Bristol. July 2000. PDF, 802 Kbytes.
Peter A. Flach, Antonis C. Kakas, Abductive and inductive reasoning: background and issues. Chapter in Abduction and induction: essays on their relation and integration. Peter A. Flach, Antonis C. Kakas, (eds.). ISBN 0-7923-6250-0, pp. 1–27. April 2000. No electronic version available. External information
Julio C. Peralta, John P. Gallagher, Imperative Program Specialisation: An Approach Using CLP. Logic-Based Program Synthesis and Transformation (LOPSTR'99), (ed. A. Bossi), pp. 103–118. April 2000. No electronic version available.
Abduction and Induction: Essays on their relation and integration. Peter A. Flach, Antonis C. Kakas, (eds.). Kluwer Academic Publishers. ISBN 0-7923-6250-0. April 2000. No electronic version available. External information
John P. Gallagher, Julio C. Peralta, Using Regular Approximations for Generalisation During Partial Evaluation. Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'2000), Boston, Mass., (ed. J. Lawall). ISBN 1-58113-201-8, pp. 44–51. January 2000. PDF, 124 Kbytes.

1999

Kerstin Eder, Yet another way of Set-processing: The Escher style and its implementation. Proceedings of the Workshop on Declarative Programming with Sets (DPS'99), pp. 37–50. September 1999. PDF, 252 Kbytes.
Kerstin Eder, Implementing Escher on a Graph Reduction Machine. Proceedings of the International Workshop on Implementation of Declarative Languages (IDL'99), pp. 1–20. September 1999. PDF, 244 Kbytes.
Proceedings of the Fifteenth Annual UK Performance Engineering Workshop. J Bradley, N Davies, (eds.). Department of Computer Science, University of Bristol. ISSN 0952402785. July 1999. No electronic version available. External information
Laura Lafave, A Constraint-based Partial Evaluator for Functional Logic Programs and its Application. PhD thesis. Department of Computer Science, University of Bristol. February 1999. PDF, 889 Kbytes.
G. Puebla, M. Hermenegildo, J. P. Gallagher, An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. Proceedings of PEPM'99, The ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, ed. O. Danvy, San Antonio, January 1999. , pp. 75–84. January 1999. PDF, 225 Kbytes.

1998

Kerstin I. Eder, EMA: Implementing the Rewriting Computational Model of Escher. PhD thesis. Department of Computer Science, University of Bristol. November 1998. PDF, 1074 Kbytes.
Kerstin Eder, Implementing the Rewriting Computational Model of Escher. 13th Workshop on Logic Programming (WLP'98), pp. 106–117. October 1998. PDF, 206 Kbytes.
L. Lafave, J. P. Gallagher, Extending the power of automatic constraint-based partial evaluators. ACM Computing Surveys, 30 (3es). ISSN 0360-0300, pp. 1–4. September 1998. No electronic version available. External information
J. P. Gallagher, L. Lafave, The role of trace abstractions in program specialization algorithms. ACM Computing Surveys, 30 (3es). ISSN 0360-0300, pp. 1–4. September 1998. No electronic version available. External information
J. C. Peralta, J. P. Gallagher, H. Saglam, Analysis of Imperative Programs through Analysis of Constraint Logic Programs. Static Analysis. 5th International Symposium, SAS'98, Pisa, Italy, September 1998. ISBN 3-540-65014-8, pp. 246–261. September 1998. No electronic version available.
Peter A. Flach, Antonis Kakas, Abduction and Induction in AI: Report of the IJCAI�97 workshop. Logic Journal of the Interest Group on Pure and Applied Logic, 6 (4). ISSN 1367-0751, pp. 651–656. July 1998. No electronic version available. External information
L. Lafave, J. P. Gallagher, Constraint-based Partial Evaluation of Rewriting-based Functional Logic Programs. Program Synthesis and Transformation. 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 1997, editor N. Fuchs.. ISBN 3-540-65074-1, pp. 168–188. June 1998. No electronic version available.
H. Saglam, J. P. Gallagher, Constrained Regular Approximation of Logic Programs. Program Synthesis and Transformation. 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 1997, editor N. Fuchs.. ISBN 3-540-65074-1, pp. 282–299. June 1998. No electronic version available.
Julio C. Peralta, John P. Gallagher, Huseyin Saglam, Analysis of Imperative Programs through Analysis of Constraint Logic Programs. CSTR-98-007, Department of Computer Science, University of Bristol. April 1998. PDF, 212 Kbytes.
Fotios Kokkoras, Steve Gregory, D-WMS: Distributed workforce management using CLP. Proceedings of the 4th International Conference on the Practical Application of Constraint Technology. ISSN 0952555409, pp. 129–146. March 1998. No electronic version available.

1997

Huseyin Saglam, A Toolkit for Static Analysis of Constraint Logic Programs. PhD thesis. Department of Computer Science, University of Bristol. December 1997. PDF, 784 Kbytes.
Peter A. Flach, Nada Lavrac, Proceedings of the CompulogNet Area Meeting on Representation issues in reasoning and learning. CSTR-97-005, Department of Computer Science, University of Bristol. September 1997. No electronic version available. External information
Peter A. Flach, Normal forms for Inductive Logic Programming. Proceedings of the 7th International Workshop on Inductive Logic Programming. ISBN 3-540-63514-9, pp. 149–156. September 1997. PDF, 36 Kbytes.
Peter A. Flach, Antonis Kakas, Abductive and inductive reasoning: report of the ECAI'96 workshop. Logic Journal of the Interest Group on Pure and Applied Logic, 5 (5). ISSN 1367-0751, pp. 773–778. September 1997. No electronic version available. External information
Peter A. Flach, Antonis Kakas, Proceedings of the IJCAI'97 workshop on Abduction and Induction in AI. CSTR-97-004, Department of Computer Science, University of Bristol. August 1997. No electronic version available. External information
Logic Program Synthesis and Transformation, 6th International Workshop, LOPSTR'96. John P. Gallagher, (eds.). Springer Verlag, Lecture Notes in Computer Science. ISBN 3-504-62718-9. March 1997. No electronic version available. External information
Emmanouil I. Marakakis, Logic Program Development Based on Typed Moded Schemata and Data Types. PhD thesis. Department of Computer Science, University of Bristol. February 1997. PDF, 865 Kbytes.

1996

Rafael Ramirez, A Logic-Based Concurrent Object-Oriented Programming Language. PhD thesis. Department of Computer Science, University of Bristol. October 1996. PDF, 602 Kbytes.
Kerstin Eder, Steffen Holldobler, Michael Thielscher, An Abstract Machine for Reasoning about Situations, Actions, and Causality. 5th International Workshop on Extensions of Logic Programming, Lecture Notes in Artificial Intelligence 1050. ISBN 3-540-60983-0, pp. 137–151. March 1996. PDF, 182 Kbytes.

1995

Kerstin Eder, A resource-oriented deductive approach towards hierarchical planning. PhD thesis. Technische Universitat Dresden, Fakultat Informatik. May 1995. PDF, 468 Kbytes.
Peter Flach, Conjectures -- an inquiry concerning the logic of induction. Institute for Language Technology and Artificial Intelligence. ISBN 90-9008119-4. April 1995. No electronic version available. External information
Ines de Castro Dutra, Distributing And- and Or-work in the Andorra-I Parallel Logic Programming System. PhD thesis. Department of Computer Science, University of Bristol. February 1995. PDF, 966 Kbytes.

1994

Kerstin Eder, Meta-Programming for Knowledge Base Systems. PhD thesis. Department of Computer Science, University of Bristol. September 1994. No electronic version available.
Peter Flach, Simply Logical. John Wiley. ISBN 0-471-94152-2. April 1994. No electronic version available. External information

1993

Vitor Santos Costa, Compile-Time Analysis for the Parallel Execution of Logic Programs in Andorra-I. PhD thesis. Department of Computer Science, University of Bristol. August 1993. No electronic version available. External information

1991

Rong Yang, Ines Dutra, Vitor Santos Costa, Design of the Andorra-I System. CSTR-91-PEPMA, Department of Computer Science, University of Bristol. January 1991. PDF, 418 Kbytes.