Nonmonotonic reasoning : logical foundations of commonsense

所蔵情報QRコード

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes bibliographical references (p. 157-165) and index

主題:

言語:

英語

目次情報:

Introduction / 1：

Formalizing nonmonotonic reasoning / 2：

Nonmonotonic theorem proving / 3：

Inheritance systems / 4：

Nonmonotonic rule based systems / 5：

What has been achieved? / 6：

東工大ブックレビュー

1 図書 Non-monotonic reasoning : formalization of commonsense reasoning Łukaszewicz, Witold Ellis Horwood	7 図書 Nonmonotonic logics : basic concepts, results, and techniques Schlechta, Karl Springer
2 図書 Foundations of knowledge representation and reasoning (: gw ; : us) Lakemeyer, Gerhard, Nebel, Bernhard, 1956- Springer-Verlag	8 図書 Reasoning with incomplete information (uk. ; us.) Etherington, David W. Pitman, M. Kaufmann Publishers
3 電子ブック Elements of argumentation ((ebook) :) Besnard, Philippe, Hunter, Anthony MIT Press	9 図書 Knowledge representation and defeasible reasoning Kyburg, Henry Ely, 1928-, Loui, Ronald P., Carlson, Greg N., 1948- Kluwer Academic Publishers
4 図書 Formal theories of the commonsense world Hobbs, Jerry R., Moore, Robert C., 1948- Ablex Pub.	10 図書 Reasoning and revision in hybrid representation systems (: gw ; : us) Nebel, Bernhard, 1956- Springer Verlag
5 図書 Representations of commonsense knowledge Davis, Ernest Morgan Kaufmann Publishers	11 図書 Mundane reasoning by parallel constraint satisfaction (: pbk ; : hbk ; Morgan Kaufmann ed.) Derthick, Mark Pitman, Morgan Kaufmann Publishers
6 図書 Distributed reason maintenance for multiagent systems Kraetzschmar, Gerhard Springer	12 図書 Qualitative reasoning : modeling and simulation with incomplete knowledge Kuipers, Benjamin MIT Press