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