top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Information and Communication Technologies in Education, Research, and Industrial Applications : 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers / / edited by Nick Bassiliades, Vadim Ermolayev, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky
Information and Communication Technologies in Education, Research, and Industrial Applications : 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers / / edited by Nick Bassiliades, Vadim Ermolayev, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XIV, 255 p. 102 illus.)
Disciplina 371.33
Collana Communications in Computer and Information Science
Soggetto topico Education—Data processing
Artificial intelligence
Software engineering
Computer system failures
Computer logic
Computers and Education
Artificial Intelligence
Software Engineering
System Performance and Evaluation
Logics and Meanings of Programs
ISBN 3-319-76168-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910299265903321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Multi-agent systems and agreement technologies : 17th European Conference, EUMAS 2020 and 7th International Conference, AT 2020, Thessaloniki, Greece, September 14-15, 2020 : revised selected papers / / Nick Bassiliades, Georgios Chalkiadakis, Dave de Jonge (editors)
Multi-agent systems and agreement technologies : 17th European Conference, EUMAS 2020 and 7th International Conference, AT 2020, Thessaloniki, Greece, September 14-15, 2020 : revised selected papers / / Nick Bassiliades, Georgios Chalkiadakis, Dave de Jonge (editors)
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham, Switzerland : , : Springer, , [2020]
Descrizione fisica 1 online resource (XIV, 608 p. 172 illus., 133 illus. in color.)
Disciplina 006.3
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Multiagent systems
ISBN 3-030-66412-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intelligent agents and MAS applications -- Towards a Theory of Intentions for Human-Robot Collaboration -- Decentralised Control of Intelligent Devices: A Healthcare Facility Study -- Decentralised Multi-Intersection Congestion Control for Connected Autonomous Vehicles -- Congestion Management for Mobility-on-Demand Schemes that use Electric Vehicles -- Disaster Response Simulation as a Testbed for Multi-Agent Systems -- Mechanisms, Incentives, Norms, Privacy -- Rewarding miners: bankruptcy situations and pooling strategies -- A Game-Theoretical Analysis of Charging Strategies for Competing Double Auction Marketplaces -- Agents for Preserving Privacy: Learning and Decision Making Collaboratively -- Open Social Systems -- A Faithful Mechanism for Privacy-Sensitive Distributed Constraint Satisfaction Problems -- Incentivising Exploration and Recommendations for Contextual Bandits with Payments -- Emotional Agents Make a (Bank) Run -- Autonomous Agents -- An Interface for Programming Verifiable Autonomous Agents in ROS -- Integrated Commonsense Reasoning and Deep Learning for Transparent Decision Making in Robotics -- Combining Lévy Walks and Flocking for Cooperative Surveillance using Aerial Swarms -- Single-Agent Policies for the Multi-Agent Persistent Surveillance Problem via Artificial Heterogeneity -- Explaining the influence of prior knowledge on POMCP policies -- EUMAS 2020 Best Papers Session -- Approximating Voting Rules from Truncated Ballots -- Mechanism for Distributed Meeting Scheduling -- EUMAS-AT 2020 Joint Session -- An argumentation-based approach to generate domain-specific explanations -- Distributed multi-issue multi-lateral negotiation using a divide and rule approach -- Increasing negotiation performance at the edge of the network -- Challenges and Main Results of the Automated Negotiating Agents Competition -- Optimal Majority Rule Versus Simple Majority Rule -- Evaluating Crowdshipping Systems with Agent-Based Simulation -- Agent-based models, Social choice, Argumentation, Model-checking -- Measuring the Strength of Rhetorical Arguments -- Understanding the role of values and norms in practical reasoning -- Predicting the winners of Borda, Kemeny and Dodgson elections with supervised machine learning -- From Virtual Worlds to Mirror Worlds: A Model and Platform for Building Agent-based eXtended Realities -- Model-checking Information Diffusion in SocialNetworks with PRISM 452 -- "Roads? Where we’re going we don’t need roads." Using Agent-based modeling to analyze the economic impact of Hyperloop introduction on a supply chain -- Sensitivity to Initial Conditions in Agent-based Models.-: Agent-oriented software engineering, Game Theory, Task Allocation, Learning -- Statecharts and Agent Technology: The Past and Future -- A Game Of Double Agents: Repeated Stackelberg Games with Role Switch -- Learning Summarised Messaging through Mediated Differentiable Inter Agent Learning -- Integrating Deep Learning and Non-monotonic Logical Reasoning for Explainable Visual Question Answering -- Multiagent Task Coordination as Task Allocation Plus Task Responsibility -- Anytime and Efficient Coalition Formation with Spatial and Temporal Constraints.
Record Nr. UNINA-9910447245503321
Cham, Switzerland : , : Springer, , [2020]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Multi-agent systems and agreement technologies : 17th European Conference, EUMAS 2020 and 7th International Conference, AT 2020, Thessaloniki, Greece, September 14-15, 2020 : revised selected papers / / Nick Bassiliades, Georgios Chalkiadakis, Dave de Jonge (editors)
Multi-agent systems and agreement technologies : 17th European Conference, EUMAS 2020 and 7th International Conference, AT 2020, Thessaloniki, Greece, September 14-15, 2020 : revised selected papers / / Nick Bassiliades, Georgios Chalkiadakis, Dave de Jonge (editors)
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham, Switzerland : , : Springer, , [2020]
Descrizione fisica 1 online resource (XIV, 608 p. 172 illus., 133 illus. in color.)
Disciplina 006.3
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Multiagent systems
ISBN 3-030-66412-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intelligent agents and MAS applications -- Towards a Theory of Intentions for Human-Robot Collaboration -- Decentralised Control of Intelligent Devices: A Healthcare Facility Study -- Decentralised Multi-Intersection Congestion Control for Connected Autonomous Vehicles -- Congestion Management for Mobility-on-Demand Schemes that use Electric Vehicles -- Disaster Response Simulation as a Testbed for Multi-Agent Systems -- Mechanisms, Incentives, Norms, Privacy -- Rewarding miners: bankruptcy situations and pooling strategies -- A Game-Theoretical Analysis of Charging Strategies for Competing Double Auction Marketplaces -- Agents for Preserving Privacy: Learning and Decision Making Collaboratively -- Open Social Systems -- A Faithful Mechanism for Privacy-Sensitive Distributed Constraint Satisfaction Problems -- Incentivising Exploration and Recommendations for Contextual Bandits with Payments -- Emotional Agents Make a (Bank) Run -- Autonomous Agents -- An Interface for Programming Verifiable Autonomous Agents in ROS -- Integrated Commonsense Reasoning and Deep Learning for Transparent Decision Making in Robotics -- Combining Lévy Walks and Flocking for Cooperative Surveillance using Aerial Swarms -- Single-Agent Policies for the Multi-Agent Persistent Surveillance Problem via Artificial Heterogeneity -- Explaining the influence of prior knowledge on POMCP policies -- EUMAS 2020 Best Papers Session -- Approximating Voting Rules from Truncated Ballots -- Mechanism for Distributed Meeting Scheduling -- EUMAS-AT 2020 Joint Session -- An argumentation-based approach to generate domain-specific explanations -- Distributed multi-issue multi-lateral negotiation using a divide and rule approach -- Increasing negotiation performance at the edge of the network -- Challenges and Main Results of the Automated Negotiating Agents Competition -- Optimal Majority Rule Versus Simple Majority Rule -- Evaluating Crowdshipping Systems with Agent-Based Simulation -- Agent-based models, Social choice, Argumentation, Model-checking -- Measuring the Strength of Rhetorical Arguments -- Understanding the role of values and norms in practical reasoning -- Predicting the winners of Borda, Kemeny and Dodgson elections with supervised machine learning -- From Virtual Worlds to Mirror Worlds: A Model and Platform for Building Agent-based eXtended Realities -- Model-checking Information Diffusion in SocialNetworks with PRISM 452 -- "Roads? Where we’re going we don’t need roads." Using Agent-based modeling to analyze the economic impact of Hyperloop introduction on a supply chain -- Sensitivity to Initial Conditions in Agent-based Models.-: Agent-oriented software engineering, Game Theory, Task Allocation, Learning -- Statecharts and Agent Technology: The Past and Future -- A Game Of Double Agents: Repeated Stackelberg Games with Role Switch -- Learning Summarised Messaging through Mediated Differentiable Inter Agent Learning -- Integrating Deep Learning and Non-monotonic Logical Reasoning for Explainable Visual Question Answering -- Multiagent Task Coordination as Task Allocation Plus Task Responsibility -- Anytime and Efficient Coalition Formation with Spatial and Temporal Constraints.
Record Nr. UNISA-996418285903316
Cham, Switzerland : , : Springer, , [2020]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
New Trends in Database and Information Systems II : Selected papers of the 18th East European Conference on Advances in Databases and Information Systems and Associated Satellite Events, ADBIS 2014 Ohrid, Macedonia, September 7-10, 2014 Proceedings II / / edited by Nick Bassiliades, Mirjana Ivanovic, Margita Kon-Popovska, Yannis Manolopoulos, Themis Palpanas, Goce Trajcevski, Athena Vakali
New Trends in Database and Information Systems II : Selected papers of the 18th East European Conference on Advances in Databases and Information Systems and Associated Satellite Events, ADBIS 2014 Ohrid, Macedonia, September 7-10, 2014 Proceedings II / / edited by Nick Bassiliades, Mirjana Ivanovic, Margita Kon-Popovska, Yannis Manolopoulos, Themis Palpanas, Goce Trajcevski, Athena Vakali
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (345 p.)
Disciplina 005.74
Collana Advances in Intelligent Systems and Computing
Soggetto topico Computational intelligence
Artificial intelligence
Database management
Computational Intelligence
Artificial Intelligence
Database Management
ISBN 3-319-10518-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Data Mining -- Data Warehouses -- Issues of Information Systems -- Physical Level -- Spatial and Temporal Data -- Streams -- OAIS’2014 Workshop -- TQMCA’2014 Workshop -- GID’2014 Workshop -- Doctoral Consortium.
Record Nr. UNINA-9910299856403321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Rule Representation, Interchange and Reasoning on the Web [[electronic resource] ] : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings / / edited by Nick Bassiliades, Guido Governatori, Adrian Paschke
Rule Representation, Interchange and Reasoning on the Web [[electronic resource] ] : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings / / edited by Nick Bassiliades, Guido Governatori, Adrian Paschke
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Descrizione fisica 1 online resource (XIII, 243 p.)
Disciplina 005.72
Collana Programming and Software Engineering
Soggetto topico Computers
Computer communication systems
Software engineering
Data mining
Information Systems and Communication Service
Computer Communication Networks
Software Engineering/Programming and Operating Systems
Data Mining and Knowledge Discovery
Models and Principles
Software Engineering
ISBN 3-540-88808-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynote Talks (Abstracts) -- Rule Interchange Format: The Framework -- The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems -- Event and Process Semantics Will Rule -- Rule Engineering -- Development and Verification of Rule Based Systems — A Survey of Developers -- Connecting Legacy Code, Business Rules and Documentation -- Verifying Resource Requirements for Distributed Rule-Based Systems -- Meta-analysis for Validation and Strategic Planning -- Rule-Based Methodologies and Applications in Policies, Electronic Contracts and Security -- Abductive Workflow Mining Using Binary Resolution on Task Successor Rules -- A Rule-Based Framework Using Role Patterns for Business Process Compliance -- Detection of Suspicious Activity Using Different Rule Engines — Comparison of BaseVISor, Jena and Jess Rule Engines -- A Rule-Based Notation to Specify Executable Electronic Contracts -- Rule Representation Languages and Reasoning Engines -- On Extending RuleML for Modal Defeasible Logic -- Adding Uncertainty to a Rete-OO Inference Engine -- Programming with Fuzzy Logic Rules by Using the FLOPER Tool -- Ruling Networks with RDL: A Domain-Specific Language to Task Wireless Sensor Networks -- Rule-Based Methodologies and Applications in Distributed and Heterogeneous Environments -- Local and Distributed Defeasible Reasoning in Multi-Context Systems -- Personal Agents in the Rule Responder Architecture -- Semi-automatic Composition of Geospatial Web Services Using JBoss Rules -- A RuleML Study on Integrating Geographical and Health Information -- Natural-Language and Graphical Rule Representation and Processing -- SBVR Use Cases -- Visualization of Proofs in Defeasible Logic -- Building an Autopoietic Knowledge Structure for Natural Language Conversational Agents -- A Functional Spreadsheet Framework for Authoring Logic Implication Rules -- RuleML-2008 Challenge -- Please Pass the Rules: A Rule Interchange Demonstration -- Self-sustained Routing for Event Diffusion in Wireless Sensor Networks.
Record Nr. UNISA-996466336003316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Rule Representation, Interchange and Reasoning on the Web : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings / / edited by Nick Bassiliades, Guido Governatori, Adrian Paschke
Rule Representation, Interchange and Reasoning on the Web : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings / / edited by Nick Bassiliades, Guido Governatori, Adrian Paschke
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Descrizione fisica 1 online resource (XIII, 243 p.)
Disciplina 005.72
Collana Programming and Software Engineering
Soggetto topico Computers
Computer communication systems
Software engineering
Data mining
Information Systems and Communication Service
Computer Communication Networks
Software Engineering/Programming and Operating Systems
Data Mining and Knowledge Discovery
Models and Principles
Software Engineering
ISBN 3-540-88808-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynote Talks (Abstracts) -- Rule Interchange Format: The Framework -- The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems -- Event and Process Semantics Will Rule -- Rule Engineering -- Development and Verification of Rule Based Systems — A Survey of Developers -- Connecting Legacy Code, Business Rules and Documentation -- Verifying Resource Requirements for Distributed Rule-Based Systems -- Meta-analysis for Validation and Strategic Planning -- Rule-Based Methodologies and Applications in Policies, Electronic Contracts and Security -- Abductive Workflow Mining Using Binary Resolution on Task Successor Rules -- A Rule-Based Framework Using Role Patterns for Business Process Compliance -- Detection of Suspicious Activity Using Different Rule Engines — Comparison of BaseVISor, Jena and Jess Rule Engines -- A Rule-Based Notation to Specify Executable Electronic Contracts -- Rule Representation Languages and Reasoning Engines -- On Extending RuleML for Modal Defeasible Logic -- Adding Uncertainty to a Rete-OO Inference Engine -- Programming with Fuzzy Logic Rules by Using the FLOPER Tool -- Ruling Networks with RDL: A Domain-Specific Language to Task Wireless Sensor Networks -- Rule-Based Methodologies and Applications in Distributed and Heterogeneous Environments -- Local and Distributed Defeasible Reasoning in Multi-Context Systems -- Personal Agents in the Rule Responder Architecture -- Semi-automatic Composition of Geospatial Web Services Using JBoss Rules -- A RuleML Study on Integrating Geographical and Health Information -- Natural-Language and Graphical Rule Representation and Processing -- SBVR Use Cases -- Visualization of Proofs in Defeasible Logic -- Building an Autopoietic Knowledge Structure for Natural Language Conversational Agents -- A Functional Spreadsheet Framework for Authoring Logic Implication Rules -- RuleML-2008 Challenge -- Please Pass the Rules: A Rule Interchange Demonstration -- Self-sustained Routing for Event Diffusion in Wireless Sensor Networks.
Record Nr. UNINA-9910768176703321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Rule Technologies: Foundations, Tools, and Applications [[electronic resource] ] : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings / / edited by Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman
Rule Technologies: Foundations, Tools, and Applications [[electronic resource] ] : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings / / edited by Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (XIX, 474 p. 77 illus.)
Disciplina 005.11
Collana Programming and Software Engineering
Soggetto topico Artificial intelligence
Application software
Computer logic
Information storage and retrieval
Artificial Intelligence
Information Systems Applications (incl. Internet)
Logics and Meanings of Programs
Computer Applications
Information Storage and Retrieval
ISBN 3-319-21542-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto General RuleML track -- Complex event processing track -- Existential rules and datalog+/- track -- Legal rules and reasoning track -- Rule learning track -- Industry track.
Record Nr. UNISA-996204727403316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Rule Technologies: Foundations, Tools, and Applications : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings / / edited by Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman
Rule Technologies: Foundations, Tools, and Applications : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings / / edited by Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (XIX, 474 p. 77 illus.)
Disciplina 005.11
Collana Programming and Software Engineering
Soggetto topico Artificial intelligence
Application software
Computer logic
Information storage and retrieval
Artificial Intelligence
Information Systems Applications (incl. Internet)
Logics and Meanings of Programs
Computer Applications
Information Storage and Retrieval
ISBN 3-319-21542-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto General RuleML track -- Complex event processing track -- Existential rules and datalog+/- track -- Legal rules and reasoning track -- Rule learning track -- Industry track.
Record Nr. UNINA-9910484560803321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Rule-Based Reasoning, Programming, and Applications [[electronic resource] ] : 5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011, Proceedings / / edited by Nick Bassiliades, Guido Governatori, Adrian Paschke
Rule-Based Reasoning, Programming, and Applications [[electronic resource] ] : 5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011, Proceedings / / edited by Nick Bassiliades, Guido Governatori, Adrian Paschke
Edizione [1st ed. 2011.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011
Descrizione fisica 1 online resource (XIII, 385 p.)
Disciplina 006.74
Collana Programming and Software Engineering
Soggetto topico Software engineering
Artificial intelligence
Computer communication systems
Application software
Computer programming
Algorithms
Software Engineering
Artificial Intelligence
Computer Communication Networks
Information Systems Applications (incl. Internet)
Programming Techniques
Algorithm Analysis and Problem Complexity
ISBN 3-642-22546-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996465952303316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
SETN 2016 : 9th Hellenic Conference on Artificial Intelligence / / editors and conference co-chairs, Nick Bassiliades
SETN 2016 : 9th Hellenic Conference on Artificial Intelligence / / editors and conference co-chairs, Nick Bassiliades
Pubbl/distr/stampa New York : , : ACM, , 2016
Descrizione fisica 1 online resource (249 pages)
Disciplina 006.3
Soggetto topico Artificial intelligence
ISBN 1-4503-3734-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Altri titoli varianti Proceedings of the 9th Hellenic Conference on Artificial Intelligence
Record Nr. UNINA-9910376360503321
New York : , : ACM, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui