Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

32

JELIA
2004
Springer

favoriteEmaildiscussreport

129views Artificial Intelligence» more JELIA 2004»

Abductive Logic Programming with CIFF: System Description

14 years 4 months ago

Abductive Logic Programming with CIFF: System Description

Download staff.science.uva.nl

Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Gi

Real-time Traffic

Artificial Intelligence | JELIA 2004 |

claim paper

Related Content

» Programming Applications in CIFF

» The CIFF Proof Procedure for Abductive Logic Programming with Constraints

» Web Sites Verification An Abductive Logic Programming Tool

» Abductive Logic Programming by Nonground Rewrite Systems

» A System for Abductive Learning of Logic Programs

» Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes

» Introducing Abduction into Extensional Inductive Logic Programming Systems

» An abductive event calculus planner

» Ordered Programs as Abductive Systems

Post Info
More Details (n/a)

Added	02 Jul 2010
Updated	02 Jul 2010
Type	Conference
Year	2004
Where	JELIA
Authors	Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni

Comments (0)