ResearchTrend.AI
Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming

Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming

Richard Comploi-Taupe
G. Friedrich
Konstantin Schekotihin
A. Weinzierl
ArXivPDFHTML

Papers citing "Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming"

1 / 1 papers shown
Title
ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing
ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing
Claire Lefèvre
Christopher Béatrix
I. Stéphan
Laurent Garcia
LRM
52
57
0
26 Mar 2015