The SCIFF abductive proof-procedure

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3673 LNAI, Issue , 2005, Pages 135-147

  Alberti, Marco ^a   Gavanelli, Marco ^a   Lamma, Evelina ^a   Mello, Paola ^b   Torroni, Paolo ^b  

^a UNIVERSITY OF FERRARA   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ABDUCTIVE REASONING; CONFIRMATION/DISCONFIRMATION; DYNAMIC KNOWLEDGE BASE; OPERATIONAL FRAMEWORK;

ARTIFICIAL INTELLIGENCE; DYNAMIC PROGRAMMING; KNOWLEDGE BASED SYSTEMS; TECHNOLOGICAL FORECASTING;

LOGIC PROGRAMMING;

EID: 33646154223     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11558590_14     Document Type: Conference Paper

References (22)

1. Kakas, A.C., Kowalski, R.A., Toni, F.: The role of abduction in logic programming. In Gabbay, D.M., Hogger, C.J., Robinson, J.A., eds.: Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 5., Oxford University Press (1998) 235-324
2. Console, L., Dupré, D.T., Torasso, P.: On the relationship between abduction and deduction. Journal of Logic and Computation 1 (1991) 661-690
3. Kakas, A., Mancarella, P.: On the relation between Truth Maintenance and Abduction. In Fukumura, T., ed.: Proc. PRICAI-90, Ohmsha Ltd. (1990) 438-443
4. Satoh, K., Iwayama, N.: A Query Evaluation Method for Abductive Logic Programming. In Apt, K., ed.: Proc. ICLP'92, Cambridge, MA, MIT Press (1992) 671-685
5. Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. Journal of Logic Programming 33 (1997) 151-165
6. Kakas, A.C., Michael, A., Mourlas, C.: ACLP: Abductive Constraint Logic Programming. Journal of Logic Programming 44 (2000) 129-177
7. Kakas, A., van Nuffelen, B., Denecker, M.: A-System: Problem solving through abduction. In Nebel, B., ed.: Proc. IJCAI'01, Morgan Kaufmann Publishers (2001) 591-596
8. Alferes, J., Pereira, L.M., Swift, T.: Abduction in well-founded semantics and generalized stable models via tabled dual programs. Theory and Practice of Logic Programming 4 (2004) 383-428
9. Frühwirth, T.: Theory and practice of constraint handling rules. Journal of Logic Programming 37 (1998) 95-138
10. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based software tool. (Applied Artificial Intelligence) To appear.
11. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Specification and verification of interaction protocols: a computational logic approach based on abduction. Technical Report CS-2003-03, Dipartimento di Ingegneria di Ferrara, Ferrara, Italy (2003) Available at http://www.ing.unife. it/informatica/tr/.
12. Jaffar, J., Maher, M.: Constraint logic programming: a survey. Journal of Logic Programming 19-20 (1994) 503-582
13. Bürckert, H.: A resolution principle for constrained logics. Artificial Intelligence 66 (1994) 235-271
14. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: An Abductive Interpretation for Open Societies. In Cappelli, A., Turini, F., eds.: AI*IA 2003: Advances in Artificial Intelligence, Proceedings of the 8th Congress of the Italian Association for Artificial Intelligence, Pisa. Volume 2829 of Lecture Notes in Artificial Intelligence., Springer-Verlag (2003) 287-299
15. Kowalski, R., Toni, F., Wetzel, G.: Executing suspended logic programs. Fundamenta Informaticae 34 (1998) 203-224
16. Endriss, U., Mancarella, P., Sadri, F., Terreni, G., Toni, F.: The CIFF proof procedure for abductive logic programming with constraints. In Alferes, J., Leite, J., eds.: Proc. JELIA'04. Volume 3229 of LNAI., Springer (2004) 31-43
17. Sergot, M.J.: A query-the-user facility of logic programming. In Degano, P., Sandwell, E., eds.: Integrated Interactive Computer Systems, North Holland (1983) 27-41
18. Evans, C., Kakas, A.: Hypotheticodeductive reasoning. In: Proc. International Conference on Fifth Generation Computer Systems, Tokyo (1992) 546-554
19. Alferes, J., Brogi, A., Leite, J., Pereira, L.: Evolving logic programs. In Plesca, S., Greco, S., Leone, N., Ianni, G., eds.: Proc. JELIA'02. Volume 2424 of LNAI., Springer (2002) 50-61
20. Satoh, K., Inoue, K., Iwanuma, K., Sakama, C.: Speculative computation by abduction under incomplete communication environments. In: Proc. ICMAS'00, IEEE Press (2000) 263-270
21. Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Generation Computing 4 (1986) 67-95
22. Shanahan, M.P.: Reinventing Shakey. In Minker, J., ed.: Logic-based Artificial Intelligence. Volume 597 of Kluwer Int. Series In Engineering And Computer Science. (2000) 233-253