Journal of Applied Non-Classical Logics · 2013 · 48 citations · 15 references
HumanitiesComputer ScienceMathematicsFormal MethodsLogicFormal SemanticsLogic ProgrammingMathematical LogicNon-classical LogicTemporal LogicEquilibriumLinear Temporal LogicLinear-time Temporal Logic
Abstract This paper contains a survey of the main definitions and results obtained to date related to Temporal Equilibrium Logic, a nonmonotonic hybrid approach that combines Equilibrium Logic (the best-known logical characterisation for the stable models semantics of logic programs) with Linear-Time Temporal Logic.
15
The temporal logic of programs
Amir Pnueli · 1977 · 5.7K citations
The stable model semantics for logic programming
Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations
Henry Kautz, Bart Selman · 1992 · 828 citations