Pages that link to "Item:Q5299584"
From MaRDI portal
The following pages link to Reasoning about actions with Temporal Answer Sets (Q5299584):
Displaying 8 items.
- Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL (Q2694571) (← links)
- Reasoning about actions in dynamic linear time temporal logic (Q2716929) (← links)
- On the Expressiveness of Temporal Equilibrium Logic (Q2835869) (← links)
- Achieving completeness in the verification of action theories by Bounded Model Checking in ASP (Q3458887) (← links)
- (Q4490359) (← links)
- Temporal Answer Set Programming on Finite Traces (Q4559802) (← links)
- Business process verification with constraint temporal answer set programming (Q5398302) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424864) (← links)