Stable Models for Temporal Theories
From MaRDI portal
Publication:3449185
DOI10.1007/978-3-319-23264-5_1zbMath1467.68084MaRDI QIDQ3449185
Publication date: 4 November 2015
Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-23264-5_1
68Q60: Specification and verification (program logics, model checking, etc.)
68N17: Logic programming
03B44: Temporal logic