STeLP

MaRDI QIDQ21751swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-20895-9_43

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