STeLP
From MaRDI portal
Software:21751
swMATH9772MaRDI QIDQ21751FDOQ21751
Author name not available (Why is that?)
Cited In (9)
- Temporal equilibrium logic: a survey
- A Tarskian Informal Semantics for Answer Set Programming
- Temporal Equilibrium Logic with past operators
- FTClogic: fuzzy temporal constraint logic
- Temporal logic programs with variables
- Simulating Production Rules Using ACTHEX
- Loop Formulas for Splitable Temporal Logic Programs
- On the Expressiveness of Temporal Equilibrium Logic
- Automata-Based Computation of Temporal Equilibrium Models
This page was built for software: STeLP
