Formal Approaches to Agent-Based Systems
Springer Berlin (Verlag)
978-3-540-24422-6 (ISBN)
Ecology Based Decentralized Agent Management System.- Ecology Based Decentralized Agent Management System.- From Abstract to Concrete Norms in Agent Institutions.- Meeting the Deadline: Why, When and How.- Multi-agent Systems Reliability, Fuzziness, and Deterrence.- Formalism Challenges of the Cougaar Model Driven Architecture.- Facilitating the Specification Capture and Transformation Process in the Development of Multi-agent Systems.- Using Ontologies to Formalize Services Specifications in Multi-agent Systems.- Two Formal Gas Models for Multi-agent Sweeping and Obstacle Avoidance.- A Formal Analysis of Potential Energy in a Multi-agent System.- Agent-Based Chemical Plume Tracing Using Fluid Dynamics.- Towards Timed Automata and Multi-agent Systems.- An Approach to V&V of Embedded Adaptive Systems.- Verifying Multi-agent Systems via Unbounded Model Checking.- Towards Symbolic Model Checking for Multi-agent Systems via obdd's.- Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols.- F-OWL: An Inference Engine for Semantic Web.- Model-Driven Architecture for Agent-Based Systems.- Apoptosis and Self-Destruct: A Contribution to Autonomic Agents?.- Poster Presentations.- Petri Nets as Modeling Tool for Emergent Agents.- Massive Multi-agent systems control.- Fuzzy Hybrid Deliberative/Reactive Paradigm (FHDRP).- Interaction and Communication of Agents in Networks and Language Complexity Estimates.
Erscheint lt. Verlag | 31.1.2005 |
---|---|
Reihe/Serie | Lecture Notes in Artificial Intelligence | Lecture Notes in Computer Science |
Zusatzinfo | VIII, 291 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 431 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
Mathematik / Informatik ► Informatik ► Theorie / Studium | |
Technik ► Elektrotechnik / Energietechnik | |
Schlagworte | agent-based control • Agent-Based Systems • Agent societies • Agent Technology • Automat • Automata • embedded adaptive systems • Model Checking • model driven agent architectures • multi-agent system • Multi-agent Systems • multi-agent systems specification • multi-agent systems verification • Petri net • verification |
ISBN-10 | 3-540-24422-0 / 3540244220 |
ISBN-13 | 978-3-540-24422-6 / 9783540244226 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich