STeLP
From MaRDI portal
Software:21751
swMATH9772MaRDI QIDQ21751FDOQ21751
Author name not available (Why is that?)
Cited In (9)
- Temporal equilibrium logic: a survey
- FTClogic: fuzzy temporal constraint logic
- Simulating production rules using ACTHEX
- Loop formulas for splitable temporal logic programs
- Temporal logic programs with variables
- A Tarskian informal semantics for answer set programming
- On the expressiveness of temporal equilibrium logic
- Temporal equilibrium logic with past operators
- Automata-Based Computation of Temporal Equilibrium Models
This page was built for software: STeLP
