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.
Computational Logic in Multi-Agent Systems [[electronic resource] ] : 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings / / edited by Jürgen Dix, Joao Leite, Guido Governatori, Wojtek Jamroga
| Computational Logic in Multi-Agent Systems [[electronic resource] ] : 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings / / edited by Jürgen Dix, Joao Leite, Guido Governatori, Wojtek Jamroga |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 257 p. 42 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computer logic Mathematical logic Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-642-14977-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Is Computational Complexity a Barrier to Manipulation? -- Games, Norms and Strategic Notions in Information Flow Security -- Group Announcements: Logic and Games (Abstract of Invited Talk) -- Strong Equivalence in Argumentation -- Regular Papers -- Hypergraphs of Multiparty Secrets -- Combining Logics in Simple Type Theory -- Speculative Abductive Reasoning for Hierarchical Agent Systems -- Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of ?-Calculus Processes -- What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior -- Verifying Business Process Compliance by Reasoning about Actions -- From Organisation Specification to Normative Programming in Multi-Agent Organisations -- Finding Uniform Strategies for Multi-agent Systems -- Playing Extensive Form Games in Parallel -- Exploring the Boundary of Half Positionality -- Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets -- An Agent Language with Destructive Assignment and Model-Theoretic Semantics -- Model Checking Agent Programs by Using the Program Interpreter -- A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages. |
| Record Nr. | UNISA-996466280103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Logic in Multi-Agent Systems [[electronic resource] ] : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / / edited by Jürgen Dix, Michael Fisher, Peter Novák
| Computational Logic in Multi-Agent Systems [[electronic resource] ] : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / / edited by Jürgen Dix, Michael Fisher, Peter Novák |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (IX, 197 p. 40 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer communication systems Software engineering Application software Computer logic Artificial Intelligence Mathematical Logic and Formal Languages Computer Communication Networks Software Engineering Information Systems Applications (incl. Internet) Logics and Meanings of Programs |
| Soggetto genere / forma | Kongress. |
| ISBN |
1-280-39027-1
9786613568199 3-642-16867-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Planning for Multiagent Using ASP-Prolog -- Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL -- Reasoning about Multi-agent Domains Using Action Language : A Preliminary Study -- Model Checking Normative Agent Organisations -- Operational Semantics for BDI Modules in Multi-agent Programming -- InstQL: A Query Language for Virtual Institutions Using Answer Set Programming -- Interacting Answer Sets -- Argumentation-Based Preference Modelling with Incomplete Information -- A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier -- On the Implementation of Speculative Constraint Processing. |
| Record Nr. | UNISA-996465689803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Engineering Multi-Agent Systems [[electronic resource] ] : Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers / / edited by Fabiano Dalpiaz, Jürgen Dix, M. Birna van Riemsdijk
| Engineering Multi-Agent Systems [[electronic resource] ] : Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers / / edited by Fabiano Dalpiaz, Jürgen Dix, M. Birna van Riemsdijk |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XII, 451 p. 125 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computer programming Artificial Intelligence Software Engineering Programming Techniques |
| ISBN | 3-319-14484-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Intelligent agents -- Multi-agent systems -- Software design engineering -- Model-driven software engineering -- Reasoning about belief and knowledge -- Cooperation and coordination -- Constraint and logic programming -- Software verification -- Design patterns. |
| Record Nr. | UNISA-996211262803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Engineering Multi-Agent Systems : Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers / / edited by Fabiano Dalpiaz, Jürgen Dix, M. Birna van Riemsdijk
| Engineering Multi-Agent Systems : Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers / / edited by Fabiano Dalpiaz, Jürgen Dix, M. Birna van Riemsdijk |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XII, 451 p. 125 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computer programming Artificial Intelligence Software Engineering Programming Techniques |
| ISBN | 3-319-14484-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Intelligent agents -- Multi-agent systems -- Software design engineering -- Model-driven software engineering -- Reasoning about belief and knowledge -- Cooperation and coordination -- Constraint and logic programming -- Software verification -- Design patterns. |
| Record Nr. | UNINA-9910483745603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intelligent Distributed Computing XI / / edited by Mirjana Ivanović, Costin Bădică, Jürgen Dix, Zoran Jovanović, Michele Malgeri, Miloš Savić
| Intelligent Distributed Computing XI / / edited by Mirjana Ivanović, Costin Bădică, Jürgen Dix, Zoran Jovanović, Michele Malgeri, Miloš Savić |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (X, 334 p.) |
| Disciplina | 006.3 |
| Collana | Studies in Computational Intelligence |
| Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
| ISBN | 3-319-66379-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Distributed Algorithms and Optimization -- A Performance Analysis of Self-* Evolutionary Algorithms on Networks with Correlated Failures -- Spatially Structured Evolutionary Algorithms: Graph Degree, Population Size and Convergence Speed -- Heuristic of Anticipation for Fair Scheduling and Resource Allocation in Grid VOs -- On the Applications of Dijkstra's Shortest Path Algorithm in Software Defined Networks -- Part II: Reasoning and Decision Making in Distributed Environments -- Towards a Paraconsistent Approach to Actions in Distributed Information-Rich Environments -- A Modified Vickrey Auction with Regret Minimization for Uniform Alliance Decisions -- Lightweight Cooperative Self-Localization as Support to Traffic Regulation for Autonomous Car Driving -- A New Approach for Vertical Handover between LTE and WLAN Based on Fuzzy Logic and Graph Theory -- Part III: Multi-agent Systems -- Programming the Interaction Space Effectively with ReSpecTX -- Multi-Agent System to Design Next Generation of Airborne Platform -- A Drone-based Building Inspection System using Software-Agents -- Part IV: Data Analysis, Mining and Integration -- Connecting Social Media Data with Observed Hybrid Data for Environment Monitoring -- EUStress: a Human Behaviour Analysis System for Monitoring and Assessing Stress during Exams -- Post Sharing-based Credibility Network for Social Network -- Ontological Hybrid Storage for Security Data -- Part V: Machine Learning -- Wind Power Production Forecasting using Ant Colony Optimization and Extreme Learning Machines -- Convolutional Neural Networks for Four-Class Motor Imagery Data Classification -- Binary Classification of Images for Applications in Intelligent 3D Scanning -- Part VI: Internet of Things and Cloud Computing -- Context Aware Resource and Service Provisioning Management in Fog Computing Systems -- An Argumentative Approach to Smart Home Office Ambient Lighting -- A Recommender System Based on Hierarchical Clustering for Cloud e-Learning -- A Taxonomy of Anomalies in Distributed Cloud Systems: The CRI-Model -- Modeling and Analysis of IoT Energy Resource Exhaustion Attacks -- Part VII: Service-based Distributed Systems -- Service Discovery in Megascale Distributed Systems -- Context-Aware Access Control Model for Services Provided from Cloud Computing -- Reference Architecture for Self-Adaptive Microservice Systems -- Part VIII: WASA 2017 (7th Workshop on Applications of Software Agents) -- Agent-Based Computing in the Internet of Things: a Survey -- Teaching, Learning and Assessment of Agents and Robotics in a Computer Science Curriculum. |
| Record Nr. | UNINA-9910299880303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Multi-Agent Programming Contest 2018 [[electronic resource] ] : Agents Teaming Up in an Urban Environment / / edited by Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas
| The Multi-Agent Programming Contest 2018 [[electronic resource] ] : Agents Teaming Up in an Urban Environment / / edited by Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (VII, 145 p. 31 illus., 21 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Special purpose computers Application software Coding theory Information theory Software engineering Artificial Intelligence Computer Communication Networks Special Purpose and Application-Based Systems Information Systems Applications (incl. Internet) Coding and Information Theory Software Engineering/Programming and Operating Systems |
| ISBN | 3-030-37959-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Contest -- The Multi-Agent Programming Contest 2018 - A third time in the city -- The Teams -- task-oriented architecture with priority queue for BDI agents applied to the Multi Agent Programming Contest scenario -- Multi-Agent Programming Contest 2018 - The Jason-DTU Team -- SMART-JaCaMo: an Organisation-Based Team for the Multi-Agent Programming Contest -- Distributed Decision-Making based on Shared Knowledge in the Multi-Agent Programming Contest -- ROS Hybrid Behaviour Planner: Behaviour Hierarchies and Self-Organisation in the Multi-Agent Programming Contest. |
| Record Nr. | UNISA-996466211703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The Multi-Agent Programming Contest 2018 : Agents Teaming Up in an Urban Environment / / edited by Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas
| The Multi-Agent Programming Contest 2018 : Agents Teaming Up in an Urban Environment / / edited by Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (VII, 145 p. 31 illus., 21 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Special purpose computers Application software Coding theory Information theory Software engineering Artificial Intelligence Computer Communication Networks Special Purpose and Application-Based Systems Information Systems Applications (incl. Internet) Coding and Information Theory Software Engineering/Programming and Operating Systems |
| ISBN | 3-030-37959-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Contest -- The Multi-Agent Programming Contest 2018 - A third time in the city -- The Teams -- task-oriented architecture with priority queue for BDI agents applied to the Multi Agent Programming Contest scenario -- Multi-Agent Programming Contest 2018 - The Jason-DTU Team -- SMART-JaCaMo: an Organisation-Based Team for the Multi-Agent Programming Contest -- Distributed Decision-Making based on Shared Knowledge in the Multi-Agent Programming Contest -- ROS Hybrid Behaviour Planner: Behaviour Hierarchies and Self-Organisation in the Multi-Agent Programming Contest. |
| Record Nr. | UNINA-9910370258603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Multiagent System Technologies [[electronic resource] ] : 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010 Proceedings / / edited by Jürgen Dix, Cees Witteveen
| Multiagent System Technologies [[electronic resource] ] : 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010 Proceedings / / edited by Jürgen Dix, Cees Witteveen |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XII, 221 p. 81 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Application software Computer programming Computer logic Artificial Intelligence Computer Communication Networks Software Engineering Information Systems Applications (incl. Internet) Programming Techniques Logics and Meanings of Programs |
| ISBN |
1-280-38963-X
9786613567550 3-642-16178-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Tournament Solutions and Their Applications to Multiagent Decision Making -- Research Challenges in Simulation Aided Design of Complex Multi-agent Systems -- Models and Specifications -- A Model Driven Development of Platform-Neutral Agents -- A Novel Formal Specification Approach for Real Time Multi-Agent System Functional Requirements -- Do You Get It? User-Evaluated Explainable BDI Agents -- Trust, Norms and Reputation -- Reputation in Multi Agent Systems and the Incentives to Provide Feedback -- Normative Deliberation in Graded BDI Agents -- Inducing Desirable Behaviour through an Incentives Infrastructure -- Models, Tools and Architectures -- SONAR/OREDI: A Tool for Creation and Deployment of Organisation Models -- Enhancing the Interoperability between Multiagent Systems and Service-Oriented Architectures through a Model-Driven Approach -- Unifying Agent and Component Concepts -- Applications I -- Impact of Competition on Quality of Service in Demand Responsive Transit -- Towards Distributed Agent Environments for Pervasive Healthcare -- Context-Aware Route Planning -- Coordination and Learning -- Social Conformity and Its Convergence for Reinforcement Learning -- COLYPAN: A Peer-to-Peer Architecture for a Project Management Collaborative Learning System -- Preference Generation for Autonomous Agents -- Evaluation of Techniques for a Learning-Driven Modeling Methodology in Multiagent Simulation -- Applications II -- Price Prediction in Sports Betting Markets -- Modelling Distributed Network Security in a Petri Net- and Agent-Based Approach. |
| Record Nr. | UNISA-996465979803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Programming Multi-Agent Systems [[electronic resource] ] : 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers / / edited by Rem Collier, Jürgen Dix, Peter Novák
| Programming Multi-Agent Systems [[electronic resource] ] : 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers / / edited by Rem Collier, Jürgen Dix, Peter Novák |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XI, 159 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computer communication systems Computer programming Computer simulation Artificial Intelligence Software Engineering Computer Communication Networks Programming Techniques Simulation and Modeling Software Engineering/Programming and Operating Systems |
| ISBN | 3-642-28939-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466253803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||