Programming applications in CIFF

Authors:
Paolo Mancarella;Fariba Sadri;Giacomo Terreni;Francesca Toni
Affiliations:
Dipartimento di Informatica, Università di Pisa, Italy;Department of Computing, Imperial College London, UK;Dipartimento di Informatica, Università di Pisa, Italy;Department of Computing, Imperial College London, UK
Venue:
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Year:
2007

Citing 4
Cited 1

An Abductive Logic Programming Architecture for Negotiating Agents

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP

LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
The DLV system for knowledge representation and reasoning

ACM Transactions on Computational Logic (TOCL)
A-system: problem solving through abduction

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1

The ciff proof procedure for abductive logic programming with constraints: Theory, implementation and experiments

Theory and Practice of Logic Programming

Quantified Score

Hi-index	0.02

Visualization

Abstract

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.