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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|