Login / Signup
A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results.
Johannes Oetsch
Martina Seidl
Hans Tompits
Stefan Woltran
Published in:
WLP (2006)
Keyphrases
</>
answer set programming
logic programs
logic programming
answer sets
genetic algorithm
knowledge base