Sixty Years of Stable Models
From MaRDI portal
Publication:5504645
DOI10.1007/978-3-540-89982-2_9zbMath1185.68174OpenAlexW1533262836MaRDI QIDQ5504645
No author found.
Publication date: 22 January 2009
Published in: Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-89982-2_9
History of mathematics in the 20th century (01A60) Semantics in the theory of computing (68Q55) Logic programming (68N17) History of computer science (68-03)
Related Items
To Vladimir Lifschitz on His 65th Birthday ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective