×

zbMATH — the first resource for mathematics

Origins of answer-set programming – some background and two personal accounts. (English) Zbl 1269.68094
Brewka, Gerhard (ed.) et al., Nonmonotonic reasoning. Essays celebrating its 30th anniversary. Papers from the conference (NonMon30), Lexington, KY, USA, October 22–25, 2010. London: College Publications (ISBN 978-1-84890-042-4/pbk). Studies in Logic (London) 31, 233-258 (2011).
Summary: We discuss the evolution of aspects of nonmonotonic reasoning towards the computational paradigm of answer-set programming (ASP). We give a general overview of the roots of ASP and follow up with the personal perspective on research developments that helped verbalize the main principles of ASP and differentiated it from the classical logic programming.
For the entire collection see [Zbl 1253.68006].
MSC:
68T27 Logic in artificial intelligence
68N17 Logic programming
68-03 History of computer science
Software:
Cmodels
PDF BibTeX XML Cite