Pages that link to "Item:Q6623793"
From MaRDI portal
The following pages link to A new logical characterisation of stable models and answer sets (Q6623793):
Displaying 5 items.
- Deontic equilibrium logic with explicit negation (Q6545559) (← links)
- Past-present temporal programs over finite traces (Q6545583) (← links)
- Logic programming (Q6602251) (← links)
- Metric temporal equilibrium logic over timed traces (Q6656458) (← links)
- Gödel-Dummett linear temporal logic (Q6665714) (← links)