scientific article; zbMATH DE number 6261548

DOI10.4230/LIPIcs.ICLP.2012.290zbMath1281.68060MaRDI QIDQ5398067

Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal, Felicidad Aguado

Publication date: 25 February 2014

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

linear temporal logicgroundingASPtemporal equilibrium logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17) Temporal logic (03B44)

Related Items (2)

Stable Models for Temporal Theories ⋮ Temporal equilibrium logic: a survey

This page was built for publication: