Towards Metric Temporal Answer Set Programming

v1v2 (latest)

Towards Metric Temporal Answer Set Programming

5 August 2020

Martín Diéguez

ArXiv (abs)PDF HTML

Papers citing "Towards Metric Temporal Answer Set Programming"

5 / 5 papers shown

Title
Compiling Metric Temporal Answer Set Programming Arvid Becker Pedro Cabalar Martín Diéguez J. Romero Susana Hahn Torsten Schaub 25 0 0 09 Jun 2025
Metric Dynamic Equilibrium Logic Arvid Becker Pedro Cabalar Martín Diéguez L. Fariñas del Cerro Torsten Schaub Anna Schuhmann 25 0 0 19 Jan 2024
CNL2ASP: converting controlled natural language sentences into ASP Simone Caruso Carmine Dodaro Marco Maratea Marco Mochi Francesco Riccio 31 3 0 17 Nov 2023
Metric Temporal Equilibrium Logic over Timed Traces Arvid Becker Pedro Cabalar Martín Diéguez Torsten Schaub Anna Schuhmann 21 2 0 28 Apr 2023
Automata for dynamic answer set solving: Preliminary report Pedro Cabalar Martín Diéguez Susana Hahn Torsten Schaub 32 2 0 04 Sep 2021