HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Aleksy Schubert

Publications
First-order answer set programming as constructive proof search
Aleksy Schubert and Pawel Urzyczyn
EasyChair Preprint no. 207

Keyphrases

Answer Set Programming, intuitionistic logic, lambda calculus, proof theory, stable model semantics.

Copyright © 2012-2023 easychair.org. All rights reserved.