IRIS
MARTELLI, MAURIZIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 6.872
NA - Nord America 1.652
AS - Asia 662
SA - Sud America 49
Continente sconosciuto - Info sul continente non disponibili 19
AF - Africa 12
OC - Oceania 1
Totale 9.267
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 6.768
US - Stati Uniti d'America 1.621
SG - Singapore 298
CN - Cina 173
VN - Vietnam 104
FR - Francia 62
BD - Bangladesh 28
BR - Brasile 27
HK - Hong Kong 18
CA - Canada 17
AR - Argentina 13
DE - Germania 13
MX - Messico 9
JP - Giappone 8
GB - Regno Unito 7
EC - Ecuador 4
FI - Finlandia 4
IN - India 4
KZ - Kazakistan 4
ZA - Sudafrica 4
ID - Indonesia 3
PH - Filippine 3
TR - Turchia 3
AZ - Azerbaigian 2
CH - Svizzera 2
EG - Egitto 2
ES - Italia 2
HN - Honduras 2
IQ - Iraq 2
JO - Giordania 2
MA - Marocco 2
NL - Olanda 2
PE - Perù 2
PK - Pakistan 2
SE - Svezia 2
UZ - Uzbekistan 2
AM - Armenia 1
AU - Australia 1
BA - Bosnia-Erzegovina 1
BE - Belgio 1
BW - Botswana 1
CO - Colombia 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
GT - Guatemala 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
RS - Serbia 1
RU - Federazione Russa 1
SA - Arabia Saudita 1
TH - Thailandia 1
TN - Tunisia 1
UA - Ucraina 1
UY - Uruguay 1
VE - Venezuela 1
Totale 9.248
Salva come PNG Salva come JPEG
Città #
Genova 4.207
Genoa 1.388
Rapallo 686
Vado Ligure 441
San Jose 159
Singapore 147
Lauterbourg 53
Ashburn 46
New York 36
Ho Chi Minh City 26
Beijing 23
Hanoi 23
Santa Clara 18
Hong Kong 17
Los Angeles 14
Bordighera 13
Chicago 13
Frankfurt am Main 11
Brooklyn 10
Atlanta 9
Dallas 9
Las Vegas 8
Philadelphia 8
Tianjin 8
Da Nang 7
Haiphong 7
Houston 7
Orem 7
Tokyo 7
Newark 6
Queens 6
Buffalo 5
Cleveland 5
Jacksonville 5
Mexico City 5
Miami 5
Montreal 5
Richmond 5
San Antonio 5
Baltimore 4
Biên Hòa 4
Cincinnati 4
Columbus 4
Fort Worth 4
Guangzhou 4
Helsinki 4
Medford 4
Milan 4
Milwaukee 4
Ottawa 4
Princeton 4
Arlington 3
Charlotte 3
City of London 3
Covington 3
Denver 3
Detroit 3
Downey 3
Florence 3
Hải Dương 3
Indianapolis 3
Johannesburg 3
Kansas City 3
Lancaster 3
Lewistown 3
Memphis 3
Moreno Valley 3
Norfolk 3
Phoenix 3
Salisbury 3
Tampa 3
The Bronx 3
Washington 3
Alexandria 2
Amarillo 2
Amsterdam 2
Baku 2
Bengaluru 2
Birmingham 2
Boise 2
Boston 2
Bowie 2
Burbank 2
Burke 2
Bắc Ninh 2
Cairo 2
Can Tho 2
Cedar Rapids 2
Citrus Heights 2
Commerce City 2
Conway 2
Council Bluffs 2
Dayton 2
Dhaka 2
Dover 2
Fresno 2
Georgetown 2
Grand Forks 2
Grove 2
Guadalupe 2
Totale 7.628
Salva come PNG Salva come JPEG
Nome #
An Ontology-Based Similarity between Sets of Concepts. 1.251
A Specification Logic for Concurrent Object-Oriented Programming 197
A bottom-up interpreter for a database language with updates and transactions 192
Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent 188
Multi-Agent Systems Development as a Software Engineering Enterprise 182
An agent-based framework for sketched symbol interpretation 176
A Multimedia, Multichannel, and Personalized News Provider 176
A bottom-up semantics for linear logic programs 173
Model checking linear logic specifications 168
Abstract deduction and inferential models for type theory 164
A Logic Programming Framework for Component-Based Software Prototyping 159
Prototyping Freight Trains Traffic Management Using Multi-Agent Systems 159
Object calculi in linear logic 158
An Agent-Based Prototype for Freight Trains Traffic Management 157
A Multi-Agent Approach to Vehicle Monitoring in Motorway 156
Reasoning About Agents' Interaction Protocols Inside DCaseLP 156
Explicit Constructive Logic ECL: A New Representation of Construction and Selection of Logical Information by an Epistemic Agent 154
An embedding of calculi for negation as failure into linear logic 153
Reasoning about Hand-Drawn Sketches: An Approach Based on Intelligent Software Agents 153
Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics 153
The Indiana MAS Project: Goals and Preliminary Results 152
Combining Logical Agents with Rapid Prototyping for Engineering Distributed Applications 150
An Agent-Based Framework for Context-Driven Interpretation of Symbols in Diagrammatic Sketches 150
Customizing AOSE Methodologies by Reusing AOSE Features 148
Applying Logic Programming to the Specification of Complex Applications 146
An effective fixpoint semantics for linear logic programs 146
Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents 146
CaseLP: a Complex Application Specification Environment based on Logic Programming 144
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs 141
The s-semantics approach: theory and applications 139
BDI^ATL: An Alternating-time BDI Logic for Multiagent Systems 136
Transactions and Updates in Deductive Databases 132
A Linear Logic Calculus Objects 131
From Requirement Specification to Prototype Execution: a Combination of a Multiview Use-Case Driven Method and Agent-Oriented Techniques 130
A Bottom-Up Characterization of Finite Success 128
Logic-Based Specification Languages for Intelligent Software Agents 127
Trattamento del linguaggio naturale tramite Prolog: un approccio promettente per generare istituzioni virtuali da testi scritti 126
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems 126
On the relations between disjunctive and linear logic programming 126
Intelligent Agents that Monitor, Diagnose and Solve Problems: Two Success Stories of Industry-University Collaboration 125
Towards Multi-Agent Software Prototyping 121
Logic-Based Languages to Model and Program Intelligent Agents 121
Specification of heterogeneous Agent Architectures 121
A Prolog-based MAS for Railway Signalling Monitoring: Implementaion and Experiments 120
Dynamic Resource Allocation in MAS: a Case Study from the Industry 119
Specification and Simulation of Multi-Agent Systems in CaseLP 117
Proofs as computations in linear logic 115
DCaseLP: a Prototyping Environment for Multilingual Agent Systems 113
WOA, Workshop dagli Oggetti agli Agenti, Proceedings 108
PrettyProlog: A Java Interpreter and Visualizer of Prolog Programs 108
From UML Diagrams to Jess Rules: Integrating OO and Rule-Based Languages to Specify, Implement and Execute Agents 106
Investigative analysis across documents and drawings: visual analytics for archaeologists 106
Some applications of Computational Logic to the development of intelligent systems and verification methods 105
Developing an Ontology for the Retrieval of XML Documents: A Comparative Evaluation of Existing Methodologies 101
Objects in Forum 98
Formalizzazione e Ottimizzazione di Transazioni di Modica in CLP(AD) 89
Computational Logic in Genova 89
Specifica, Implementazione ed Esecuzione di un Prototipo di Sistema Multi-Agente in D-CaseLP 86
Specification, simulation and verification of negotiation protocols in a unified agent-based framework 69
HEMASL: A Flexible Language to Specify Heterogeneous Agents 66
25 Years of Declarative Agent Technologies in Italy 15
Totale 9.267
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.057
article - articoli 6.047
book - libri 0
conference - conferenze 16.454
curatela - curatele 380
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.176
Totale 50.114
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/20262.744 197 29 87 106 220 186 293 79 96 145 1.190 116
2026/2027163 163 0 0 0 0 0 0 0 0 0 0 0
Totale 9.267