Selected Publications

Key selected publications are listed below. For a full list of papers by members of the group please see specific people’s websites:

  • An Abductive Approach for Analysing Event-Based Requirements Specifications (ICLP 2002). Awarded prize for best application paper.
  • Hybrid Abductive Inductive Learning: A Generalisation of Progol (ILP 2003).
  • Generalised Kernel Sets for Inverse Entailment (ICLP 2004) Shortlisted for best theoretical paper award.
  • A Hybrid Abductive Inductive Proof Procedure (Logic Journal of the IGPL, 2004).
  • Extracting Requirements from Scenarios with ILP (ILP 2006).
  • Deriving Non-zeno Behavior Models from Goal Models Using ILP (FASE 2008).
  • DARE: a system for distributed abductive reasoning (JAAMAS 2008).
  • Learning operational requirements from goal models(ICSE 2009).
  • Inductive Logic Programming as Abductive Search (ICLP 2010).
  •  The Dynamics of Multi-Agent Reinforcement Learning (ECAI 2010).
  • Inductive Logic Programming in Answer Set Programming (ILP 2011).
  • Integrating Model Checking and Inductive Logic Programming (ILP 2011).
  • Foundations of Logic-Based Trust Management (Oakland 2012).
  • Generating obstacle conditions for requirements completeness (ICSE 2012).
  • Learning Stochastic Models of Information Flow (ICDE 2012).
  • On Minimality and Integrity Constraints in Probabilistic Abduction (LPAR 2013).
  • Learning revised models for planning in adaptive systems (ICSE 2013).
  • Elaborating Requirements Using Model Checking and Inductive Learning (TSE 2013).
  • A declarative approach to distributed computing: Specification (TPLP 2013).
  •  Computational alignment of goals and scenarios for complex systems (ICSE 2013).