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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019209 0 0 0 0 0 0 0 0 0 0 114 95
2019/20201.438 41 32 90 63 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/2024283 17 53 5 33 18 98 11 19 20 9 0 0
Totale 5.315