ISBN: 9789401717410
This volume, the 7th volume in the DRUMS Handbook series, is part of the aftermath of the successful ESPRIT project DRUMS (Defeasible Reasoning and Uncertainty Management Systems) which t… Plus…
| Springer.com new in stock. Frais d'envoizzgl. Versandkosten. (EUR 0.00) Details... |
ISBN: 9789401717410
This volume, the 7th volume in the DRUMS Handbook series, is part of the aftermath of the successful ESPRIT project DRUMS (Defeasible Reasoning and Uncertainty Management Systems) which t… Plus…
| Springer.com new in stock. Frais d'envoiplus verzendkosten., Livraison non-comprise Details... |
ISBN: 9789401717410
Mathematics; Mathematical Logic and Foundations; Logic; Artificial Intelligence (incl. Robotics) Analysis, communication, logic, multi-agent system, programming, programming language, sem… Plus…
| Springer.com Frais d'envoizzgl. Versandkosten, Livraison non-comprise Details... |
2013, ISBN: 9789401717410
eBooks, eBook Download (PDF), [PU: Springer Netherlands], Springer Netherlands, 2013
| lehmanns.de Frais d'envoiDownload sofort lieferbar. (EUR 0.00) Details... |
2013, ISBN: 9789401717410
eBook Download (PDF), eBooks, [PU: Springer]
| lehmanns.de Frais d'envoiDownload sofort lieferbar, , Geen versendingskosten in Duitsland. (EUR 9.95) Details... |
ISBN: 9789401717410
This volume, the 7th volume in the DRUMS Handbook series, is part of the aftermath of the successful ESPRIT project DRUMS (Defeasible Reasoning and Uncertainty Management Systems) which t… Plus…
John-Jules Ch. Meyer; Jan Treur:
Agent-Based Defeasible Control in Dynamic Environments - nouveau livreISBN: 9789401717410
This volume, the 7th volume in the DRUMS Handbook series, is part of the aftermath of the successful ESPRIT project DRUMS (Defeasible Reasoning and Uncertainty Management Systems) which t… Plus…
ISBN: 9789401717410
Mathematics; Mathematical Logic and Foundations; Logic; Artificial Intelligence (incl. Robotics) Analysis, communication, logic, multi-agent system, programming, programming language, sem… Plus…
2013, ISBN: 9789401717410
eBooks, eBook Download (PDF), [PU: Springer Netherlands], Springer Netherlands, 2013
2013, ISBN: 9789401717410
eBook Download (PDF), eBooks, [PU: Springer]
Données bibliographiques du meilleur livre correspondant
| Auteur: | |
| Titre: | |
| ISBN: |
Informations détaillées sur le livre - Agent-Based Defeasible Control in Dynamic Environments
EAN (ISBN-13): 9789401717410
Date de parution: 2013
Editeur: Springer Netherlands
Livre dans la base de données depuis 2017-06-15T06:20:37+02:00 (Zurich)
Page de détail modifiée en dernier sur 2023-03-11T12:56:05+01:00 (Zurich)
ISBN/EAN: 9789401717410
ISBN - Autres types d'écriture:
978-94-017-1741-0
Autres types d'écriture et termes associés:
Auteur du livre: jan meyer, jules
Titre du livre: agent
Données de l'éditeur
Auteur: John-Jules Ch. Meyer; Jan Treur
Titre: Handbook of Defeasible Reasoning and Uncertainty Management Systems; Agent-Based Defeasible Control in Dynamic Environments
Editeur: Springer; Springer Netherland
479 Pages
Date de parution: 2013-03-09
Dordrecht; NL
Langue: Anglais
213,99 € (DE)
220,00 € (AT)
236,00 CHF (CH)
Available
IX, 479 p.
EA; E107; eBook; Nonbooks, PBS / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Analysis; communication; logic; multi-agent system; programming; programming language; semantics; uncertainty; verification; B; Mathematical Logic and Foundations; Logic; Artificial Intelligence; Mathematics and Statistics; Mathematische Grundlagen; Philosophie: Logik; Künstliche Intelligenz; BB
I: Introduction and Basic Concepts.- Basic Concepts.- II: Modelling Frameworks and Generic Agent Models.- Compositional Design of Multi-Agent Systems: Modelling Dynamics and Control.- Control Techniques for Complex Reasoning: The Case of Milord II.- Coordinating Heterogeneous Components Using Executable Temporal Logic.- Compositional Design and Reuse of a Generic Agent Model.- IIIA: Formal Analyis: General Approaches.- Semantic Formalisation of Emerging Dynamics of Compositional Agent Systems.- A Descriptive Dynamic Logic and its Application to Reflective Architectures.- Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic.- IIIB: Formal Analysis: Logics for Agents.- Formalising Abilities and Opportunities of Agents.- Seeing is Believing (And so are Hearing and Jumping).- Motivational Attitudes in the KARO Framework.- Modelling Social Agents: Towards Deliberate Communication.- IIIC: Formal Analysis: Reasoning about Dynamics.- Reasoning about Action and Change Using Dijkstra’s Semantics for Programming Languages.- Reasoning about Action and Change: Actions with Abnormal Effects.- Preferential Action Semantics.- Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments.- Compositional Verification of a Multi-Agent System for One-to-Many Negotiation.Is - together with Volume 6 - devoted to the topics Reasoning and Dynamics, covering both the topics of "Dynamics of Reasoning", where reasoning is viewed as a process, and "Reasoning about Dynamics", which must be understood as pertaining to how both designers of, and agents within dynamic systems may reason about these systems
Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9781402008344 Agent-Based Defeasible Control in Dynamic Environments (Jan Treur)
- 9781402008344 Agent-Based Defeasible Control in Dynamic Environments (Jan Treur)
- 9780792365655 Abductive Reasoning and Learning (Smets, Philippe (Herausgeber); Gabbay, Dov M. (Herausgeber))
- 9780792351627 Belief Change: 3 (Handbook of Defeasible Reasoning and Uncertainty Management Systems, 3) (Dov M. Gabbay; Philippe Smets)
- 9780792351009 Quantified Representation of Uncertainty and Imprecision: 1 (Handbook of Defeasible Reasoning and Uncertainty Management Systems, 1) (Smets, Philippe (Herausgeber); Gabbay, Dov M. (Herausgeber))
- 9780792351610 Reasoning with Actual and Potential Contradictions Dov M. Gabbay Editor (Gabbay, Dov M.)
< pour archiver...