Cited in
(12)- Temporal equilibrium logic: a survey
- FTClogic: fuzzy temporal constraint logic
- Simulating production rules using ACTHEX
- Loop formulas for splitable temporal logic programs
- Coala
- Temporal logic programs with variables
- Datalog LITE
- A Tarskian informal semantics for answer set programming
- On the expressiveness of temporal equilibrium logic
- Temporal equilibrium logic with past operators
- DatalogMTL
- Automata-Based Computation of Temporal Equilibrium Models
This page was built for software: STeLP
