Posted by **arundhati** at Jan. 9, 2017

English | ISBN: 3319468154 | 2016 | 376 pages | PDF | 5 MB

Posted by **Underaglassmoon** at Nov. 9, 2016

Springer | Logic | December 4, 2016 | ISBN-10: 3319468154 | 365 pages | pdf | 4.94 mb

Authors: Gabbay, Dov M., Schlechta, Karl

Authors combine the ideas of several types of nonmonotonic logics and their analysis of 'natural' concepts into a formal logic

Suitable for researchers in the area of computer science and mathematical logic

Posted by **step778** at June 7, 2016

1997 | pages: 283 | ISBN: 0262011573 | DJVU | 3,1 mb

Posted by **leonardo78** at Nov. 21, 2015

Publisher: World Scientific Pub Co Inc | 2005 | ISBN: 9812561013 | 408 pages | PDF | 18,8 MB

Many approaches in the field of nonmonotonic and "commonsense" reasoning are actually different representations of the same basic ideas and constructions. This book gives a logical formalization of the original, explanatory approach to nonmonotonic reasoning.

Posted by **Veslefrikk** at Sept. 21, 2014

Published: 2011-06-24 | ISBN: 3642208312 | PDF | 526 pages | 6 MB

Posted by **Veslefrikk** at March 15, 2014

Publisher: Springer | ISBN 10: 3642208940 | 2011 | PDF | 419 pages | 5.1 MB

Posted by **zolao** at May 5, 2013

Published: 2011-06-24 | ISBN: 3642208312 | PDF | 526 pages | 5 MB

This Festschrift volume, published in honor of Michael Gelfond on the occasion of his 65th birthday, contains a collection of papers written by his closest friends and colleagues. Several of these papers were presented during the Symposium on Constructive Mathematics in Computer Science, held in Lexington, KY, USA on October 25-26, 2010. The 27 scientific papers included in the book focus on answer set programming.

Posted by **rolexmaya** at Jan. 31, 2012

Springer; 1st Edition | June 28, 2011 | ISBN-10: 3642208940 | 419 pages | PDF | 5 MB

This volume contains the refereed proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning

Posted by **tot167** at July 23, 2011

Sp ger | 2011 | ISBN: 3642208312 | PDF | 526 pages | 5,6 MB

Posted by **avava** at May 7, 2011

Publisher: Springer | ISBN 10: 3642208940 | 2011 | PDF | 419 pages | 5.1 MB