- Agent-based refinement for predicate abstraction of multi-agent systems
Opis
- Tytuł: Agent-based refinement for predicate abstraction of multi-agent systems
- Tytuł publikacji grupowej: Frontiers in artificial intelligence and applications ; 285
- Tytuł pracy zbiorowej: ECAI 2016 : 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands : including Prestigious applications of intelligent systems (PAIS 2016) : proceedings
- Twórca: Belardinelli, Francesco ; Lomuscio, Alessio ; Michaliszyn, Jakub
- Strony: S. 286-294
- Opis: Zawiera streszczenie. ; Zawiera bibliografię. ; Zawiera ilustracje.
- Język Abstraktu: eng
- Wydawca: IOS Press
- Miejsce wydania: Amsterdam
- Data wydania: 2017
- Typ: Tekst
- Identyfikator: ISBN 9781614996712 ; https://doi.org/10.3233/978-1-61499-672-9-286
- Język publikacji: eng
- Wersja Cyfrowa: https://doi.org/10.3233/978-1-61499-672-9-286
- Licencja: CC BY NC
- Szczegółowy typ obiektu: rozdz
- Typ obiektu: Rozdział
