IRIS
MARTELLI, MAURIZIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 5.692
Totale 5.692
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 5.692
Totale 5.692
Salva come PNG Salva come JPEG
Città #
Genova 4.207
Rapallo 686
Genoa 478
Vado Ligure 307
Bordighera 13
Arcola 1
Totale 5.692
Salva come PNG Salva come JPEG
Nome #
Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent 160
Multi-Agent Systems Development as a Software Engineering Enterprise 147
A Specification Logic for Concurrent Object-Oriented Programming 141
A bottom-up interpreter for a database language with updates and transactions 137
Model checking linear logic specifications 132
An agent-based framework for sketched symbol interpretation 124
Combining Logical Agents with Rapid Prototyping for Engineering Distributed Applications 124
Prototyping Freight Trains Traffic Management Using Multi-Agent Systems 124
Reasoning about Hand-Drawn Sketches: An Approach Based on Intelligent Software Agents 122
Reasoning About Agents' Interaction Protocols Inside DCaseLP 121
Abstract deduction and inferential models for type theory 120
A bottom-up semantics for linear logic programs 119
Customizing AOSE Methodologies by Reusing AOSE Features 118
An Agent-Based Prototype for Freight Trains Traffic Management 115
Object calculi in linear logic 113
An embedding of calculi for negation as failure into linear logic 110
Explicit Constructive Logic ECL: A New Representation of Construction and Selection of Logical Information by an Epistemic Agent 109
An effective fixpoint semantics for linear logic programs 108
A Logic Programming Framework for Component-Based Software Prototyping 107
The s-semantics approach: theory and applications 103
From Requirement Specification to Prototype Execution: a Combination of a Multiview Use-Case Driven Method and Agent-Oriented Techniques 102
Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics 101
Applying Logic Programming to the Specification of Complex Applications 100
Towards Multi-Agent Software Prototyping 98
BDI^ATL: An Alternating-time BDI Logic for Multiagent Systems 98
CaseLP: a Complex Application Specification Environment based on Logic Programming 97
Logic-Based Specification Languages for Intelligent Software Agents 97
The Indiana MAS Project: Goals and Preliminary Results 96
Transactions and Updates in Deductive Databases 95
Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents 95
A Multimedia, Multichannel, and Personalized News Provider 95
A Multi-Agent Approach to Vehicle Monitoring in Motorway 94
Specification of heterogeneous Agent Architectures 94
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs 94
Specification and Simulation of Multi-Agent Systems in CaseLP 93
Proofs as computations in linear logic 93
On the relations between disjunctive and linear logic programming 92
Logic-Based Languages to Model and Program Intelligent Agents 89
Trattamento del linguaggio naturale tramite Prolog: un approccio promettente per generare istituzioni virtuali da testi scritti 86
An Agent-Based Framework for Context-Driven Interpretation of Symbols in Diagrammatic Sketches 83
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems 82
A Linear Logic Calculus Objects 80
From UML Diagrams to Jess Rules: Integrating OO and Rule-Based Languages to Specify, Implement and Execute Agents 79
DCaseLP: a Prototyping Environment for Multilingual Agent Systems 78
Dynamic Resource Allocation in MAS: a Case Study from the Industry 78
PrettyProlog: A Java Interpreter and Visualizer of Prolog Programs 76
Some applications of Computational Logic to the development of intelligent systems and verification methods 75
A Prolog-based MAS for Railway Signalling Monitoring: Implementaion and Experiments 75
An Ontology-Based Similarity between Sets of Concepts. 74
Developing an Ontology for the Retrieval of XML Documents: A Comparative Evaluation of Existing Methodologies 73
A Bottom-Up Characterization of Finite Success 72
Intelligent Agents that Monitor, Diagnose and Solve Problems: Two Success Stories of Industry-University Collaboration 71
WOA, Workshop dagli Oggetti agli Agenti, Proceedings 68
Investigative analysis across documents and drawings: visual analytics for archaeologists 68
Objects in Forum 65
Specifica, Implementazione ed Esecuzione di un Prototipo di Sistema Multi-Agente in D-CaseLP 61
Computational Logic in Genova 58
Formalizzazione e Ottimizzazione di Transazioni di Modica in CLP(AD) 47
Specification, simulation and verification of negotiation protocols in a unified agent-based framework 44
HEMASL: A Flexible Language to Specify Heterogeneous Agents 38
Totale 5.708
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.993
article - articoli 3.981
book - libri 0
conference - conferenze 9.496
curatela - curatele 215
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.301
Totale 29.986
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.212 0 0 0 0 124 126 210 70 125 270 195 92
2020/2021291 31 24 20 18 13 29 13 29 36 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/2025318 33 78 47 58 102 0 0 0 0 0 0 0
Totale 5.708