Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2002.06916
Cited By
v1
v2 (latest)
Implementing Dynamic Answer Set Programming
17 February 2020
Pedro Cabalar
Martín Diéguez
Torsten Schaub
François Laferrière
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Implementing Dynamic Answer Set Programming"
2 / 2 papers shown
Title
Automata for dynamic answer set solving: Preliminary report
Pedro Cabalar
Martín Diéguez
Susana Hahn
Torsten Schaub
32
2
0
04 Sep 2021
Towards Metric Temporal Answer Set Programming
Pedro Cabalar
Martín Diéguez
Torsten Schaub
Anna Schuhmann
21
17
0
05 Aug 2020
1
