Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Big Data Analytics for Time-Critical Mobility Forecasting [[electronic resource] ] : From Raw Data to Trajectory-Oriented Mobility Analytics in the Aviation and Maritime Domains / / edited by George A. Vouros, Gennady Andrienko, Christos Doulkeridis, Nikolaos Pelekis, Alexander Artikis, Anne-Laure Jousselme, Cyril Ray, Jose Manuel Cordero, David Scarlatti
| Big Data Analytics for Time-Critical Mobility Forecasting [[electronic resource] ] : From Raw Data to Trajectory-Oriented Mobility Analytics in the Aviation and Maritime Domains / / edited by George A. Vouros, Gennady Andrienko, Christos Doulkeridis, Nikolaos Pelekis, Alexander Artikis, Anne-Laure Jousselme, Cyril Ray, Jose Manuel Cordero, David Scarlatti |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (378 pages) |
| Disciplina | 385.0724 |
| Soggetto topico |
Database management
Mathematical statistics Transportation engineering Traffic engineering Database Management Probability and Statistics in Computer Science Transportation Technology and Traffic Engineering |
| ISBN | 3-030-45164-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Time Critical Mobility Operations and Data: A Perspective from the Maritime and Aviation Domains -- Mobility Data: A Perspective from the Maritime Domain -- The Perspective on Mobility Data from the Aviation Domain -- Part II: Visual Analytics and Trajectory Detection and Summarization: Exploring Data and Constructing Trajectories -- Visual Analytics in the Aviation and Maritime Domains -- Trajectory Detection and Summarization over Surveillance Data Streams -- Part III: Trajectory Oriented Data Management for Mobility Analytics -- Modeling Mobility Data and Constructing Large Knowledge Graphs to Support Analytics: The datAcron Ontology -- Integrating Data by Discovering Topological and Proximity Relations Among Spatiotemporal Entities -- Distributed Storage of Large Knowledge Graphs with Mobility Data -- Part IV: Analytics Towards Time Critical Mobility Forecasting -- Future Location and Trajectory Prediction -- Event Processing for Maritime Situational Awareness -- Offline Trajectory Analytics -- Part V Big Data Architectures for Time Critical Mobility Forecasting -- The δ Big Data Architecture for Mobility Analytics -- Part VI: Ethical Issues for Time Critical Mobility Analytics -- Ethical Issues in Big Data Analytics for Time Critical Mobility Forecasting. |
| Record Nr. | UNISA-996465364603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Big Data Analytics for Time-Critical Mobility Forecasting : From Raw Data to Trajectory-Oriented Mobility Analytics in the Aviation and Maritime Domains / / edited by George A. Vouros, Gennady Andrienko, Christos Doulkeridis, Nikolaos Pelekis, Alexander Artikis, Anne-Laure Jousselme, Cyril Ray, Jose Manuel Cordero, David Scarlatti
| Big Data Analytics for Time-Critical Mobility Forecasting : From Raw Data to Trajectory-Oriented Mobility Analytics in the Aviation and Maritime Domains / / edited by George A. Vouros, Gennady Andrienko, Christos Doulkeridis, Nikolaos Pelekis, Alexander Artikis, Anne-Laure Jousselme, Cyril Ray, Jose Manuel Cordero, David Scarlatti |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (378 pages) |
| Disciplina | 385.0724 |
| Soggetto topico |
Database management
Mathematical statistics Transportation engineering Traffic engineering Database Management Probability and Statistics in Computer Science Transportation Technology and Traffic Engineering |
| ISBN | 3-030-45164-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Time Critical Mobility Operations and Data: A Perspective from the Maritime and Aviation Domains -- Mobility Data: A Perspective from the Maritime Domain -- The Perspective on Mobility Data from the Aviation Domain -- Part II: Visual Analytics and Trajectory Detection and Summarization: Exploring Data and Constructing Trajectories -- Visual Analytics in the Aviation and Maritime Domains -- Trajectory Detection and Summarization over Surveillance Data Streams -- Part III: Trajectory Oriented Data Management for Mobility Analytics -- Modeling Mobility Data and Constructing Large Knowledge Graphs to Support Analytics: The datAcron Ontology -- Integrating Data by Discovering Topological and Proximity Relations Among Spatiotemporal Entities -- Distributed Storage of Large Knowledge Graphs with Mobility Data -- Part IV: Analytics Towards Time Critical Mobility Forecasting -- Future Location and Trajectory Prediction -- Event Processing for Maritime Situational Awareness -- Offline Trajectory Analytics -- Part V Big Data Architectures for Time Critical Mobility Forecasting -- The δ Big Data Architecture for Mobility Analytics -- Part VI: Ethical Issues for Time Critical Mobility Analytics -- Ethical Issues in Big Data Analytics for Time Critical Mobility Forecasting. |
| Record Nr. | UNINA-9910410034403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Coordination, Organizations, Institutions, and Norms in Agent Systems V [[electronic resource] ] : COIN 2009 International Workshops: COIN@AAMAS 2009 Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, USA, July 2009, COIN@MALLOW 2009,Turin, Italy, September 2009, Revised Selected Papers / / edited by Julian Padget, Alexander Artikis, Wamberto Vasconcelos, Kostas Stathis, Viviane Torres da Silva, Eric T Matson, Axel Polleres
| Coordination, Organizations, Institutions, and Norms in Agent Systems V [[electronic resource] ] : COIN 2009 International Workshops: COIN@AAMAS 2009 Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, USA, July 2009, COIN@MALLOW 2009,Turin, Italy, September 2009, Revised Selected Papers / / edited by Julian Padget, Alexander Artikis, Wamberto Vasconcelos, Kostas Stathis, Viviane Torres da Silva, Eric T Matson, Axel Polleres |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XVIII, 335 p. 103 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Application software User interfaces (Computer systems) Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Information Systems Applications (incl. Internet) Software Engineering User Interfaces and Human Computer Interaction |
| ISBN | 3-642-14962-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Building and Managing Organizations -- Conditional Dependence Networks in Requirements Engineering -- A Norm-Based Organization Management System -- Implementing Collective Obligations in Human-Agent Teams Using KAoS Policies -- Building Multi-Agent Systems for Workflow Enactment and Exception Handling -- An Approach for Virtual Organisations’ Dissolution -- Playing with Agent Coordination Patterns in MAGE -- A Model-Based Architecture for Organizational Interoperability in Open Multiagent Systems -- A Normative Organisation Programming Language for Organisation Management Infrastructures -- Social Norms and Semantics -- Monitoring Social Expectations in Second Life -- Towards a Logical Model of Social Agreement for Agent Societies -- Promotion of Selfish Agents in Hierarchical Organisations -- The SIOC Project: Semantically-Interlinked Online Communities, from Humans to Machines -- Directing Status Messages to Their Audience in Online Communities -- Effects of Social Network Topology and Options on Norm Emergence -- Norms and Reasoning -- Directed Deadline Obligations in Agent-Based Business Contracts -- Internal Agent Architecture for Norm Identification -- Influence of Communication Graph Structures on Pheromone-Based Approaches in the Context of a Partitioning Task Problem -- An Infection-Based Mechanism in Large Convention Spaces -- The Classification Game: Complexity Regularization through Interaction -- Dealing with Incomplete Normative States -- Towards an Architecture for Self-regulating Agents: A Case Study in International Trade. |
| Record Nr. | UNISA-996466296303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Engineering Societies in the Agents World IX [[electronic resource] ] : 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers / / edited by Alexander Artikis, Gauthier Picard, Laurent Vercouter
| Engineering Societies in the Agents World IX [[electronic resource] ] : 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers / / edited by Alexander Artikis, Gauthier Picard, Laurent Vercouter |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 281 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computer simulation Application software Computer programming Artificial Intelligence Software Engineering/Programming and Operating Systems Simulation and Modeling Computer Appl. in Social and Behavioral Sciences Software Engineering Programming Techniques |
| Soggetto genere / forma |
Kongress.
Saint-Etienne (2008) |
| ISBN |
9781282635098
3-642-02562-5 |
| Classificazione |
DAT 709f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling TeleTruck: A Case Study -- Modeling TeleTruck: A Case Study -- I Organisations and Norm-Governed Systems -- Specifying Open Agent Systems: A Survey -- From Multi-Agent to Multi-Organization Systems: Utilizing Middleware Approaches -- II Privacy and Security -- RBAC-MAS and SODA: Experimenting RBAC in AOSE -- Sensitive Data Transaction in Hippocratic Multi-Agent Systems -- III Agent-Oriented Software Engineering -- ADELFE Design, AMAS-ML in Action -- Exception Handling in Goal-Oriented Multi-Agent Systems -- A Reverse Engineering Form for Multi Agent Systems -- Coping with Exceptions in Agent-Based Workflow Enactments -- IV Emergence and Self-organisation -- Contribution to the Control of a MAS’s Global Behaviour: Reinforcement Learning Tools -- Peer Pressure as a Driver of Adaptation in Agent Societies -- A Multi-Agent Resource Negotiation for the Utilitarian Welfare -- V Simulation -- Interaction Biases in Multi-Agent Simulations: An Experimental Study -- Engineering Self-modeling Systems: Application to Biology -- From Individuals to Social and Vice-versa. |
| Record Nr. | UNISA-996465416003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Engineering societies in the agents world IX : 9th international workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008 : revised selected papers / / Alexander Artikis, Gauthier Picard, Laurent Vercouter (Eds.)
| Engineering societies in the agents world IX : 9th international workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008 : revised selected papers / / Alexander Artikis, Gauthier Picard, Laurent Vercouter (Eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer, c2009 |
| Descrizione fisica | 1 online resource (X, 281 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
ArtikisAlexander
PicardGauthier VercouterLaurent |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Intelligent agents (Computer software)
Software engineering Engineering - Societies, etc |
| ISBN |
9781282635098
3-642-02562-5 |
| Classificazione |
DAT 709f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling TeleTruck: A Case Study -- Modeling TeleTruck: A Case Study -- I Organisations and Norm-Governed Systems -- Specifying Open Agent Systems: A Survey -- From Multi-Agent to Multi-Organization Systems: Utilizing Middleware Approaches -- II Privacy and Security -- RBAC-MAS and SODA: Experimenting RBAC in AOSE -- Sensitive Data Transaction in Hippocratic Multi-Agent Systems -- III Agent-Oriented Software Engineering -- ADELFE Design, AMAS-ML in Action -- Exception Handling in Goal-Oriented Multi-Agent Systems -- A Reverse Engineering Form for Multi Agent Systems -- Coping with Exceptions in Agent-Based Workflow Enactments -- IV Emergence and Self-organisation -- Contribution to the Control of a MAS’s Global Behaviour: Reinforcement Learning Tools -- Peer Pressure as a Driver of Adaptation in Agent Societies -- A Multi-Agent Resource Negotiation for the Utilitarian Welfare -- V Simulation -- Interaction Biases in Multi-Agent Simulations: An Experimental Study -- Engineering Self-modeling Systems: Application to Biology -- From Individuals to Social and Vice-versa. |
| Record Nr. | UNINA-9910484363803321 |
| Berlin ; ; Heidelberg, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Guide to maritime informatics / / Alexander Artikis, Dimitris Zissis, editors
| Guide to maritime informatics / / Alexander Artikis, Dimitris Zissis, editors |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (XV, 333 p. 114 illus., 111 illus. in color.) |
| Disciplina | 387.5 |
| Soggetto topico | Shipping - Technological innovations |
| ISBN | 3-030-61852-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Maritime Reporting Systems -- Navigating the Ocean of Publicly Available Maritime Data -- Maritime Data Processing in Relational Databases -- Maritime Data Analytics -- Visual Analytics of Vessel Movement -- Online Mobility Tracking against Evolving Maritime Trajectories -- Link Discovery for Maritime Monitoring -- Composite Maritime Event Recognition -- Uncertainty handling for maritime route deviation -- Maritime network analysis: connectivity and spatial distribution -- Shipping economics and analytics. |
| Record Nr. | UNISA-996464520903316 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Guide to maritime informatics / / Alexander Artikis, Dimitris Zissis, editors
| Guide to maritime informatics / / Alexander Artikis, Dimitris Zissis, editors |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (XV, 333 p. 114 illus., 111 illus. in color.) |
| Disciplina | 387.5 |
| Soggetto topico | Shipping - Technological innovations |
| ISBN | 3-030-61852-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Maritime Reporting Systems -- Navigating the Ocean of Publicly Available Maritime Data -- Maritime Data Processing in Relational Databases -- Maritime Data Analytics -- Visual Analytics of Vessel Movement -- Online Mobility Tracking against Evolving Maritime Trajectories -- Link Discovery for Maritime Monitoring -- Composite Maritime Event Recognition -- Uncertainty handling for maritime route deviation -- Maritime network analysis: connectivity and spatial distribution -- Shipping economics and analytics. |
| Record Nr. | UNINA-9910483051603321 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Inductive logic programming : 30th international conference, ILP 2021, virtual event, October 25-27, 2021, proceedings / / edited by Nikos Katzouris and Alexander Artikis
| Inductive logic programming : 30th international conference, ILP 2021, virtual event, October 25-27, 2021, proceedings / / edited by Nikos Katzouris and Alexander Artikis |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (293 pages) |
| Disciplina | 005.115 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Logic programming
Machine learning Artificial intelligence |
| ISBN | 3-030-97454-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464451103316 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Inductive logic programming : 30th international conference, ILP 2021, virtual event, October 25-27, 2021, proceedings / / edited by Nikos Katzouris and Alexander Artikis
| Inductive logic programming : 30th international conference, ILP 2021, virtual event, October 25-27, 2021, proceedings / / edited by Nikos Katzouris and Alexander Artikis |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (293 pages) |
| Disciplina | 005.115 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Logic programming
Machine learning Artificial intelligence |
| ISBN | 3-030-97454-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910552749203321 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic Programs, Norms and Action [[electronic resource] ] : Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday / / edited by Alexander Artikis, Robert Craven, Nihan Kesim Cicekli, Babak Sadighi, Kostas Stathis
| Logic Programs, Norms and Action [[electronic resource] ] : Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday / / edited by Alexander Artikis, Robert Craven, Nihan Kesim Cicekli, Babak Sadighi, Kostas Stathis |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XX, 425 p. 36 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Mathematical logic Software engineering Application software Computer logic Artificial Intelligence Computer Communication Networks Mathematical Logic and Formal Languages Software Engineering Information Systems Applications (incl. Internet) Logics and Meanings of Programs |
| ISBN | 3-642-29414-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Marek Sergot: A Memoir.- The Scientific Contribution of Marek Sergot -- Teleo-Reactive Abductive Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties.- What Is Negation as Failure? -- The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic.- Argumentation and the Event Calculus -- Reactive Event Calculus for Monitoring Global Computing Applications -- Reasoning about the Intentions of Agents -- Symbolic Model Checking for Temporal-Epistemic Logic -- GOAL Agents Instantiate Intention Logic -- Open Texture and Argumentation: What Makes an Argument Persuasive? -- Irrationality in Persuasive Argumentation -- Some Reflections on Two Current Trends in Formal Argumentation -- On the Representation of Normative Sentences in FOL -- Why Be Afraid of Identity? Comments on Sergot and Prakken’s Views -- Deon+: Abduction and Constraints for Normative Reasoning -- Contrary-To-Duties in Games -- Logical Approaches to Authorization Policies -- Decentralized Governance of Distributed Systems via Interaction Control -- Managing User-Generated Content as a Knowledge Commons. The Scientific Contribution of Marek Sergot -- Teleo-Reactive Abductive Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties.- What Is Negation as Failure? -- The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic.- Argumentation and the Event Calculus -- Reactive Event Calculus for Monitoring Global Computing Applications -- Reasoning about the Intentions of Agents -- Symbolic Model Checking for Temporal-Epistemic Logic -- GOAL Agents Instantiate Intention Logic -- Open Texture and Argumentation: What Makes an Argument Persuasive? -- Irrationality in Persuasive Argumentation -- Some Reflections on Two Current Trends in Formal Argumentation -- On the Representation of Normative Sentences in FOL -- Why Be Afraid of Identity? Comments on Sergot and Prakken’s Views -- Deon+: Abduction and Constraints for Normative Reasoning -- Contrary-To-Duties in Games -- Logical Approaches to Authorization Policies -- Decentralized Governance of Distributed Systems via Interaction Control -- Managing User-Generated Content as a Knowledge Commons. |
| Record Nr. | UNISA-996466270203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
