close
1.

図書

図書
James L. Rash ... [et al.] (eds.)
出版情報: Berlin : Springer, c2001  ix, 368 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1871 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Verifying Agent's Mental States
Model Checking-Based Analysis of Multiagent Systems / M. Benerecetti ; F. Giunchiglia
Towards Formal Specification and Verification in Cyberspace / S. Ambroszkiewicz ; W. Penczek ; T. Nowak
Verification within the KARO Agent Theory / U. Hustadt ; C. Dixon ; R.A. Schmidt ; M. Fisher ; J.-J.C. Meyer ; W. van der Hoek
Synthesizing Agents Initially
On Formal Modeling of Agent Computations / T. Araragi ; P. Attie ; I. Keidar ; K. Kogure ; V. Luchangco ; N. Lynch ; K. Mano
Modeling and Programming Devices and Web Agents / S.A. McIlraith
A Programming Logic for Part of the Agent Language 3APL / K.V. Hindriks ; F.S. de Boer
Frameworks and Formalization / Y. Kawabe
From Livingstone to SMV (Formal Verification for Autonomous Spacecrafts) / C. Pecheur ; R. Simmons
Verification of Plan Models Using UPPAAL / L. Khatib ; N. Muscettola ; K. Havelund
Formalization of a Spatialized Multiagent Model Using Coloured í Petri Nets for the Study of an Hunting Management System / I. Bakam ; F. Kordon ; C. Le Page ; F. Bousquet
Formal Agent Development: Framework to System / M. d'Inverno ; M. Luck
Modeling and Execution
Automatic Synthesis of Agent Designs in UML / J. Schumann ; J. Whittle
Direct Execution of Agent Specifications
Using the ?-Calculus to Model Multiagent Systems / A.C. Esterline ; T. Rorie
Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude / J. Van Baalen ; J.L. Caldwell ; S. Mishra
Inter-agent Communication
Agents Talking Faster / T. Menzies ; B. Cukic ; H. Singh
Refining Interactions in a Distributed System / N. Soundarajan
Design and Mathematical Analysis of Agent-Based Systems / K. Lerman
Modeling Task and Teams through Game Theoretical Agents / M. Rudnianski ; H. Bestougeff
Web Agents Cooperating Deductively / R. Waldinger
Adaptive Agents
Formal Specification of Agent Behaviour through Environment Scenarios / H. Zhu
APT Agents: Agents That Are Adaptive, Predictable, and Timely / D.F. Gordon
Posters
Ontology Negotiation in a Community of Agents / S.C. Bailin
Analysis of Agent-Based Systems Using Decision Procedures / R. Bharadwaj
A Formal Approach to Belief-Goal-Role Agents / W. Chainbi
Model Checking of Autonomy Models for an In-Situ Propellant Production System / P. Engrand
Adaptive Supervisory Control of Multi-agent Systems / K. Kiriakidis
Machine-Learning for Logic-Based Multi-agent Systems / E. Alonso ; D. Kudenko
Using a Formal Framework for Agent System Design / V. Carchiolo ; M. Malgeri ; G. Mangioni
Modeling Agent-Based Systems / S. Mandutianu
Modeling Agent Systems by Bayesian Belief Networks / Y. Peng
The Anthropomorphizing of Intelligent Agents / T. Riley
Controlling Multiple Satellite Constellations Using the TeamAgent System / D.M. Surka ; M.E. Campbell ; T.P. Schetter
Operations Assistants for Johnson Space Center's Mission Control Center / S.E. Torney
A Real Time Object-Oriented Rational Agent Development System / L.P. Wesley
Panel Sessions
Empirical versus Formal Methods
Future Directions
Author Index
Verifying Agent's Mental States
Model Checking-Based Analysis of Multiagent Systems / M. Benerecetti ; F. Giunchiglia
Towards Formal Specification and Verification in Cyberspace / S. Ambroszkiewicz ; W. Penczek ; T. Nowak
2.

図書

図書
edited by D. Dietrich, P. Neumann, and J.-P. Thomesse
出版情報: New York : Published for the International Federation of Automatic Control by Pergamon, 2002  ix, 319 p. ; 30 cm
シリーズ名: IFAC proceedings series
所蔵情報: loading…
目次情報: 続きを見る
Plenary papers
Dependability I
High Performance fieldbuses
Dependability II
Device profiles
Scheduling
Applications
Performance and real time communication
Architectures
Validation and test
Profiles
New technologies and education
Wireless fieldbuses and gateways
Plenary papers
Dependability I
High Performance fieldbuses
3.

図書

図書
edited by D. Dietrich, J.P. Thomesse and P. Neumann
出版情報: Oxford, UK : Published for the International Federation of Automatic Control by Elsevier, 2003  viii, 337 p. ; 30 cm
所蔵情報: loading…
4.

図書

図書
IEEE International Symposium on Intelligent Signal Processing (3rd : 2003 Budapest, Hungary) ; IEEE Instrumentation and Measurement Society ; IEEE Hungary Section
出版情報: Piscataway, New Jersey : IEEE, c2003  299 p. ; 28 cm
所蔵情報: loading…
5.

図書

図書
organized by INRIA Rhône-Alpes ; sponsored by IEEE Industrial Electronics Society ... [et al.]
出版情報: Piscataway, NJ : IEEE Service Center, [1997]  3 v. ; 28 cm
所蔵情報: loading…
6.

図書

図書
Zbigniew W. Raś, Andrzej Skowron (eds.)
出版情報: Berlin ; New York : Springer, c1999  xii, 676 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1609 . Lecture notes in artificial intelligence
所蔵情報: loading…
7.

図書

図書
endorsed by the State Science and Technology Commission of China, Chinese Electronics Ministry, Beijing Government ; sponsored by the IEEE Industrial Electronics Society ; in technical co-operation with Tsinghua University, China ... [et al.]
出版情報: New York, NY : The Institute of Electrical and Electronics Engineers, Inc., c1997  2 v. (xxviii, 1893 p.) ; 28 cm
所蔵情報: loading…
8.

図書

図書
sponsoring organizations, IEEE Industrial Electronics Society ... [et al.]
出版情報: Piscataway, NJ : IEEE Service Center, c1998  3 v. (xliv, 2010 p.) ; 28 cm
所蔵情報: loading…
9.

図書

図書
edited by Rogelio Soto ... [et al.]
出版情報: Monterey, Mexico : Instituto Tecnológico y de Estudios Superiores de Monterey, Centro de Intelligencia Artificial , Piscataway, NJ : [Available from] IEEE-TAB Products Group, 1996  476 p. ; 28 cm
所蔵情報: loading…
10.

図書

図書
IEEE/SICE/RSJ International Conference on Multisensor Fusion and Integration for Intelligent Systems ; Institute of Electrical and Electronics Engineers ; 計測自動制御学会 ; Robotics Society of Japan
出版情報: [New York] : Institute of Electrical and Electronics Engineers, c1996  xv, 848 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼