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
292015
Distributed runtime verification of JADE multiagent systems
D Briola, V Mascardi, D Ancona
Intelligent Distributed Computing VIII, 81-91, 2014
282014
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
222014
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
192015
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
192009
Ontology agents in FIPA-compliant platforms: a survey and a new proposal
D Briola, A Locoro, V Mascardi
Proc. of WOA 8, 2008
172008
Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog.
D Briola, V Mascardi, D Ancona
CILC, 319-323, 2014
152014
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
132013
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
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
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
In The Field Monitoring of Interactive Applications
O Cornejo, D Briola, D Micucci, L Mariani
Proceedings of ICSE 2017, Nier Track, 2017
92017
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
92016
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
92011
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
82015
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
Ontologies in Industrial Enterprise Content Management Systems: the EC2M Project
D Briola, A Amicone, D Laudisa
COGNITIVE 2013, The Fifth International Conference on Advanced Cognitive …, 2013
82013
A Prolog-based MAS for railway signalling monitoring: Implementation and experiments
D Briola, V Mascardi, M Martelli, G Arecco, R Caccia, C Milani
Atti del Workshop Dagli Oggetti agli Agenti, WOA 8, 2008
82008
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
62017
The system can't perform the operation now. Try again later.
Articles 1–20