×

zbMATH — the first resource for mathematics

Nonmonotonic reasoning. Essays celebrating its 30th anniversary. Papers from the conference (NonMon30), Lexington, KY, USA, October 22–25, 2010. (English) Zbl 1253.68006
Studies in Logic (London) 31. London: College Publications (ISBN 978-1-84890-042-4/pbk). x, 360 p. (2011).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Alviano, Mario; Calimeri, Francesco; Faber, Wolfgang; Ianni, Giovambattista; Leone, Nicola, Function symbols in ASP: overview and perspectives, 1-24 [Zbl 1259.68183]
Bochman, Alexander, Logic in nonmonotonic reasoning, 25-61 [Zbl 1259.68184]
Dao-Tran, Minh; Eiter, Thomas; Fink, Michael; Krennwallner, Thomas, Dynamic distributed nonmonotonic multi-context systems, 63-88 [Zbl 1259.68188]
Delgrande, James, What’s in a default? Thoughts on the nature and role of defaults in nonmonotonic reasoning, 89-109 [Zbl 1259.68185]
Denecker, Marc; Marek, Victor W.; Truszczynski, Mirosław, Reiter’s default logic is a logic of autoepistemic reasoning and a good one, too, 111-143 [Zbl 1259.68186]
Dubois, Didier; Prade, Henri, Non-monotonic reasoning and uncertainty theories, 145-180 [Zbl 1269.68092]
Gelfond, Michael, Personal perspective on the development of logic programming based KR languages, 181-200 [Zbl 1269.68093]
Kaminski, Michael, A unified approach to first-order non-monotonic logics, 201-232 [Zbl 1275.03111]
Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław, Origins of answer-set programming – some background and two personal accounts, 233-258 [Zbl 1269.68094]
Marek, Victor W.; Remmel, Jeffrey B., Extensions of answer set programming, 259-294 [Zbl 1259.68025]
Minker, Jack, Reminiscences on the anniversary of 30 years of nonmonotonic reasoning, 295-333 [Zbl 1269.68095]
Pearce, David; Uridia, Levan, The Gödel and the splitting translations, 335-360 [Zbl 1275.03112]
MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
03B60 Other nonclassical logic
68N17 Logic programming
68T27 Logic in artificial intelligence
00B25 Proceedings of conferences of miscellaneous specific interest
PDF BibTeX Cite