close
1.

電子ブック
ＥＢ
1. Intelligent Agents IV: Agent Theories, Architectures, and Languages : 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings. 1st ed. 1998
edited by Munindar P. Singh, Anand Rao, Michael J. Wooldridge
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998  XVI, 356 p.
シリーズ名: Lecture Notes in Artificial Intelligence ; 1365
Lecture Notes in Computer Science ; 1365
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Logics in Artificial Intelligence : European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings. 1st ed. 1996
edited by Jose Julio Alferes, Luis Moniz Pereira, Eva Orlowska
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996  X, 426 p.
シリーズ名: Lecture Notes in Artificial Intelligence ; 1126
Lecture Notes in Computer Science ; 1126
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Logical Aspects of Computational Linguistics : First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers. 1st ed. 1997
edited by Christian Retore
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997  X, 442 p.
シリーズ名: Lecture Notes in Artificial Intelligence ; 1328
Lecture Notes in Computer Science ; 1328
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Logics in AI : European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings. 1st ed. 1991
edited by Jan van Eijck
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991  XI, 569 p.
シリーズ名: Lecture Notes in Artificial Intelligence ; 478
Lecture Notes in Computer Science ; 478
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Automated Deduction - CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings. 1st ed. 1997
edited by William McCune
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997  XV, 469 p.
シリーズ名: Lecture Notes in Artificial Intelligence ; 1249
Lecture Notes in Computer Science ; 1249
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Formal Models of Agents : ESPRIT Project ModelAge Final Report Selected Papers. 1st ed. 1999
edited by John-Jules C. Meyer, Pierre-Yves Schobbens
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999  VIII, 260 p.
シリーズ名: Lecture Notes in Artificial Intelligence ; 1760
Lecture Notes in Computer Science ; 1760
所蔵情報: loading…
目次情報: 続きを見る
Formal Models of Agents: An Introduction / John-Jules Ch. Meyer ; Pierre-Yves Schobbens
A Model of BDI-Agent in Game-Theoretic Framework / Stanislaw Ambroszkiewicz ; Jan Komar
Dynamic Belief Hierarchies / John Bell ; Zhisheng Huang
Modelling Internal Dynamic Behaviour of BDI Agents / Frances Brazier ; Barbara Dunin-Keplicz ; Jan Treur ; Rineke Verbrugge
Towards an Agent-Oriented Framework for Specification of Information Systems / Stefan Conrad ; Gunter Saake ; Can Türker
The Impossibility of Modelling Cooperation in PD-Game / Rosaria Conte ; Cristiano Castelfranchi ; Roberto Pedone
Designing Multi-agent Systems around an Extensible Communication Abstraction / Enrico Denti ; Andrea Omicini
Social Interactions of Autonomous Agents: Private and Global Views on Communication / Frank Dignum
Towards a Proof-Theoretic Foundation for Actor Specification and Verification / Carlos H.C. Duarte
Nondeterministic Actions with Typical Effects: Reasoning about Scenarios / Barbara Dunin-K&ecedil;plicz ; Anna Radzikowska
Agents' Dynamic Mental Attitudes / Bruno Errico
Diagnostic Agents for Distributed Systems / Peter Fröhlich ; Iara de Almeida M&oacaute;ra ; Wolfgang Nejdl ; Michael Schroeder
Preferential Action Semantics (Preliminary Report) / Patrick Doherty
Dialectical Proof Theory for Defeasible Argumentation with Defeasible Priorities (Preliminary Report) / Henry Prakken
The Role of Diagnosis and Decision Theory in Normative Reasoning / Leendert W.N. van der Torre ; Pedro Ramos ; José Luiz Fiadeiro ; Yao-Hua Tan
Contextual Deontic Logic
Author Index
Formal Models of Agents: An Introduction / John-Jules Ch. Meyer ; Pierre-Yves Schobbens
A Model of BDI-Agent in Game-Theoretic Framework / Stanislaw Ambroszkiewicz ; Jan Komar
Dynamic Belief Hierarchies / John Bell ; Zhisheng Huang
7.

電子ブック
ＥＢ
7. Logic Programming and Knowledge Representation : Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers. 1st ed. 1998
edited by Luis Moniz Pereira, Teodor C. Przymusinski
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998  XII, 252 p.
シリーズ名: Lecture Notes in Artificial Intelligence ; 1471
Lecture Notes in Computer Science ; 1471
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Temporal Logic : First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings. 1st ed. 1994
edited by Dov M. Gabbay, Hans J. Ohlbach
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994  XIII, 551 p.
シリーズ名: Lecture Notes in Artificial Intelligence ; 827
Lecture Notes in Computer Science ; 827
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Extensions of Logic Programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. 1st ed. 1996
edited by Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996  X, 322 p.
シリーズ名: Lecture Notes in Artificial Intelligence ; 1050
Lecture Notes in Computer Science ; 1050
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Logical Aspects of Computational Linguistics : Second International Conference, LACL'97, Nancy, France, September 22-24, 1997, Selected Papers. 1st ed. 1999
edited by Alain Lecomte, Francois Lamarche, Guy Perrier
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999  XI, 255 p.
シリーズ名: Lecture Notes in Artificial Intelligence ; 1582
Lecture Notes in Computer Science ; 1582
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼