close
1.

図書
図書
1. Nonmonotonic logics : basic concepts, results, and techniques
Karl Schlechta
出版情報: Berlin : Springer, c1997  ix, 243 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1187 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. Non-monotonic reasoning : formalization of commonsense reasoning
Witold Łukaszewicz
出版情報: New York : Ellis Horwood, 1990  328 p. ; 25 cm
シリーズ名: Ellis Horwood series in artificial intelligence
所蔵情報: loading…
3.

図書
図書
3. Nonmonotonic reasoning : logical foundations of commonsense
Gerhard Brewka
出版情報: Cambridge ; New York : Cambridge University Press, 1991  xi, 168 p. ; 26 cm
シリーズ名: Cambridge tracts in theoretical computer science ; 12
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Formalizing nonmonotonic reasoning / 2：
Nonmonotonic theorem proving / 3：
Inheritance systems / 4：
Nonmonotonic rule based systems / 5：
What has been achieved? / 6：
Introduction / 1：
Formalizing nonmonotonic reasoning / 2：
Nonmonotonic theorem proving / 3：
4.

図書
図書
4. Philosophical logic and artificial intelligence
edited by Richmond H. Thomason
出版情報: Dordrecht : Kluwer Academic, c1989  222 p. ; 23 cm
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Elements of argumentation ((ebook) :)
Philippe Besnard and Anthony Hunter
出版情報: Cambridge, Mass. ; London : MIT Press, c2008  1 online resource (298 p.)
所蔵情報: loading…
目次情報: 続きを見る
Complete Table of Contents
Preface
Acknowledgments
Nature of Argumentation / 1：
Abstract Argumentation / 2：
Logical Argumentation / 3：
Practical Argumentation / 4：
Comparing and Rationalizing Arguments / 5：
Considering the Audience / 6：
Algorithms for Argumentation / 7：
Comparison with Related Approaches / 8：
Future Directions / 9：
Appendixes
Table of Uniform Notation / A：
Review of Trees / B：
Review of Classical Logic / C：
Proofs for Results in Book / D：
Bibliography
Index
Complete Table of Contents
Preface
Acknowledgments
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼