Programming Applications in CIFF

14 years 5 months ago

Download www.di.unipi.it

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.

Paolo Mancarella, Fariba Sadri, Giacomo Terreni, F

Real-time Traffic

Abductive Logic Programming | CIFF System | Logic Programming | LPNMR 2007 |

claim paper

» Abductive Logic Programming with CIFF System Description

» Web Sites Verification An Abductive Logic Programming Tool

» Developing Web Client Applications with JaCaWeb

» Toward a cooperative programming framework for contextaware applications

» Declarative programming for agent applications

» Speedingup datadriven applications with program summaries

» The Probabilistic Program Dependence Graph and Its Application to Fault Diagnosis

» Temporal Concurrent Constraint Programming Denotation Logic and Applications

Post Info
More Details (n/a)

Added	08 Jun 2010
Updated	08 Jun 2010
Type	Conference
Year	2007
Where	LPNMR
Authors	Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni

Comments (0)

Sciweavers

Programming Applications in CIFF

Abductive Logic Programming | CIFF System | Logic Programming | LPNMR 2007 |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers