Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
0906.1182
Cited By
The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments
5 June 2009
P. Mancarella
G. Terreni
F. Sadri
Francesca Toni
U. Endriss
Re-assign community
ArXiv (abs)
PDF
HTML
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
34
19
0
04 Jan 2016
Modeling Variations of First-Order Horn Abduction in Answer Set Programming
P. Schüller
80
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
1