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.
Engineering Multi-Agent Systems : 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers / / Andrei Ciortea, Mehdi Dastani, and Jieting Luo, editors
| Engineering Multi-Agent Systems : 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers / / Andrei Ciortea, Mehdi Dastani, and Jieting Luo, editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (281 pages) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Computer Science Series |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-031-48539-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agent-Oriented Software Engineering -- Towards Forward Responsibility in BDI Agents -- Imperative and Event-Driven Programming of Interoperable Software Agents -- vGOAL: a GOAL-based Specification Language for Safe Autonomous Decision-Making -- Agents and Microservices -- Protocol-Based Engineering of Microservices -- Exploiting Service-Discovery and OpenAPI in Multi-Agent MicroServices (MAMS) Applications -- Using Multi-Agent MicroServices (MAMS) for Agent-Based Modelling -- Strategy, Reasoning, and Planning -- Dynamics of Causal Dependencies in Multi-agent Settings -- Multi-armed Bandit Based Tariff Generation Strategy for Multi-Agent Smart Grid Systems -- Load Balancing in Distributed Multi-Agent Path Finder (DMAPF) -- Engineering Domains and Applications -- A Multi-Agent Approach for Decentralized Voltage Regulation in Micro Grids by Considering Distributed Generators -- Synthesizing Multi-agent System Organization from Engineering Descriptions -- Towards Developing Digial Twin Enabled Multi-Agent Systems -- Agents in Hypermedia Environments -- Towards Context-based Authorizations for Interactions in Hypermedia-driven Agent Environments — The CASHMERE Framework -- Towards Context-based Authorizations for Interactions in Hypermedia -- Pody: A Solid-based Approach to Embody Agents in Web-based Multi-Agent Systems -- Frameworks, Tooling, and DevOps -- Fantastic MASs and where to find them: First results and lesson learned -- The Entity-Operation Model for Practical Multi-entity Deployment -- Remote Deployment of a JADE Agent in Docker. |
| Record Nr. | UNINA-9910766887103321 |
| Cham, Switzerland : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering Multi-Agent Systems : 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers / / Andrei Ciortea, Mehdi Dastani, and Jieting Luo, editors
| Engineering Multi-Agent Systems : 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers / / Andrei Ciortea, Mehdi Dastani, and Jieting Luo, editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (281 pages) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Computer Science Series |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-031-48539-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agent-Oriented Software Engineering -- Towards Forward Responsibility in BDI Agents -- Imperative and Event-Driven Programming of Interoperable Software Agents -- vGOAL: a GOAL-based Specification Language for Safe Autonomous Decision-Making -- Agents and Microservices -- Protocol-Based Engineering of Microservices -- Exploiting Service-Discovery and OpenAPI in Multi-Agent MicroServices (MAMS) Applications -- Using Multi-Agent MicroServices (MAMS) for Agent-Based Modelling -- Strategy, Reasoning, and Planning -- Dynamics of Causal Dependencies in Multi-agent Settings -- Multi-armed Bandit Based Tariff Generation Strategy for Multi-Agent Smart Grid Systems -- Load Balancing in Distributed Multi-Agent Path Finder (DMAPF) -- Engineering Domains and Applications -- A Multi-Agent Approach for Decentralized Voltage Regulation in Micro Grids by Considering Distributed Generators -- Synthesizing Multi-agent System Organization from Engineering Descriptions -- Towards Developing Digial Twin Enabled Multi-Agent Systems -- Agents in Hypermedia Environments -- Towards Context-based Authorizations for Interactions in Hypermedia-driven Agent Environments — The CASHMERE Framework -- Towards Context-based Authorizations for Interactions in Hypermedia -- Pody: A Solid-based Approach to Embody Agents in Web-based Multi-Agent Systems -- Frameworks, Tooling, and DevOps -- Fantastic MASs and where to find them: First results and lesson learned -- The Entity-Operation Model for Practical Multi-entity Deployment -- Remote Deployment of a JADE Agent in Docker. |
| Record Nr. | UNISA-996565866103316 |
| Cham, Switzerland : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic and Argumentation [[electronic resource] ] : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings / / edited by Andreas Herzig, Jieting Luo, Pere Pardo
| Logic and Argumentation [[electronic resource] ] : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings / / edited by Andreas Herzig, Jieting Luo, Pere Pardo |
| Autore | Herzig Andreas |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (233 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
LuoJieting
PardoPere |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Compilers (Computer programs) Algorithms Computer science Machine theory Artificial Intelligence Programming Techniques Compilers and Interpreters Design and Analysis of Algorithms Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-031-40875-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Logic and Automated Deduction -- Dynamic Modal Logic with Counting: when Reduction Axioms Work and Fail -- Solving Modal Logic Problems by Translation to Higher-order Logic -- Formalizing the Unexpected Hanging Paradox: a Classical Surprise -- Abstract and Structured Argumentation -- Weakest Link in Formal Argumentation: Lookahead and Principle-based Analysis -- A Logical Encoding for k-m-Realization of Extensions in Abstract Argumentation -- Topological Conditions and Solutions for Repairing Argumentation Frameworks -- Dialogues, Games and Practical Reasoning -- Providing personalized Explanations: a Conversational Approach -- Audience irrelevance in Strategic Argumentation Games -- A Structured Bipolar Argumentation Theory for Providing Explanations in Practical Reasoning -- Quantitative Argumentation -- A Filtering-based General Approach to Learning Rational Constraints of Epistemic Graphs -- Fuzzy Labeling Semantics for Quantitative Argumentation -- A Logic for Preference Lifting under Uncertainty and its Decidability. |
| Record Nr. | UNISA-996546855103316 |
Herzig Andreas
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic and Argumentation [[electronic resource] ] : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings / / edited by Andreas Herzig, Jieting Luo, Pere Pardo
| Logic and Argumentation [[electronic resource] ] : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings / / edited by Andreas Herzig, Jieting Luo, Pere Pardo |
| Autore | Herzig Andreas |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (233 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
LuoJieting
PardoPere |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Compilers (Computer programs) Algorithms Computer science Machine theory Artificial Intelligence Programming Techniques Compilers and Interpreters Design and Analysis of Algorithms Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-031-40875-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Logic and Automated Deduction -- Dynamic Modal Logic with Counting: when Reduction Axioms Work and Fail -- Solving Modal Logic Problems by Translation to Higher-order Logic -- Formalizing the Unexpected Hanging Paradox: a Classical Surprise -- Abstract and Structured Argumentation -- Weakest Link in Formal Argumentation: Lookahead and Principle-based Analysis -- A Logical Encoding for k-m-Realization of Extensions in Abstract Argumentation -- Topological Conditions and Solutions for Repairing Argumentation Frameworks -- Dialogues, Games and Practical Reasoning -- Providing personalized Explanations: a Conversational Approach -- Audience irrelevance in Strategic Argumentation Games -- A Structured Bipolar Argumentation Theory for Providing Explanations in Practical Reasoning -- Quantitative Argumentation -- A Filtering-based General Approach to Learning Rational Constraints of Epistemic Graphs -- Fuzzy Labeling Semantics for Quantitative Argumentation -- A Logic for Preference Lifting under Uncertainty and its Decidability. |
| Record Nr. | UNINA-9910736993103321 |
|
Herzig Andreas
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||