The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments

5 June 2009

Papers citing "The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments"

6 / 6 papers shown

Title
User Guided Abductive Proof Generation for Answer Set Programming Queries (Extended Version) Avishkar Mahajan M. Strecker Meng Weng Wong 18 0 0 16 Sep 2022
Answer Set Planning: A Survey Tran Cao Son Enrico Pontelli M. Balduccini Torsten Schaub LRM 61 14 0 11 Feb 2022
Reactive Answer Set Programming Krysia Broda F. Sadri Stephen Butler KELM 21 0 0 22 Sep 2021
Programming in logic without logic programming R. Kowalski F. Sadri LRM 36 19 0 04 Jan 2016
Modeling Variations of First-Order Horn Abduction in Answer Set Programming P. Schüller 82 23 0 30 Dec 2015
Incremental Learning of Event Definitions with Inductive Logic Programming Nikos Katzouris A. Artikis George Giannakopoulos 96 80 0 24 Feb 2014