论文信息 - Integrating Abduction and Constraint Optimization in Constraint Handling Rules - 字舞流文

Integrating Abduction and Constraint Optimization in Constraint Handling Rules

Evelina Lamma | Marco Alberti | Marco Gavanelli | M. Gavanelli | M. Alberti | E. Lamma

[1] Paolo Mancarella,et al. The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments , 2009, Theory and Practice of Logic Programming.

[2] Evelina Lamma,et al. Verifiable agent interaction in abductive logic programming: The SCIFF framework , 2008, TOCL.

[3] Verónica Dahl,et al. HYPROLOG: A New Logic Programming Language with Assumptions and Abduction , 2005, ICLP.

[4] Paola Mello,et al. Specification and verification of agent interaction protocols in a logic-based system , 2004, SAC '04.

[5] Bert Van Nuffelen,et al. A-System: Problem Solving through Abduction , 2001, IJCAI.

[6] Antonis C. Kakas,et al. ACLP: Abductive Constraint Logic Programming , 2000, J. Log. Program..

[7] Thom W. Frühwirth,et al. Theory and Practice of Constraint Handling Rules , 1998, J. Log. Program..

[8] Robert A. Kowalski,et al. The Iff Proof Procedure for Abductive Logic Programming , 1997, J. Log. Program..

[9] Evelina Lamma,et al. Interpreting Abduction in CLP , 2003, APPIA-GULP-PRODE.

[10] Slim Abdennadher,et al. An Experimental CLP Platform for Integrity Constraints and Abduction , 2000, FQAS.

[11] Antonis C. Kakas,et al. The role of abduction in logic programming , 1998 .

[12] Robert A. Kowalski,et al. Abduction Compared with Negation by Failure , 1989, ICLP.