The following pages link to Sixty Years of Stable Models (Q5504645):
Displaying 9 items.
- Stable models and circumscription (Q543596) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Thirty years of G-stability (Q2433883) (← links)
- To Vladimir Lifschitz on His 65th Birthday (Q2900498) (← links)
- (Q3004247) (← links)
- Two Decades of SCN Modelling and Beyond (Q3539316) (← links)
- Thirteen Definitions of a Stable Model (Q3586017) (← links)
- SMS and ASP: Hype or TST? (Q5504647) (← links)
- THE SAINT MODEL: A DECADE LATER (Q5866176) (← links)