Programming Applications in CIFF

We show how to deploy the CIFF System 4.0 for abductive logic programming with constraints in a number of applications, ranging from combinatorial applications to web management. We also compare the CIFF System 4.0 with a number of logic programming tools, namely the A-System, the DLV system and the SMODELS system.

• Type: Conference
• Year: 2007
• Where: LPNMR
• Authors: Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
• Keywords: Abductive Logic Programming, CIFF System, Logic Programming, LPNMR 2007