Integrating Temporal Extensions of Answer Set Programming

DOI10.1007/978-3-642-40564-8_3zbMath1405.68035OpenAlexW2186340795MaRDI QIDQ2851228

Concepción Vidal, Felicidad Aguado, Gilberto Pérez

Publication date: 10 October 2013

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40564-8_3

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items (2)

Stable Models for Temporal Theories ⋮ On the Expressiveness of Temporal Equilibrium Logic

This page was built for publication: Integrating Temporal Extensions of Answer Set Programming