IRIS
MARTELLI, MAURIZIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 6.855
AS - Asia 626
NA - Nord America 225
SA - Sud America 47
AF - Africa 12
OC - Oceania 1
Totale 7.766
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 6.754
SG - Singapore 294
US - Stati Uniti d'America 215
CN - Cina 168
VN - Vietnam 102
FR - Francia 62
BR - Brasile 27
HK - Hong Kong 17
DE - Germania 13
AR - Argentina 11
JP - Giappone 8
MX - Messico 8
GB - Regno Unito 7
BD - Bangladesh 5
EC - Ecuador 4
FI - Finlandia 4
IN - India 4
ZA - Sudafrica 4
ID - Indonesia 3
KZ - Kazakistan 3
PH - Filippine 3
TR - Turchia 3
AZ - Azerbaigian 2
CH - Svizzera 2
EG - Egitto 2
IQ - Iraq 2
JO - Giordania 2
MA - Marocco 2
NL - Olanda 2
PE - Perù 2
PK - Pakistan 2
UZ - Uzbekistan 2
AM - Armenia 1
AU - Australia 1
BA - Bosnia-Erzegovina 1
BE - Belgio 1
BW - Botswana 1
CA - Canada 1
CO - Colombia 1
CZ - Repubblica Ceca 1
ES - Italia 1
IE - Irlanda 1
IL - Israele 1
KE - Kenya 1
LT - Lituania 1
NG - Nigeria 1
NP - Nepal 1
PA - Panama 1
PT - Portogallo 1
QA - Qatar 1
RO - Romania 1
RU - Federazione Russa 1
SA - Arabia Saudita 1
SE - Svezia 1
TH - Thailandia 1
TN - Tunisia 1
UA - Ucraina 1
UY - Uruguay 1
VE - Venezuela 1
Totale 7.766
Salva come PNG Salva come JPEG
Città #
Genova 4.207
Genoa 1.387
Rapallo 686
Vado Ligure 441
Singapore 144
San Jose 94
Lauterbourg 53
Ho Chi Minh City 26
New York 23
Hanoi 22
Beijing 20
Hong Kong 16
Ashburn 13
Bordighera 13
Frankfurt am Main 11
Santa Clara 10
Tianjin 8
Da Nang 7
Haiphong 7
Orem 7
Tokyo 7
Biên Hòa 4
Guangzhou 4
Helsinki 4
Mexico City 4
Milan 4
City of London 3
Hải Dương 3
Johannesburg 3
Amsterdam 2
Atlanta 2
Baku 2
Bengaluru 2
Buffalo 2
Bắc Ninh 2
Cairo 2
Can Tho 2
Chicago 2
Council Bluffs 2
Dhaka 2
Guadalupe 2
Istanbul 2
London 2
Los Angeles 2
Lucca 2
Nuremberg 2
Porto Alegre 2
Quezon City 2
Quito 2
Quận Ba 2
São Paulo 2
Valenza 2
Zurich 2
Ahmedabad 1
Alghero 1
Almaty 1
Além Paraíba 1
Amman 1
Ananindeua 1
Arcola 1
Astana 1
Bangkok 1
Benito Juarez 1
Bogotá 1
Brussels 1
Bryant 1
Cabo Frio 1
Cambuí 1
Canela 1
Cape Town 1
Caratinga 1
Cardiff 1
Cleveland 1
Coronel Fabriciano 1
Cuenca 1
Curitiba 1
Dakhla 1
Dallas 1
Des Moines 1
Doha 1
Dublin 1
Edison 1
Ezeiza 1
Ezzouhour 1
Faisalabad 1
Ferrara 1
Fortaleza 1
Gaborone 1
Go Vap 1
Goiânia 1
Guadalajara 1
Guarulhos 1
Ibiporã 1
Igarapé 1
Ilford 1
Itaguaí 1
Jakarta 1
Joinville 1
Kyiv 1
La Plata 1
Totale 7.326
Salva come PNG Salva come JPEG
Nome #
A bottom-up interpreter for a database language with updates and transactions 188
A Specification Logic for Concurrent Object-Oriented Programming 186
Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent 183
Multi-Agent Systems Development as a Software Engineering Enterprise 178
An agent-based framework for sketched symbol interpretation 170
A bottom-up semantics for linear logic programs 169
A Multimedia, Multichannel, and Personalized News Provider 165
Model checking linear logic specifications 161
Abstract deduction and inferential models for type theory 158
Prototyping Freight Trains Traffic Management Using Multi-Agent Systems 154
A Logic Programming Framework for Component-Based Software Prototyping 153
An Agent-Based Prototype for Freight Trains Traffic Management 151
Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics 150
Object calculi in linear logic 149
Reasoning about Hand-Drawn Sketches: An Approach Based on Intelligent Software Agents 149
A Multi-Agent Approach to Vehicle Monitoring in Motorway 148
An embedding of calculi for negation as failure into linear logic 146
Customizing AOSE Methodologies by Reusing AOSE Features 146
The Indiana MAS Project: Goals and Preliminary Results 146
Reasoning About Agents' Interaction Protocols Inside DCaseLP 145
Explicit Constructive Logic ECL: A New Representation of Construction and Selection of Logical Information by an Epistemic Agent 144
Combining Logical Agents with Rapid Prototyping for Engineering Distributed Applications 143
Applying Logic Programming to the Specification of Complex Applications 142
An effective fixpoint semantics for linear logic programs 141
An Agent-Based Framework for Context-Driven Interpretation of Symbols in Diagrammatic Sketches 141
Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents 140
CaseLP: a Complex Application Specification Environment based on Logic Programming 139
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs 136
BDI^ATL: An Alternating-time BDI Logic for Multiagent Systems 135
The s-semantics approach: theory and applications 131
From Requirement Specification to Prototype Execution: a Combination of a Multiview Use-Case Driven Method and Agent-Oriented Techniques 128
A Linear Logic Calculus Objects 127
Transactions and Updates in Deductive Databases 125
Logic-Based Specification Languages for Intelligent Software Agents 122
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems 122
Trattamento del linguaggio naturale tramite Prolog: un approccio promettente per generare istituzioni virtuali da testi scritti 121
A Bottom-Up Characterization of Finite Success 119
Intelligent Agents that Monitor, Diagnose and Solve Problems: Two Success Stories of Industry-University Collaboration 119
Towards Multi-Agent Software Prototyping 117
On the relations between disjunctive and linear logic programming 117
Logic-Based Languages to Model and Program Intelligent Agents 116
Specification of heterogeneous Agent Architectures 116
A Prolog-based MAS for Railway Signalling Monitoring: Implementaion and Experiments 116
An Ontology-Based Similarity between Sets of Concepts. 115
Specification and Simulation of Multi-Agent Systems in CaseLP 114
Proofs as computations in linear logic 114
Dynamic Resource Allocation in MAS: a Case Study from the Industry 114
DCaseLP: a Prototyping Environment for Multilingual Agent Systems 104
Some applications of Computational Logic to the development of intelligent systems and verification methods 103
WOA, Workshop dagli Oggetti agli Agenti, Proceedings 102
From UML Diagrams to Jess Rules: Integrating OO and Rule-Based Languages to Specify, Implement and Execute Agents 100
PrettyProlog: A Java Interpreter and Visualizer of Prolog Programs 99
Investigative analysis across documents and drawings: visual analytics for archaeologists 99
Developing an Ontology for the Retrieval of XML Documents: A Comparative Evaluation of Existing Methodologies 96
Objects in Forum 94
Computational Logic in Genova 84
Specifica, Implementazione ed Esecuzione di un Prototipo di Sistema Multi-Agente in D-CaseLP 83
Formalizzazione e Ottimizzazione di Transazioni di Modica in CLP(AD) 83
Specification, simulation and verification of negotiation protocols in a unified agent-based framework 63
HEMASL: A Flexible Language to Specify Heterogeneous Agents 63
Totale 7.782
Salva come PNG Salva come JPEG
Categoria #
all - tutte 21.930
article - articoli 5.588
book - libri 0
conference - conferenze 14.060
curatela - curatele 347
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.935
Totale 43.860
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202178 0 0 0 0 0 0 0 0 0 31 22 25
2021/2022695 21 67 59 66 14 35 54 180 26 67 22 84
2022/2023808 75 63 10 112 122 129 3 62 121 4 100 7
2023/2024358 17 53 5 33 18 98 11 19 20 9 35 40
2024/2025970 33 78 47 58 163 82 57 149 44 45 105 109
2025/20261.422 197 29 87 106 220 186 293 79 96 129 0 0
Totale 7.782