STeLP
From MaRDI portal
Software:21751
No author found.
Related Items (9)
Simulating Production Rules Using ACTHEX ⋮ Temporal equilibrium logic: a survey ⋮ Temporal Equilibrium Logic with past operators ⋮ Temporal logic programs with variables ⋮ Loop Formulas for Splitable Temporal Logic Programs ⋮ Automata-Based Computation of Temporal Equilibrium Models ⋮ On the Expressiveness of Temporal Equilibrium Logic ⋮ FTClogic: fuzzy temporal constraint logic ⋮ A Tarskian Informal Semantics for Answer Set Programming
This page was built for software: STeLP
