close
1.

電子ブック
ＥＢ
1. Data Mining
Graham J. Williams, Takeo Kanade, Simeon J. Simoff, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Declarative Agent Languages and Technologies IV
Matteo Baldoni, Ulle Endriss, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Defence Applications of Multi-Agent Systems
Simon G. Thompson, Robert Ghanea-Hercock, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Deontic Logic and Artificial Normative Systems
Lou Goble, Takeo Kanade, John-Jules Ch Meyer, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Designing Smart Homes
Juan Carlos Augusto, Takeo Kanade, Chris D. Nugent, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Smart Homes Can Be Smarter / Juan C. Augusto ; Chris D. Nugent
Spatiotemporal Reasoning for Smart Homes / Björn Gottfried ; Hans W. Guesgen ; Sebastian Hübner
Temporal Constraints with Multiple Granularities in Smart Homes / Carlo Combi ; Rosalba Rossato
Causal Reasoning for Alert Generation in Smart Homes / Antony Galton
Plans and Planning in Smart Homes / Richard Simpson ; Debra Schreckenghost ; Edmund F. LoPresti ; Ned Kirsch
Temporal Data Mining for Smart Homes / Mykola Galushka ; Dave Patterson ; Niall Rooney
Cases, Context, and Comfort: Opportunities for Case-Based Reasoning in Smart Homes / David Leake ; Ana Maguitman ; Thomas Reichherzer
Application of Decision Trees to Smart Homes / Vlado Stankovski ; Jernej Trnkoczy
Artificial Neural Networks in Smart Homes / Rezaul Begg ; Rafiul Hassan
A Multi-agent Approach to Controlling a Smart Environment / Diane J. Cook ; Michael Youngblood ; Sajal K. Das
Author Index
Smart Homes Can Be Smarter / Juan C. Augusto ; Chris D. Nugent
Spatiotemporal Reasoning for Smart Homes / Björn Gottfried ; Hans W. Guesgen ; Sebastian Hübner
Temporal Constraints with Multiple Granularities in Smart Homes / Carlo Combi ; Rosalba Rossato
6.

電子ブック
ＥＢ
6. Formal Concept Analysis
International Conference on Formal Concept Analysis, Bernhard Ganter, Robert Godin, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Frontiers of Combining Systems
FroCoS 2005, Bernhard Gramlich, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Frontiers of Combining Systems
Silvio Ghilardi, Takeo Kanade, Roberto Sebastiani, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Building SMT-Based Software Model Checkers: An Experience Report / Alessandro Armando
Combining Nonmonotonic Knowledge Bases with External Sources / Thomas Eiter ; Gerhard Brewka ; Minh Dao-Iran ; Michael Fink ; Giovambattista lanni ; Thomas Krennwallner
Combining Description Logics, Description Graphs, and Rules / Boris Motik
Combining Equational Reasoning / Ashish Tiwari
Technical Papers
Superposition Modulo Linear Arithmetic SUP (LA) / Ernst Althaus ; Evgeny Kruglov ; Christoph Weidenbach
Unification Modulo Homomorphic Encryption / Siva Anantharaman ; Hai Lin ; Christopher Lynch ; Paliath Narendran ; Michaël Rusinowitch
Argument Filterings and Usable Rules for Simply Typed Dependency Pairs / Takahito Aoto ; Toshiyuki Yamada
DL-Lite with Temporalised Concepts, Rigid Axioms and Roles / Alessandro Artale ; Roman Kontchakov ; Vladislav Ryzhikov ; Michael Zakharyaschev
Runtime Verification Using a Temporal Description Logic / Franz Baader ; Andreas Bauer ; Marcel Lippmann
Axiomatization and Completeness of Lexicographic Products of Modal Logics / Philippe Balbiani
Automating Theories in Intuitionistic Logic / Guillaume Burel
Taming the Complexity of Temporal Epistemic Reasoning / Clare Dixon ; Michael Fisher ; Boris Konev
Putting ABox Updates into Action / Conrad Drescher ; Hongkai Liu ; Steffen Guhlemann ; Uwe Petersohn ; Peter Steinke ; Michael Thielscher
A Declarative Agent Programming Language Based on Action Theories / Stephan Schiffel
Termination Modulo Combinations of Equational Theories / Francisco Durán ; Salvador Lucas ; José Meseguer
Combinations of Theories for Decidable Fragments of First-Order Logic / Pascal Fontaine
Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property / Agi Kurucz
Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme / Stéphane Lescuyer ; Sylvain Conchon
Combining Instance Generation and Resolution / Ralph Eric McGregor
Data Structures with Arithmetic Constraints: A Non-disjoint Combination / Enrica Nicolini ; Christophe Ringeissen
Efficient Combination of Decision Procedures for MUS Computation / Cédric Piette ; Youssef Hamadi ; Lakhdar Saïs
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas / Luca Pulina ; Armando Tacchella
Combining Theories with Shared Set Operations / Thomas Wies ; Ruzica Piskac ; Viktor Kuncak
Author Index
Invited Talks
Building SMT-Based Software Model Checkers: An Experience Report / Alessandro Armando
Combining Nonmonotonic Knowledge Bases with External Sources / Thomas Eiter ; Gerhard Brewka ; Minh Dao-Iran ; Michael Fink ; Giovambattista lanni ; Thomas Krennwallner
9.

電子ブック
ＥＢ
9. Fuzzy Systems and Knowledge Discovery
Lipo Wang, Yaochu Jin, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Fuzzy Systems and Knowledge Discovery
Lipo Wang, Yaochu Jin, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼