Viviana Mascardi
Viviana Mascardi
Associate Professor, University of Genova, Italy
Email verificata su unige.it - Home page
TitoloCitata daAnno
A Comparison of Upper Ontologies.
V Mascardi, V Cordý, P Rosso
Woa 2007, 55-64, 2007
1652007
Automatic ontology matching via upper ontologies: A systematic evaluation
V Mascardi, A Locoro, P Rosso
IEEE Transactions on knowledge and data engineering 22 (5), 609-623, 2009
1572009
Behavioral types in programming languages
D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM DeniÚlou, ...
Foundations and Trends« in Programming Languages 3 (2-3), 95-230, 2016
752016
Languages for Programming BDI-style Agents: an Overview.
V Mascardi, D Demergasso, D Ancona
WOA 2005, 9-15, 2005
682005
Coo-BDI: Extending the BDI model with cooperativity
D Ancona, V Mascardi
International Workshop on Declarative Agent Languages and Technologies, 109-134, 2003
592003
Automatic generation of self-monitoring MASs from multiparty global session types in Jason
D Ancona, S Drossopoulou, V Mascardi
International Workshop on Declarative Agent Languages and Technologies, 76-95, 2012
562012
Coo-AgentSpeak: Cooperation in AgentSpeak through plan exchange
D Ancona, V Mascardi, JF Hubner, RH Bordini
Proceedings of the Third International Joint Conference on Autonomous Agentsá…, 2004
562004
Logic-based specification languages for intelligent software agents
V Mascardi, M Martelli, L Sterling
Theory and Practice of Logic Programming 4 (4), 429-494, 2004
562004
Comparing environments for developing software agents
T Eiter, V Mascardi
AI Communications 15 (4), 169-197, 2002
552002
An ontology-based similarity between sets of concepts
V Cordı, P Lombardi, M Martelli, V Mascardi
Proceedings of WOA, Italy, 16-21, 2005
502005
An agent-based framework for sketched symbol interpretation
G Casella, V Deufemia, V Mascardi, G Costagliola, M Martelli
Journal of Visual Languages & Computing 19 (2), 225-257, 2008
402008
Logic Programming and Multi-Agent Systems: A synergic combination for applications and semantics
M Bozzano, G Delzanno, M Martelli, V Mascardi, F Zini
The Logic Programming Paradigm, 5-32, 1999
391999
COOWS: Adaptive BDI Agents meet Service-Oriented Computing.
L Bozzo, V Mascardi, D Ancona, P Busetta
EUMAS, 473, 2005
362005
Customizing AOSE methodologies by reusing AOSE features
T Juan, L Sterling, M Martelli, V Mascardi
Proceedings of the second international joint conference on Autonomousá…, 2003
342003
Specification and Simulation of Multi-Agent Systems in CaseLP.
M Martelli, V Mascardi, F Zini
APPIA-GULP-PRODE, 13-28, 1999
311999
Comparing trace expressions and linear temporal logic for runtime verification
D Ancona, A Ferrando, V Mascardi
Theory and Practice of Formal Methods, 47-64, 2016
252016
Constrained global types for dynamic checking of protocol conformance in multi-agent systems
D Ancona, M Barbieri, V Mascardi
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1377-1379, 2013
252013
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
M Baldoni, C Baroglio, V Mascardi, A Omicini, P Torroni
A 25-year perspective on logic programming, 204-230, 2010
242010
Distributed runtime verification of JADE multiagent systems
D Briola, V Mascardi, D Ancona
Intelligent Distributed Computing VIII, 81-91, 2015
232015
Global protocols as first class entities for self-adaptive agents
D Ancona, D Briola, A Ferrando, V Mascardi
Proceedings of the 2015 International Conference on Autonomous Agents andá…, 2015
222015
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20