Pages that link to "Item:Q3001911"
From MaRDI portal
The following pages link to Answer Set Programming’s Contributions to Classical Logic (Q3001911):
Displaying 4 items.
- Revising event calculus theories to recover from unexpected observations (Q2029718) (← links)
- How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP (Q3643102) (← links)
- On Well-Founded Set-Inductions and Locally Monotone Operators (Q5278197) (← links)
- Logics in Artificial Intelligence (Q5394118) (← links)