v1v2v3v4 (latest)

Modeling Variations of First-Order Horn Abduction in Answer Set Programming

30 December 2015

Papers citing "Modeling Variations of First-Order Horn Abduction in Answer Set Programming"

4 / 4 papers shown

Title
User Guided Abductive Proof Generation for Answer Set Programming Queries (Extended Version) Avishkar Mahajan M. Strecker Meng Weng Wong 23 0 0 16 Sep 2022
The External Interface for Extending WASP Carmine Dodaro Francesco Ricca 16 14 0 05 Nov 2018
Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis Bernardo Cuteri Carmine Dodaro Francesco Ricca P. Schüller 35 27 0 13 Jul 2017
Improving Scalability of Inductive Logic Programming via Pruning and Best-Effort Optimisation Mishal Benz P. Schüller Y. Saygin 46 18 0 16 Jun 2017