Pages that link to "Item:Q3001911"

The following pages link to Answer Set Programming’s Contributions to Classical Logic (Q3001911):

Displaying 2 items.

• Revising event calculus theories to recover from unexpected observations (Q2029718) (← links)
• On Well-Founded Set-Inductions and Locally Monotone Operators (Q5278197) (← links)