Reasoning with actual and potential contradictions

所蔵情報QRコード

資料種別:

図書

出版情報:

Dordrecht ; London : Kluwer Academic, c1998

形態:

vii, 333 p. ; 25cm

シリーズ名:

著者名:

ISBN:

9780792351610 [0792351614]
9780792351658 [0792351657] (set)

書誌ID:

BA39007114

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	Includes bibliographical references and index
主題:	Negation (Logic); Reasoning
言語:	英語

東工大ブックレビュー

1 電子ブック Elements of argumentation ((ebook) :) Besnard, Philippe, Hunter, Anthony MIT Press	7 図書 Reasoning with logic programming Alferes, José Júlio, Pereira, Luís Moniz Springer
2 図書 Quantified representation of uncertainty and imprecision (set) Smets, Philippe Kluwer Academic	8 図書 Reasoning about knowledge (: hbk) Fagin, Ronald MIT Press
3 図書 Practical reasoning Raz, Joseph Oxford University Press	9 図書 Knowledge representation and defeasible reasoning Kyburg, Henry Ely, 1928-, Loui, Ronald P., Carlson, Greg N., 1948- Kluwer Academic Publishers
4 図書 Non-monotonic reasoning : formalization of commonsense reasoning Łukaszewicz, Witold Ellis Horwood	10 図書 Constraint-based reasoning Freuder, Eugene C., Mackworth, Alan K. MIT Press
5 図書 Justification logic : reasoning with reasons (: hardback) Artemov, S. N., Fitting, Melvin Chris Cambridge University Press	11 図書 Foundations of knowledge representation and reasoning (: gw ; : us) Lakemeyer, Gerhard, Nebel, Bernhard, 1956- Springer-Verlag
6 図書 Reasoning with incomplete information (uk. ; us.) Etherington, David W. Pitman, M. Kaufmann Publishers	12 図書 Planning and learning by analogical reasoning Veloso, Manuela M. Springer-Verlag

1

2

3

4

5

6

7

8

9

10

11

12