Follow
Daniela Briola
Title
Cited by
Cited by
Year
Global Protocols as First Class Entities for Self-Adaptive Agents
D Ancona, D Briola, A Ferrando, V Mascardi
AAMAS 2015, 2015
412015
Distributed runtime verification of JADE multiagent systems
D Briola, V Mascardi, D Ancona
Intelligent Distributed Computing VIII, 81-91, 2014
402014
A holonic multi-agent system for sketch, image and text interpretation in the rock art domain
V Mascardi, D Briola, A Locoro, D Grignani, V Deufemia, L Paolino, ...
International Journal of Innovative Computing, Information and Control, 2014
272014
Efficient Verification of MASs with Projections
D Ancona, D Briola, AEF Seghrouchni, V Mascardi, P Taillibert
Second International Workshop on Engineering Multi-Agent Systems (EMAS 2014 …, 2015
222015
Monitoring and diagnosing railway signalling with logic-based distributed agents
V Mascardi, D Briola, M Martelli, R Caccia, C Milani
Proceedings of the International Workshop on Computational Intelligence in …, 2009
202009
Agent-oriented and ontology-driven digital libraries: the IndianaMAS experience
D Briola, V Deufemia, V Mascardi, L Paolino
Journal of Software: Practice and Experience, 2017
192017
Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog.
D Briola, V Mascardi, D Ancona
CILC, 319-323, 2014
192014
Ontology agents in FIPA-compliant platforms: a survey and a new proposal
D Briola, A Locoro, V Mascardi
Proc. of WOA 2008, 68-75, 2008
172008
On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol
V Mascardi, D Briola, D Ancona
AI* IA 2013: Advances in Artificial Intelligence, 300-311, 2013
142013
Intelligent Agents that Monitor, Diagnose and Solve Problems: Two success stories of industry-university collaboration
D Briola, V Mascardi, M Martelli
Journal of Information Assurance and Security 4, 106-116, 2009
132009
A platform for P2P agent‐based collaborative applications
D Briola, D Micucci, L Mariani
Software: Practice and Experience 49 (3), 549-558, 2019
122019
Ontologica: Exploiting ontologies and natural language for railway management. Design, implementation and usage examples
D Briola, R Caccia, M Bozzano, A Locoro
International Journal of Knowledge-Based and Intelligent Engineering Systems …, 2013
122013
Multi agent resource allocation: a comparison of five negotiation protocols
D Briola, V Mascardi
12th Workshop on Objects and Agents (WOA 2011), Proceedings, volume 741, 95-104, 2011
122011
Dynamic Resource Allocation in a MAS: A Case Study from the Industry
D Briola, V Mascardi, M Martelli, R Caccia, C Milani
WOA 2009, Proceedings, 2009
122009
MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols
D Ancona, D Briola, A Ferrando, V Mascardi
Proceedings of the 17th Workshop” From Objects to Agents” co-located with …, 2016
112016
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach
D Ancona, D Briola, A Ferrando, V Mascardi
Intelligenza Artificiale 9 (2), 131-148, 2015
102015
Design and implementation of a NetLogo interface for the stand-alone FYPA system
D Briola, V Mascardi
12th Workshop on Objects and Agents (WOA 2011), Proceedings, volume, 2011
102011
Computational Thinking for Beginners: A Successful Experience using Prolog
S Beux, D Briola, A Corradi, G Delzanno, A Ferrando, F Frassetto, ...
30th Italian Conference on Computational Logic, CILC 2015, Genova 1459, 31-45, 2015
92015
In The Field Monitoring of Interactive Applications
O Cornejo, D Briola, D Micucci, L Mariani
Proceedings of ICSE 2017, Nier Track, 2017
82017
My MOoD, a Multimedia and Multilingual Ontology Driven MAS: Design and First Experiments in the Sentiment Analysis Domain
M Leotta, S Beux, V Mascardi, D Briola
Emotion and Sentiment in Social and Expressive Media, ESSEM@AAMAS 2015, 2015
82015
The system can't perform the operation now. Try again later.
Articles 1–20