Output details
11 - Computer Science and Informatics
Imperial College London
Article title
Abductive logic programming agents with destructive databases
Type
D - Journal article
Title of journal
Annals of Mathematics and Artificial Intelligence
Article number
-
Volume number
62
Issue number
1-2
First page of article
129
ISSN of journal
1012-2443
Year of publication
2011
URL
-
Number of additional authors
1
Additional information
<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.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Logic and Artificial Intelligence
Citation count
6
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
