Runtime addition of integrity constraints in an abductive proof procedure

Leibniz International Proceedings in Informatics, LIPIcs

Volumn 7, Issue , 2010, Pages 4-13

  Alberti, Marco ^a   Gavanelli, Marco ^b   Lamma, Evelina ^b  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^b UNIVERSITY OF FERRARA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ABDUCTIVE LOGIC PROGRAMMING; ABDUCTIVE REASONING; DECLARATIVE SEMANTICS; INCOMPLETE KNOWLEDGE; INTEGRITY CONSTRAINTS; LOGICAL RELATIONSHIPS; MULTI-AGENT INTERACTION; SOUNDNESS AND COMPLETENESS;

SEMANTICS;

LOGIC PROGRAMMING;

EID: 80053075101     PISSN: 18688969     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4230/LIPIcs.ICLP.2010.4     Document Type: Conference Paper

References (29)

1. [Abd00] Slim Abdennadher and Henning Christiansen. An experimental CLP platform for integrity constraints and abduction. In Henrik Legind Larsen, Janusz Kacprzyk, Slawomir Zadrozny, Troels Andreasen, and Henning Christiansen (eds.), FQAS, pp. 141-152. Physica-Verlag, Heidelberg, 2000.
2. [Alb08] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Transactions on Computational Logics, 9(4), 2008.
3. [Alb10] Marco Alberti, Marco Gavanelli, and Evelina Lamma. Runtime addition of integrity constraints in SCIFF. Tech. Rep. cs-2010-01, Università degli Studi di Ferrara, Dipartimento di Ingegneria, 2010. Available at http://www.unife.it/dipartimento/ingegneria/informazione/ informatica/rapportitecnici-1.
4. [Alf99] José Júlio Alferes, Luís Moniz Pereira, and Terrance Swift. Well-founded abduction via tabled dual programs. In D. De Schreye (ed.), ICLP, pp. 426-440. 1999.
5. [Alf02] José Júlio Alferes, Antonio Brogi, João Alexandre Leite, and Luís Moniz Pereira. Evolving logic programs. In Sergio Flesca, Sergio Greco, Nicola Leone, and Giovambattista Ianni (eds.), JELIA, Lecture Notes in Computer Science, vol. 2424, pp. 50-61. Springer, 2002.
6. [Apt91] Krzysztof R. Apt and Marc Bezem. Acyclic programs. New Generation Computing, 9(3/4):335-364, 1991.
7. [Bal03] Marcello Balduccini and Michael Gelfond. Logic programs with consistency-restoring rules. In AAAI Spring 2003 Symposium, pp. 9-18. 2003.
8. [Che09] Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, and Sergio Storari. Exploiting inductive logic programming techniques for declarative process mining. T. Petri Nets and Other Models of Concurrency, 2:278-295, 2009.
9. [Chr05a] Henning Christiansen. Experiences and directions for abduction and induction using constraint handling rules. In Workshop on abduction and induction AIAI'05. Edinburgh, Scotland, 2005.
10. [Chr05b] Henning Christiansen and Verónica Dahl. HYPROLOG: A new logic programming language with assumptions and abduction. In Maurizio Gabbrielli and Gopal Gupta (eds.), ICLP, Lecture Notes in Computer Science, vol. 3668, pp. 159-173. Springer, 2005.
11. [Den98] Marc Denecker and Danny De Schreye. SLDNFA: An abductive procedure for abductive logic programs. J. Log. Program., 34(2):111-167, 1998.
12. [Fru98] T. Frühwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, 37(1-3):95-138, 1998.
13. [Fun97] T. H. Fung and R. A. Kowalski. The IFF proof procedure for abductive logic programming. Journal of Logic Programming, 33(2):151-165, 1997.
14. [Hod94] Joshua S. Hodas and Dale Miller. Logic programming in a fragment of intuitionistic linear logic. Inf. Comput., 110(2):327-365, 1994.
15. [Jaf94a] J. Jaffar and M.J. Maher. Constraint logic programming: a survey. Journal of Logic Programming, 19-20:503-582, 1994.
16. [Jaf94b] Joxan Jaffar, Michael Maher, Kim Marriott, and Peter Stuckey. The semantics of constraint logic programs. Journal of Logic Programming, 1994.
17. [Kak90] A. C. Kakas and Paolo Mancarella. On the relation between Truth Maintenance and Abduction. In T. Fukumura (ed.), Proceedings of the 1st Pacific Rim International Conference on Artificial Intelligence, PRICAI-90, Nagoya, Japan, pp. 438-443. Ohmsha Ltd., 1990.
18. [Kak93] A. C. Kakas, R. A. Kowalski, and Francesca Toni. Abductive Logic Programming. Journal of Logic and Computation, 2(6):719-770, 1993.
19. [Kun87] Kenneth Kunen. Negation in logic programming. J. Log. Program., 4(4):289-308, 1987.
20. [Lam07a] Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, and Sergio Storari. Inducing declarative logic-based models from labeled traces. In Gustavo Alonso, Peter Dadam, and Michael Rosemann (eds.), BPM, Lecture Notes in Computer Science, vol. 4714, pp. 344-359. Springer, 2007.
21. [Lam07b] Evelina Lamma, Paola Mello, Fabrizio Riguzzi, and Sergio Storari. Applying inductive logic programming to process mining. In Hendrik Blockeel, Jan Ramon, Jude W. Shavlik, and Prasad Tadepalli (eds.), ILP, Lecture Notes in Computer Science, vol. 4894, pp. 132-146. Springer, 2007.
22. [Lop06] Gonçalo Lopes and Luís Moniz Pereira. Prospective programming with ACORDA. In Empirically Successful Computerized Reasoning (ESCoR'06) workshop at The 3rd International Joint Conference on Automated Reasoning (IJCAR'06). Seattle, USA, 2006.
23. [McC88] L. Thorne McCarty. Clausal intuitionistic logic I -fixed-point semantics. J. Log. Program., 5(1):1- 31, 1988.
24. [Mil89] Dale Miller. A logical analysis of modules in logic programming. J. Log. Program., 6(1&2):79-108, 1989.
25. [Nad88] Gopalan Nadathur and Dale Miller. An overview of lambda-prolog. In ICLP/SLP, pp. 810-827. 1988.
26. [Sch04] T. Schrijvers and B. Demoen. The K.U. Leuven CHR system: implementation and application. In T. Fruhwirth and M. Meister (eds.), First Workshop on Constraint Handling Rules. 2004.
27. [SCI10] The SCIFF abductive proof procedure, 2010. http://lia.deis.unibo. it/research/sciff/.
28. [Wan00] KewenWang. Argumentation-based abduction in disjunctive logic programming. J. Log. Program., 45(1-3):105-141, 2000.
29. [Xan03] I. Xanthakos. Semantic Integration of Information by Abduction. Ph.D. thesis, Imperial College London, 2003. Available at http://www.doc.ic.ac. uk/~ix98/PhD.zip.