Pages that link to "Item:Q4583305"
From MaRDI portal
The following pages link to Temporal equilibrium logic: a survey (Q4583305):
Displaying 14 items.
- LARS: a logic-based framework for analytic reasoning over streams (Q1648076) (← links)
- Autoepistemic answer set programming (Q2046018) (← links)
- Autoepistemic equilibrium logic and epistemic specifications (Q2307335) (← links)
- Metric temporal answer set programming over timed traces (Q2694559) (← links)
- Metabolic Pathways as Temporal Logic Programs (Q2835858) (← links)
- Stable Models for Temporal Theories (Q3449185) (← links)
- Temporal Answer Set Programming on Finite Traces (Q4559802) (← links)
- Temporal Equilibrium Logic with past operators (Q4586227) (← links)
- A denotational semantics for equilibrium logic (Q4593002) (← links)
- An infinitary encoding of temporal equilibrium logic (Q4593006) (← links)
- Revisiting Explicit Negation in Answer Set Programming (Q5108509) (← links)
- Towards Metric Temporal Answer Set Programming (Q5140014) (← links)
- Temporal Logic Modeling of Biological Systems (Q5213786) (← links)
- Reactive Answer Set Programming (Q6063885) (← links)
