>> Google Books

A logical theory of nonmonotonic inference and belief change

フォーマット:
図書
責任表示:
Alexander Bochman
言語:
英語
出版情報:
Berlin ; Tokyo : Springer, c2001
形態:
xii, 434 p. ; 24 cm
著者名:
Bochman, Alexander  
シリーズ名:
Artificial intelligence <BA14044981>
書誌ID:
BA52743103
ISBN:
9783540417668 [3540417664]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Complexity of proofs and their transformations in axiomatic theories

Orevkov, V. P, Bochman, Alexander, Louvish, David

American Mathematical Society
7 図書 Knowledge in action : logical foundations for specifying and implementing dynamical systems

Reiter, Raymond

MIT Press, Massachusetts Institute of Technology
2 図書 Inference control in statistical databases : from theory to practice

Domingo-Ferrer, Josep

Springer
8 図書 Text mining : from ontology learning to automated text processing applications : festschrift in honor of Gerhard Heyer

Biemann, Chris, Mehler, Alexander

Springer
3 図書 Logical and Relational Learning

Raedt, Luc de, 1964-

Springer
9 図書 Differentiation theory and social change : comparative and historical perspectives

Alexander, Jeffrey C., Colomy, Paul Burbank, 1952-

Columbia University Press
4 図書 Nonmonotonic reasoning : logical foundations of commonsense

Brewka, Gerhard

Cambridge University Press
10 図書 Programming multi-agent systems : 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008 : revised and invited selected papers

ProMAS, Hindriks, Koen V., Pokahr, Alexander, Sardina, Sebastian

Springer
5 図書 Handbook of machine vision

Hornberg, Alexander

Wiley-VCH
11 図書 Multiagent system technologies : 7th German Conference, MATES 2009 : Humburg, Germany, September 9-11, 2009 : proceedings

MATES, Braubach, Lars, Petta, Paolo, Pokahr, Alexander, Hoek, W. van der (Wiebe van der)

Springer
6 図書 Admissibility of logical inference rules

Rybakov, Vladimir

Elsevier Science B.V.
12 図書 翻訳マテリアルズインフォマティクス : 探索と設計

Lookman, Turab, Alexander, Francis J., Rajan, Krishna, 石井, 一夫(1964-)

エヌ・ティー・エス