Mascardi, Viviana - Dipartimento di Informatica e Scienze dell'Informazione, Università degli Studi di Genova

• Le entrate e le spese Le entrate e le spese
• Concetto di agente e sistemi multiagente
• ffl Cosa `e un sistema multiagente (MAS) ffl Storia e preistoria dei MAS
• Anno Accademico 2001-2002 Esame di Intelligenza Arti ciale 1: 3 compitino
• LogicBased Specification Languages for Intelligent Software Agents
• Ripasso di teoria ed esercizi
• Introduzione al Viviana Mascardi
• Anno Accademico 199899 Esame di SI: Esempi di esercizi
• Esercitazione di Laboratorio: Protg (Usate le slides come traccia, e per i vari argomenti svolgete i punti sotto
• Anno Accademico 2006-2007 Esame di Intelligenza Artificiale
• Applying Logic Programming to the Specification of Complex Applications
• Anno Accademico 19992000 Esame di Intelligenza Artificiale 1: 3 ffi compitino
• Anno Accademico 2002-2003 Esame di Intelligenza Arti ciale 1: Recupero del 1 compitino
• Universit a degli studi di Genova Facolt a di Scienze Matematiche Fisiche e Naturali
• UNIVERSIT DEGLI STUDI DI GENOVA FACOLT DI SCIENZE MATEMATICHE FISICHE E NATURALI
• David A. King The ability to judge a nation's scientific
• testo del decreto osservazioni proposte Art. 1. Disposizioni per il reclutamento nelle
• DCaseLP: a Prototyping Environment for Multi-Language Agent Systems
• Anno Accademico 19981999 Esame di Intelligenza Artificiale: 1 ffi compitino
• Esercitazione di Intelligenza Artificiale I, A.A. 1999 2000
• A MultiAgent Approach to Vehicle Monitoring in Motorway
• Anno Accademico 2002-2003 Esame di Intelligenza Arti ciale 1: 2 compitino
• Mixin-based modules for logic programming Davide Ancona and Viviana Mascardi
• Anno Accademico 2002-2003 Esercitazione di Intelligenza Arti ciale 1
• Anno Accademico 2002-2003 Esame di Intelligenza Arti ciale 1: 3 compitino
• implementare intelligenti Viviana
• Dipartimento di Informatica e Scienze dell'Informazione
• Anno Accademico 2001-2002 Esame di IA 1: soluzioni esercizi 1 compitino
• LogicBased Specification
• From Requirement Specification to Prototype Execution: a Combination of a Multiview UseCase Driven Method
• Heterogeneous 000000000000 000000000000 000000000000 000000000000 000000000000 000000000000 000000000000 000000000000 000000000000 000000000000 000000000000 000000000000 000000000000 000000000000 000000000000 000000000000 000000000000 000000000000 0000000
• From UML Diagrams to Jess Rules: Integrating OO and Rule-Based Languages
• Customizing AOSE Methodologies by Reusing AOSE Thomas Juan Leon Sterling
• Universit`a degli Studi di Genova Facolt`a di Scienze Matematiche Fisiche e Naturali
• Designing and Implementing Electronic Auctions in a Multiagent System Environment
• OECD FACTBOOK 2008 ISBN 978-92-64-04054-0 OECD 2008194 EDUCATION OUTCOMES
• Anno Accademico 2001-2002 Esame di Intelligenza Arti ciale 1: 1 compitino
• CaseLP: a Complex Application Specification Environment based on Logic Programming
• LA RICERCA ITALIANA DI PUNTA PRODUCE RISULTATI PI CITATI INTERNAZIONALMENTE DI QUELLE AMERICANA,
• Developing an Ontology for the Retrieval of XML Documents: A Comparative Evaluation
• Comunicazione e linguaggio naturale
• Specifica, Implementazione ed Esecuzione di un Prototipo di Sistema MultiAgente in DCaseLP
• Towards Multi--Agent Software Prototyping Maurizio Martelli, Viviana Mascardi, Floriano Zini
• Prototyping Freight Trains Traffic Management Using MultiAgent Systems
• A Multi-Agent System for Hand-drawn Diagram Recognition G. Casella1,2
• 396 Int. J. Agent-Oriented Software Engineering, Vol. 1, Nos. 3/4, 2007 Copyright 2007 Inderscience Enterprises Ltd.
• Curriculum vitae Attivit`a scientifica e didattica di Viviana Mascardi (aggiornato a gennaio 2011)
• Legge 24 dicembre 1993, n. 537 "INTERVENTI CORRETTIVI DI FINANZA PUBBLICA"
• Ministero, dell'Istruzione, dell'Universit e della RicercaMinistero, dell'Istruzione, dell'Universit e della RicercaMinistero, dell'Istruzione, dell'Universit e della RicercaMinistero, dell'Istruzione, dell'Universit e della Ricerca Consiglio Universitari
• Libro verde sulla spesa pubblica Ministero dell'Economia e delle Finanze Commissione Tecnica per la Finanza Pubblica58
• OECD FACTBOOK 2008 ISBN 978-92-64-04054-0 OECD 2008160 SCIENCE AND TECHNOLOGY RESEARCH AND DEVELOPMENT (R&D)
• OECD FACTBOOK 2008 ISBN 978-92-64-04054-0 OECD 2008272 PRODUCTIVITY PRODUCTIVITY LEVELS
• OECD FACTBOOK 2008 ISBN 978-92-64-04054-0 OECD 2008198 EDUCATION EXPENDITURE ON EDUCATION
• OECD FACTBOOK 2008 ISBN 978-92-64-04054-0 OECD 2008202 EDUCATION EXPENDITURE ON EDUCATION
• OECD FACTBOOK 2008 ISBN 978-92-64-04054-0 OECD 2008188 EDUCATION OUTCOMES
• OECD FACTBOOK 2008 ISBN 978-92-64-04054-0 OECD 2008192 EDUCATION OUTCOMES
• Please cite this paper as: Boarini, R. and H. Strauss (2007), "The Private Internal
• Gli studenti contribuiscono al finanziamento delle universit con il pagamento delle tasse e dei con-tributi, commisurati alla capacit contributiva individuale ed alla specificit del corso di studio prescel-
• La legge 133/2008 e l'Universit italiana Lavinia Egidi
• Discorso inaugurale del Magnifico Rettore Giulio Ballio
• Articolo di Guido Barbugiani, apparso su "Il sole 24 Ore" (29.9.08, p. 47) perch unisce stile e contenuto informativo in modo originale:)
• Scuola e Universit TRE PROPOSTE PER L'UNIVERSITA'
• Visual Languages & ComputingJournal of Visual Languages and Computing
• Trattamento del Linguaggio Naturale Tramite Prolog: un Approccio Promettente per Generare
• NLP AND ONTOLOGY MATCHING: A SUCCESSFUL COMBINATION FOR TRIALOGICAL LEARNING
• Exploiting Agents and Ontologies for Type-and Meaning-Safe Adaptation of Java Programs
• A Prolog-Based MAS for Railway Signalling Monitoring: Implementation and Experiments
• Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents
• Reasoning about Hand-Drawn Sketches: An Approach Based on Intelligent Software Agents
• A Comparison of Upper Ontologies Viviana Mascardi, Valentina Cord
• Meta-Modeling Communication and Interaction inside MASs with Ontologies
• A Semantic Information Retrieval Advertisement and Policy Based System for a P2P Network
• Integrating tuProlog into DCaseLP to Engineer Heterogeneous Agent Systems
• From AUML to WS-BPEL Giovanni Casella and Viviana Mascardi
• DCaseLP: a Prototyping Environment for Multilingual Agent Systems
• Introduzione ad agenti e MAS Storia di agenti e MAS
• DCaseLP: an Integrated Environment for Agent-Oriented Software Engineering
• A Survey and Discussion of Logic-Based Languages to Model and
• Nota metodologica sull'applicazione del modello per la ripartizione del FFO 2007 (art. 3 DM 246/2007)
• TIM Tuo Numero VAI In Corriere.it Nel web conInvia nmlkji nmlkj LOGIN REGISTRATI
• Al Direttore del Corriere della Sera Al Direttore de La Repubblica
• Universit degli studi di Genova Facolt di scienze matematiche fisiche naturali
• Universit`a degli Studi di Genova Facolt`a di Scienze Matematiche Fisiche e Naturali
• Software Agents and Multiagent Systems Introduction to the Intelligent Agents Technology
• Software Agents and Multiagent Systems Agent Oriented Software Engineering
• Software Agents and Multiagent Systems Viviana Mascardi
• Anno Accademico 2006-2007 Esame di Intelligenza Artificiale
• Modelling Distributed Industrial Processes in a Multi-Agent Framework*
• Ripasso di teoria ed esercizi
• Ripasso di teoria ed esercizi
• Anno Accademico 2004-2005 Esame di Intelligenza Artificiale: recupero del 1
• Ripasso di teoria ed esercizi
• CONSTRAINT PROGRAMMING APPROACH TO AI APPLICATIONS
• The tuPInJADE package The tuPInJADE package defines the following classes
• 1. The jessInJADE Package We call "Jess agents" those agents that are JADE agents, since they extend the JADE "Agent"
• 1. Providing the high level specification of the MAS The UMLInJADE package provides the means to translate, in a semi-automatic way, the high
• OECD FACTBOOK 2008 ISBN 978-92-64-04054-0 OECD 2008270 PRODUCTIVITY PRODUCTIVITY LEVELS
• Linguaggi logici per modellare ed
• Esempi di domande ed esercizi assegnati nei compiti degli anni precedenti
• Anno Accademico 2005-2006 Esame di Intelligenza Artificiale
• Exploiting DOLCE, SUMO-OWL, and OpenCyc to Boost the Ontology Matching Process
• A Multimedia, Multichannel and Personalized News Provider
• Anno Accademico 2002-2003 Esame di Intelligenza Arti ciale 1: 1 compitino
• A Logic Programming Framework for ComponentBased Software Prototyping
• Anno Accademico 20002001 Esame di Intelligenza Artificiale 1: 1 ffi compitino
• Anno Accademico 2003-2004 Esame di Intelligenza Arti ciale: 3 compitino
• A CORRESPONDENCE REPAIR ALGORITHM BASED ON WORD SENSE DISAMBIGUATION AND UPPER ONTOLOGIES
• CaseLP: a Prototyping Environment for Heterogeneous MultiAgent Systems
• OECD FACTBOOK 2008 ISBN 978-92-64-04054-0 OECD 2008156 SCIENCE AND TECHNOLOGY RESEARCH AND DEVELOPMENT (R&D)
• Ontology Agents in FIPA-compliant Platforms: a Survey and a New Proposal
• Tutorial on Jess agents in DCaseLP
• Anno Accademico 2005-2006 Esame di Intelligenza Artificiale
• Anno Accademico 2004-2005 Esame di Intelligenza Artificiale: 1
• LogicBased Languages to Model and Program Intelligent Agents
• Combining Logical Agents with Rapid Prototyping for Engineering Distributed Applications
• Introduzione 5 De nizione di agente . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
• To appear in: The First International Conference on Autonomous Agents (Agents `97), Marina del Rey, CA Entertaining Agents: A Sociological Case Study
• OECD FACTBOOK 2008 ISBN 978-92-64-04054-0 OECD 2008158 SCIENCE AND TECHNOLOGY RESEARCH AND DEVELOPMENT (R&D)
• An Agent-Based Framework for Context-Driven Interpretation of Symbols in Diagrammatic Sketches
• Checking the Completeness of Ontologies: A Case Study from the Semantic Web
• Anno Accademico 2006-2007 Esame di Intelligenza Artificiale
• Coo-BDI: Extending the BDI Model with Cooperativity
• HEMASL: A Flexible Language to Specify Heterogeneous Agents Simone Marini Maurizio Martelli Viviana Mascardi
• A Perspective on Software Agents Research Hyacinth S. Nwana and Divine T. Ndumu
• Anno Accademico 2004-2005 Esame di Intelligenza Artificiale: 3
• omiccomputingsemanticwebsemanticwebgridcomputinggridcomputingambientintelligencecomplexsystemswebservicesautonomic tonomiccomputingsemanticwebgridcomputingambientintelligencecomplexsystemswebservicesautono
• Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?
• Ripasso di teoria ed esercizi
• Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange Davide Ancona
• The Reduction of the Number of Nullmessages in Conservative LPSimulation Engines
• Anno Accademico 199899 Esame di SI: 2 ffi compitino
• An AgentBased Prototype for Freight Trains Traffic Management
• Curriculum vitae Attivit`a scientifica e didattica di Viviana Mascardi (aggiornato a dicembre 2009)
• Dipartimento di Informatica e Scienze dell'Informazione
• Laboratorio su Jade (leggete le slides e contemporaneamente, per ogni esempio, svolgete i punti
• Reasoning About Agents' Interaction Protocols Inside DCaseLP
• UNIVERSIT DEGLI STUDI DI GENOVA FACOLT DI SCIENZE MATEMATICHE FISICHE E NATURALI
• Exploiting Prolog and NLP Techniques for Matching Ontologies and for Repairing Correspondences
• Libro verde sulla spesa pubblica Ministero dell'Economia e delle Finanze Commissione Tecnica per la Finanza Pubblica96
• Tutorial on tuProlog agents in DCaseLP
• PROVA FINALE Statistical Language Identication
• Anno Accademico 19992000 Esame di Intelligenza Artificiale 1: 2 ffi compitino
• AgentOriented and Constraint Technologies for Distributed Transaction Management
• 1 Logic Programming & MultiAgent Systems: a Synergic Combination for
• Universit degli Studi di Genova Facolt di Scienze Matematiche Fisiche e Naturali
• Autonomous Agents and Multi-Agent Systems, 1, 738 (1998) c 1998 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
• Analisis de opiniones con ontologias Opinion mining with ontologies
• Anno Accademico 2004-2005 Esame di Intelligenza Artificiale: 2
• ErrorTolerant Agents Thomas Eiter 1 , Viviana Mascardi 2 , and V.S. Subrahmanian 3
• Anno Accademico 2003-2004 Esercitazione di Intelligenza Arti ciale
• Un famoso esempio (1) SHRDLU `e un programma scritto nel 1972
• Esercitazione AI I a.a. 200001 Scopo. L'esercitazione consiste nel definire un programma Prolog che perme
• Agent-based health care management An Agent-based Approach to Health Care Management
• Letizia: An Agent That Assists Web Browsing Henry Lieberman
• Anno Accademico 2006-2007 Esame di Intelligenza Artificiale
• Intelligent Agents that Reason about Web Services: a Logic Programming Approach
• LE RISORSE DELL'UNIVERSIT IL FINANZIAMENTO
• OECD FACTBOOK 2008 ISBN 978-92-64-04054-0 OECD 2008166 SCIENCE AND TECHNOLOGY ICT
• Anno Accademico 2003-2004 Esame di Intelligenza Arti ciale 1: 2 compitino
• L'assemblea dei docenti e del personale dell'Ateneo genovese, riunita nell'Aula magna il 23 ottobre 2008, con la partecipazione del Rettore magnifico uscente e di
• Anno Accademico 2001-2002 Esercitazione nale di Intelligenza Arti ciale 1
• Anno Accademico 199899 Esame di SI: 3 ffi compitino
• Tutorial on UML and XML specifications in DCaseLP
• Challenges and Research Directions in Agent-Oriented Software Engineering
• MultiAgent Systems Development as a Software Engineering Enterprise
• Specification of Heterogeneous Agent Architectures Simone Marini Maurizio Martelli
• Anno Accademico 20002001 Esame di Intelligenza Artificiale 1: 2 ffi compitino
• Programmazione intelligenti
• Specification and Simulation of MultiAgent Systems Maurizio Martelli Viviana Mascardi Floriano Zini
• Concetto di agente e sistemi multiagente ffl Introduzione
• Intelligent Agents: Theory and Practice Michael Wooldridge
• Enhancing Communication inside Multi-Agent Systems An Approach based on Alignment via Upper Ontologies
• Ripasso di teoria ed esercizi
• Anno Accademico 2006-2007 Esame di Intelligenza Artificiale
• Teorie per agenti Architetture per agenti
• Libro verde sulla spesa pubblica Ministero dell'Economia e delle Finanze Commissione Tecnica per la Finanza Pubblica136
• Anno Accademico 20002001 Esame di Intelligenza Artificiale 1: 3 ffi compitino
• Anno Accademico 19992000 Esame di Intelligenza Artificiale 1: 1 ffi compitino
• Ministero dell'Economia e delle Finanze Commissione Tecnica per la Finanza Pubblica
• FIPA 97, Version 1.0 Part 4 FIPA (1997) FOUNDATION FOR INTELLIGENT PHYSICAL AGENTS
• Integrazione di Agenti Logici in Anno Accademico 2003/2004
• Comparing Environments for Developing Software Agents
• Automatic Ontology Matching Via Upper Ontologies: A Systematic Evaluation
• Curriculum vitae Research and teaching activities of Viviana Mascardi (updated to November 2011)
• Curriculum vitae Attivit`a scientifica e didattica di Viviana Mascardi (aggiornato a novembre 2011)