Login / Signup

The dlvhex system for knowledge representation: recent advances (system description).

Christoph Redl
Published in: Theory Pract. Log. Program. (2016)
Keyphrases