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:

  • Machine Comprehension of Text Using Combinatory Categorial Grammar and Answer Set Programs (CommonSense Symposium 2017).
  • Learning to share: engineering adaptive decision-support for online social networks. (ASE 2017).
  • Probabilistic abductive logic programming using Dirichlet priors. (IJAR 2016).
  • Iterative Learning of Answer Set Programs from Context Dependent Examples (TPLP 2016).
  • Logic-based learning in software engineering  (ICSE 2016).
  • Learning weak constraints in answer set programming (TPLP 2015).
  • Reasoning in the presence of inconsistency through Preferential ALC (LPAR 2015).
  • Automated Inference of Rules with Exception from Past Legal Cases Using ASP (LPNMR 2015).
  • Inductive Learning Using Constraint-Driven Bias (ILP 2014).
  • Inductive Learning of Answer Set Programs (JELIA 2014).
  • Reasoning about Triggered Scenarios in Logic Programming (TLP 13).
  • Learning Through Hypothesis Refinement Using Answer Set Programming (ILP 2013).
  • 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, execution and analysis (TPLP 2013).
  • Computational alignment of goals and scenarios for complex systems (ICSE 2013).
  • Foundations of Logic-Based Trust Management (Oakland 2012).
  • Generating obstacle conditions for requirements completeness (ICSE 2012).
  • Learning Stochastic Models of Information Flow (ICDE 2012).
  • Inductive Logic Programming in Answer Set Programming (ILP 2011).
  • Integrating Model Checking and Inductive Logic Programming (ILP 2011).
  • Inductive Logic Programming as Abductive Search (ICLP 2010).
  • The Dynamics of Multi-Agent Reinforcement Learning (ECAI 2010).
  • Learning operational requirements from goal models(ICSE 2009).
  • Deriving Non-zeno Behavior Models from Goal Models Using ILP (FASE 2008).
  • DARE: a system for distributed abductive reasoning (JAAMAS 2008).
  • Extracting Requirements from Scenarios with ILP (ILP 2006).
  • A Hybrid Abductive Inductive Proof Procedure (Logic Journal of the IGPL, 2004).
  • Generalised Kernel Sets for Inverse Entailment (ICLP 2004) Shortlisted for best theoretical paper award.
  • Hybrid Abductive Inductive Learning: A Generalisation of Progol (ILP 2003).
  • An Abductive Approach for Analysing Event-Based Requirements Specifications (ICLP 2002). Awarded prize for best application paper.