Output details
11 - Computer Science and Informatics
Imperial College London
Abductive logic programming agents with destructive databases
<22>The paper solved the problem of providing both declarative and operational semantics to extended reactive logic programming with destructive database updates. It led to
1) invited talks: RuleML Symposium, Montpellier, August 2012, plenary session of the International Conference on Web Reasoning and Rule Systems, Vienna, September 2012, Universities of Kyoto and Cyprus, December 2011, the Aristotle University in Thessaloniki, March 2012, the State University of New York at Stony Brook, May 2012.
2) invited graduate course Kyoto University, October-December 2012.
3) industry-based implementation, with LPA (http://www.lpa.co.uk/).
4) several subsequent publications.