Contracted Temporal Equilibrium Logic

Download PDF
Open Webpage

Pedro Cabalar, Thomas Eiter, Davide Soldà

Published: 2024, Last Modified: 12 May 2025KR 2024EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: The stable model semantics of logic programs has been characterized by Equilibrium Logic, which is a non-monotonic formalism that selects models from the (monotonic) intermediate logic of Here-and-...