HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Pedro Cabalar

Publications
Temporal Answer Set Programming on Finite Traces
Pedro Cabalar, Roland Kaminski, Torsten Schaub and Anna Schuhmann
EasyChair Preprint no. 199

Keyphrases

Answer Set Programming, Linear Temporal Logic, logic of here-and-there, Temporal Answer Set Programming.

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