CINECA IRIS Institutional Research Information System

SMT-based diagnosis of Multi-Agent Temporal Plans

Torta, Gianluca;Micalizio, Roberto
2018-01-01
2018
17th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2018
swe
2018
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)
3
2097
2099
9781510868083
http://dl.acm.org/event.cfm?id=RE146&tab=pubs
Model-based diagnosis; Multi-Agent Plan; SMT; Artificial Intelligence; Software; Control and Systems Engineering
Torta, Gianluca; Micalizio, Roberto
04D-Meeting abstract in volume
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1692827
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 4
social impact