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.
AIxIA 2020 - advances in artificial intelligence : XIXth international conference of the Italian association for artificial intelligence, virtual event, November 25-27, 2020, revised selected papers / / editors, Matteo Baldoni, Stefania Bandini
| AIxIA 2020 - advances in artificial intelligence : XIXth international conference of the Italian association for artificial intelligence, virtual event, November 25-27, 2020, revised selected papers / / editors, Matteo Baldoni, Stefania Bandini |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (467 pages) |
| Disciplina | 006.3 |
| Collana | Lecture notes in computer science. Lecture notes in artificial intelligence |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-030-77091-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Explainable Artificial Intelligence -- Exploring Contextual Importance and Utility in Explaining Affect Detection -- 1 Introduction -- 2 Background -- 3 Contextual Importance and Contextual Utility -- 4 Dataset Description and Preprocessing -- 5 Outcome Explanations -- 5.1 Generated Explanation on WESAD -- 5.2 Generated Explanation on MAHNOB-HCI -- 6 Conclusion and Future Works -- References -- Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming -- 1 Introduction -- 2 Explanation: Meaning and Roles -- 3 Logic Techniques for XAI -- 3.1 Why Logic? -- 3.2 User Requirements for XAI -- 3.3 Logic Approaches and Technologies Involved for XAI -- 4 System Architecture -- 4.1 Main Enabling Technologies -- 5 Preliminary Investigation: Examples -- 6 Related Works and Discussion -- 7 Conclusion -- References -- Understanding Automatic Pneumonia Classification Using Chest X-Ray Images -- 1 Introduction -- 2 Related Work -- 3 Proposed Approach -- 3.1 Classification -- 3.2 Visual Explanations -- 4 Experimental Protocol -- 4.1 Dataset Description -- 4.2 Training Phase -- 4.3 Performance Metrics -- 5 Results and Discussion -- 5.1 Classification Performance -- 5.2 Assessing Explanations from GradCAM -- 6 Conclusion -- References -- SeXAI: A Semantic Explainable Artificial Intelligence Framework -- 1 Introduction -- 2 Related Work -- 3 The Framework -- 4 SeXAI in Action -- 4.1 Quantitative Evaluation -- 4.2 Discussion -- 5 Conclusions -- References -- Explainable Attentional Neural Recommendations for Personalized Social Learning -- 1 Introduction -- 2 WhoTeach -- 3 Main Concepts and Definitions -- 4 GAT Models -- 5 Numerical Experiments -- 6 Expected Results for XAM -- 7 Conclusions and Future Works -- References -- Evolutionary and Population-Based.
Evolutionary Optimization of Graphs with GraphEA -- 1 Introduction and Related Works -- 2 GraphEA -- 2.1 Representation -- 2.2 Evolutionary Algorithm -- 3 Experimental Evaluation -- 3.1 Regression -- 3.2 Text Extraction -- 3.3 Robotic Controller Optimization -- 4 Concluding Remarks -- References -- Where the Local Search Affects Best in an Immune Algorithm -- 1 Introduction -- 2 The Hybrid Immune Algorithm -- 2.1 Hybrid-IA for the Community Detection -- 3 Experimental Results -- 3.1 Functional Sensitivity Analysis -- 4 Conclusions -- References -- Advances in Argumentation in Artificial Intelligence -- An Efficient Algorithm for Semi-stable Extensions -- 1 Introduction -- 2 Argumentation Framework and Complete Labelling Encodings -- 3 Overview of AASExts -- 4 Experimental Assessment of Encodings -- 5 Evaluation of AASExts -- 5.1 Experimental Setup -- 5.2 Experimental Results -- 6 Conclusion -- References -- Introducing General Argumentation Frameworks and Their Use -- 1 Introduction -- 2 Basics and Related Work -- 3 The Generalized Argumentation Framework -- 3.1 Mapping from Existing Frameworks -- 3.2 Mapping to Existing Frameworks -- 4 Sample Extensions of GAFs -- 4.1 Adding User and Topic Information -- 4.2 Expressing Evidence and Necessity -- 5 Matrix Representation and Examples -- 6 Conclusion -- References -- Towards an Implementation of a Concurrent Language for Argumentation -- 1 Introduction -- 2 Abstract Argumentation Frameworks -- 3 A Four-State Labelling Semantics -- 4 A Concurrent Argumentation Language -- 4.1 Semantics of Failure -- 4.2 Belief Revision and the AGM Framework -- 5 Implementation -- 6 Related Work -- 7 Conclusion and Future Work -- References -- Planning and Scheduling -- A Fault-Tolerant Automated Flight Path Planning System for an Ultralight Aircraft -- 1 Introduction -- 1.1 Related Work -- 1.2 System Description. 2 Flight Path Planning System -- 2.1 Flight Path Planning in PDDL+ -- 2.2 Trajectory Planning Under Non-nominal Conditions -- 3 System Validation and Results -- 3.1 Test Scenarios -- 3.2 Test Results and Discussion -- 4 Conclusion and Future Work -- References -- In Defence of Design Patterns for AI Planning Knowledge Models -- 1 Introduction -- 2 A Knowledge Engineering (Historical) Perspective -- 3 Beyond Knowledge Encoding: Explainability -- 4 Example: The Mobile Design Pattern -- 5 Functionalities of the Centralised Repository -- 6 Discussion on Languages for Planning Knowledge Models -- 7 Conclusion -- References -- Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming -- 1 Introduction -- 2 Answer Set Programming -- 3 Problem Description -- 3.1 Informal Description -- 3.2 Mathematical Formulation -- 4 ASP Encoding for ORS with Surgical Teams -- 4.1 Data Model -- 4.2 Encoding -- 5 Experimental Results -- 5.1 Benchmarks -- 5.2 Results -- 5.3 Extended Analysis -- 6 Related Work -- 7 Conclusions -- References -- Artificial Intelligence and Robotics -- Optimal Control of Point-to-Point Navigation in Turbulent Time Dependent Flows Using Reinforcement Learning -- 1 Introduction -- 2 Methods -- 3 Results (Time-Independent Flows) -- 3.1 Shortest Time, No Energy Constraints -- 3.2 Minimal Energy Consumption -- 4 Results (Time-Dependent Flow) -- 5 Conclusions -- References -- Brain-Driven Telepresence Robots: A Fusion of User's Commands with Robot's Intelligence -- 1 Introduction -- 2 Taxonomy of Shared Approaches -- 3 Shared Autonomy Approaches Based on Pre-coded Behaviors -- 4 Shared Intelligence Approach Based on Policies -- 5 ROS-Neuro: A Common Framework for Developing Neurorobotics Applications -- 6 Conclusion -- References. Knowledge-Driven Conversation for Social Robots: Exploring Crowdsourcing Mechanisms for Improving the System Capabilities -- 1 Introduction -- 2 Knowledge-Driven Conversation -- 3 Crowdsourcing Mechanisms for the Run-Time Expansion of the Knowledge Base -- 4 Recognition of Relevant Concepts -- 4.1 Dialogflow: Agents and Intents -- 4.2 Dialogflow Agent Training -- 5 Experiment and Discussion -- 6 Conclusions -- References -- Natural Language for Artificial Intelligence -- Grounding Dialogue History: Strengths and Weaknesses of Pre-trained Transformers -- 1 Introduction -- 2 Related Work -- 3 Dataset -- 4 Models -- 4.1 Language-Only Encoders -- 4.2 Multimodal Encoders -- 5 Experiments -- 5.1 Task Success -- 5.2 Are Models Sensitive to the Strategy Seen During Training? -- 5.3 The Role of the Last Question -- 5.4 How Attention Is Distributed Across Turns -- 5.5 Qualitative Evaluation -- 5.6 Details for Reproducibility -- 6 Conclusion -- References -- Breaking Down High-Level Robot Path-Finding Abstractions in Natural Language Programming -- 1 Introduction -- 2 Previous Work -- 3 Problem Formulation and System Design -- 3.1 High-Level to Low-Level (HL2LL) System Overview -- 3.2 Map Representation -- 3.3 Lee's Algorithm and Its Adaption -- 3.4 Path Information Extraction for NLPr -- 3.5 Path to Low-Level Sentence -- 3.6 Generating Code from NL Specifications Using the NLPr System -- 3.7 Formal Validation Using HFSM -- 4 Experimental Results -- 4.1 Case Study -- 5 Future Work -- 6 Conclusion -- References -- Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion -- Interleaving Levels of Consistency Enforcement for Singleton Arc Consistency in CSPs, with a New Best (N)SAC Algorithm -- 1 Introduction -- 2 Background -- 2.1 General Concepts -- 2.2 (N)SAC Algorithms -- 3 To Interleave or Not: Some (N)SAC Variants. 4 (N)SAC with and Without AC: Initial Experiments -- 5 (N)SAC with and Without AC: More Extended Tests -- 6 Comparisons with an AC4-Style Interleaving Algorithm -- 7 Other Kinds of Interleaving -- 8 Conclusions -- References -- Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints -- 1 Introduction -- 2 Preliminaries -- 3 Avoiding Crossings -- 4 The Collected Data -- 5 Machine Learning the Goodness of Constraint Propagators -- 6 Experiments -- 6.1 Results of the Machine Learning Step -- 6.2 Results of the Overall Euclidean TSP Solver -- 7 Related Work -- 8 Conclusions and Future Work -- References -- From Contrastive to Abductive Explanations and Back Again -- 1 Introduction -- 2 Preliminaries -- 3 Contrastive vs. Abductive Explanations -- 3.1 Defining Abductive Explanations (AXps) -- 3.2 Defining Contrastive Explanations (CXps) -- 3.3 Relating Abductive and Contrastive Explanations -- 4 Extracting and Enumerating Explanations -- 5 Experimental Evaluation -- 5.1 Enumeration of CXps -- 5.2 Enumeration of CXps and AXps -- 6 Conclusions -- References -- Artificial Intelligence for an Ageing Society -- Towards Positive Artificial Intelligence -- 1 Introduction -- 2 Positive Psychology -- 3 Positive Technologies -- 4 Intelligent Agents -- 5 Positive Artificial Intelligence -- 5.1 Illustrative Scenario I: Improvements in Walking Experience for Elderly Pedestrians in Urban Roads -- 5.2 Illustrative Scenario II: Extended Interaction with Medical Devices for Treatment of Noncommunicable Diseases -- 6 Conclusion -- References -- Management at the Edge of Situation Awareness During Patient Telemonitoring -- 1 Introduction -- 2 Background and Related Work -- 3 Edge Computing Cognitive Architecture -- 3.1 System Architecture -- 3.2 CPAC: The Clinical Pathway Adherence Checker Module. 3.3 CPAD: The Clinical Pathway Anomaly Detection Module. |
| Record Nr. | UNISA-996464528703316 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
AIxIA 2020 - advances in artificial intelligence : XIXth international conference of the Italian association for artificial intelligence, virtual event, November 25-27, 2020, revised selected papers / / editors, Matteo Baldoni, Stefania Bandini
| AIxIA 2020 - advances in artificial intelligence : XIXth international conference of the Italian association for artificial intelligence, virtual event, November 25-27, 2020, revised selected papers / / editors, Matteo Baldoni, Stefania Bandini |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (467 pages) |
| Disciplina | 006.3 |
| Collana | Lecture notes in computer science. Lecture notes in artificial intelligence |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-030-77091-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Explainable Artificial Intelligence -- Exploring Contextual Importance and Utility in Explaining Affect Detection -- 1 Introduction -- 2 Background -- 3 Contextual Importance and Contextual Utility -- 4 Dataset Description and Preprocessing -- 5 Outcome Explanations -- 5.1 Generated Explanation on WESAD -- 5.2 Generated Explanation on MAHNOB-HCI -- 6 Conclusion and Future Works -- References -- Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming -- 1 Introduction -- 2 Explanation: Meaning and Roles -- 3 Logic Techniques for XAI -- 3.1 Why Logic? -- 3.2 User Requirements for XAI -- 3.3 Logic Approaches and Technologies Involved for XAI -- 4 System Architecture -- 4.1 Main Enabling Technologies -- 5 Preliminary Investigation: Examples -- 6 Related Works and Discussion -- 7 Conclusion -- References -- Understanding Automatic Pneumonia Classification Using Chest X-Ray Images -- 1 Introduction -- 2 Related Work -- 3 Proposed Approach -- 3.1 Classification -- 3.2 Visual Explanations -- 4 Experimental Protocol -- 4.1 Dataset Description -- 4.2 Training Phase -- 4.3 Performance Metrics -- 5 Results and Discussion -- 5.1 Classification Performance -- 5.2 Assessing Explanations from GradCAM -- 6 Conclusion -- References -- SeXAI: A Semantic Explainable Artificial Intelligence Framework -- 1 Introduction -- 2 Related Work -- 3 The Framework -- 4 SeXAI in Action -- 4.1 Quantitative Evaluation -- 4.2 Discussion -- 5 Conclusions -- References -- Explainable Attentional Neural Recommendations for Personalized Social Learning -- 1 Introduction -- 2 WhoTeach -- 3 Main Concepts and Definitions -- 4 GAT Models -- 5 Numerical Experiments -- 6 Expected Results for XAM -- 7 Conclusions and Future Works -- References -- Evolutionary and Population-Based.
Evolutionary Optimization of Graphs with GraphEA -- 1 Introduction and Related Works -- 2 GraphEA -- 2.1 Representation -- 2.2 Evolutionary Algorithm -- 3 Experimental Evaluation -- 3.1 Regression -- 3.2 Text Extraction -- 3.3 Robotic Controller Optimization -- 4 Concluding Remarks -- References -- Where the Local Search Affects Best in an Immune Algorithm -- 1 Introduction -- 2 The Hybrid Immune Algorithm -- 2.1 Hybrid-IA for the Community Detection -- 3 Experimental Results -- 3.1 Functional Sensitivity Analysis -- 4 Conclusions -- References -- Advances in Argumentation in Artificial Intelligence -- An Efficient Algorithm for Semi-stable Extensions -- 1 Introduction -- 2 Argumentation Framework and Complete Labelling Encodings -- 3 Overview of AASExts -- 4 Experimental Assessment of Encodings -- 5 Evaluation of AASExts -- 5.1 Experimental Setup -- 5.2 Experimental Results -- 6 Conclusion -- References -- Introducing General Argumentation Frameworks and Their Use -- 1 Introduction -- 2 Basics and Related Work -- 3 The Generalized Argumentation Framework -- 3.1 Mapping from Existing Frameworks -- 3.2 Mapping to Existing Frameworks -- 4 Sample Extensions of GAFs -- 4.1 Adding User and Topic Information -- 4.2 Expressing Evidence and Necessity -- 5 Matrix Representation and Examples -- 6 Conclusion -- References -- Towards an Implementation of a Concurrent Language for Argumentation -- 1 Introduction -- 2 Abstract Argumentation Frameworks -- 3 A Four-State Labelling Semantics -- 4 A Concurrent Argumentation Language -- 4.1 Semantics of Failure -- 4.2 Belief Revision and the AGM Framework -- 5 Implementation -- 6 Related Work -- 7 Conclusion and Future Work -- References -- Planning and Scheduling -- A Fault-Tolerant Automated Flight Path Planning System for an Ultralight Aircraft -- 1 Introduction -- 1.1 Related Work -- 1.2 System Description. 2 Flight Path Planning System -- 2.1 Flight Path Planning in PDDL+ -- 2.2 Trajectory Planning Under Non-nominal Conditions -- 3 System Validation and Results -- 3.1 Test Scenarios -- 3.2 Test Results and Discussion -- 4 Conclusion and Future Work -- References -- In Defence of Design Patterns for AI Planning Knowledge Models -- 1 Introduction -- 2 A Knowledge Engineering (Historical) Perspective -- 3 Beyond Knowledge Encoding: Explainability -- 4 Example: The Mobile Design Pattern -- 5 Functionalities of the Centralised Repository -- 6 Discussion on Languages for Planning Knowledge Models -- 7 Conclusion -- References -- Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming -- 1 Introduction -- 2 Answer Set Programming -- 3 Problem Description -- 3.1 Informal Description -- 3.2 Mathematical Formulation -- 4 ASP Encoding for ORS with Surgical Teams -- 4.1 Data Model -- 4.2 Encoding -- 5 Experimental Results -- 5.1 Benchmarks -- 5.2 Results -- 5.3 Extended Analysis -- 6 Related Work -- 7 Conclusions -- References -- Artificial Intelligence and Robotics -- Optimal Control of Point-to-Point Navigation in Turbulent Time Dependent Flows Using Reinforcement Learning -- 1 Introduction -- 2 Methods -- 3 Results (Time-Independent Flows) -- 3.1 Shortest Time, No Energy Constraints -- 3.2 Minimal Energy Consumption -- 4 Results (Time-Dependent Flow) -- 5 Conclusions -- References -- Brain-Driven Telepresence Robots: A Fusion of User's Commands with Robot's Intelligence -- 1 Introduction -- 2 Taxonomy of Shared Approaches -- 3 Shared Autonomy Approaches Based on Pre-coded Behaviors -- 4 Shared Intelligence Approach Based on Policies -- 5 ROS-Neuro: A Common Framework for Developing Neurorobotics Applications -- 6 Conclusion -- References. Knowledge-Driven Conversation for Social Robots: Exploring Crowdsourcing Mechanisms for Improving the System Capabilities -- 1 Introduction -- 2 Knowledge-Driven Conversation -- 3 Crowdsourcing Mechanisms for the Run-Time Expansion of the Knowledge Base -- 4 Recognition of Relevant Concepts -- 4.1 Dialogflow: Agents and Intents -- 4.2 Dialogflow Agent Training -- 5 Experiment and Discussion -- 6 Conclusions -- References -- Natural Language for Artificial Intelligence -- Grounding Dialogue History: Strengths and Weaknesses of Pre-trained Transformers -- 1 Introduction -- 2 Related Work -- 3 Dataset -- 4 Models -- 4.1 Language-Only Encoders -- 4.2 Multimodal Encoders -- 5 Experiments -- 5.1 Task Success -- 5.2 Are Models Sensitive to the Strategy Seen During Training? -- 5.3 The Role of the Last Question -- 5.4 How Attention Is Distributed Across Turns -- 5.5 Qualitative Evaluation -- 5.6 Details for Reproducibility -- 6 Conclusion -- References -- Breaking Down High-Level Robot Path-Finding Abstractions in Natural Language Programming -- 1 Introduction -- 2 Previous Work -- 3 Problem Formulation and System Design -- 3.1 High-Level to Low-Level (HL2LL) System Overview -- 3.2 Map Representation -- 3.3 Lee's Algorithm and Its Adaption -- 3.4 Path Information Extraction for NLPr -- 3.5 Path to Low-Level Sentence -- 3.6 Generating Code from NL Specifications Using the NLPr System -- 3.7 Formal Validation Using HFSM -- 4 Experimental Results -- 4.1 Case Study -- 5 Future Work -- 6 Conclusion -- References -- Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion -- Interleaving Levels of Consistency Enforcement for Singleton Arc Consistency in CSPs, with a New Best (N)SAC Algorithm -- 1 Introduction -- 2 Background -- 2.1 General Concepts -- 2.2 (N)SAC Algorithms -- 3 To Interleave or Not: Some (N)SAC Variants. 4 (N)SAC with and Without AC: Initial Experiments -- 5 (N)SAC with and Without AC: More Extended Tests -- 6 Comparisons with an AC4-Style Interleaving Algorithm -- 7 Other Kinds of Interleaving -- 8 Conclusions -- References -- Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints -- 1 Introduction -- 2 Preliminaries -- 3 Avoiding Crossings -- 4 The Collected Data -- 5 Machine Learning the Goodness of Constraint Propagators -- 6 Experiments -- 6.1 Results of the Machine Learning Step -- 6.2 Results of the Overall Euclidean TSP Solver -- 7 Related Work -- 8 Conclusions and Future Work -- References -- From Contrastive to Abductive Explanations and Back Again -- 1 Introduction -- 2 Preliminaries -- 3 Contrastive vs. Abductive Explanations -- 3.1 Defining Abductive Explanations (AXps) -- 3.2 Defining Contrastive Explanations (CXps) -- 3.3 Relating Abductive and Contrastive Explanations -- 4 Extracting and Enumerating Explanations -- 5 Experimental Evaluation -- 5.1 Enumeration of CXps -- 5.2 Enumeration of CXps and AXps -- 6 Conclusions -- References -- Artificial Intelligence for an Ageing Society -- Towards Positive Artificial Intelligence -- 1 Introduction -- 2 Positive Psychology -- 3 Positive Technologies -- 4 Intelligent Agents -- 5 Positive Artificial Intelligence -- 5.1 Illustrative Scenario I: Improvements in Walking Experience for Elderly Pedestrians in Urban Roads -- 5.2 Illustrative Scenario II: Extended Interaction with Medical Devices for Treatment of Noncommunicable Diseases -- 6 Conclusion -- References -- Management at the Edge of Situation Awareness During Patient Telemonitoring -- 1 Introduction -- 2 Background and Related Work -- 3 Edge Computing Cognitive Architecture -- 3.1 System Architecture -- 3.2 CPAC: The Clinical Pathway Adherence Checker Module. 3.3 CPAD: The Clinical Pathway Anomaly Detection Module. |
| Record Nr. | UNINA-9910483466803321 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Declarative agent languages and technologies III : third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005 : selected and revised papers / / Matteo Baldoni ... [et al.] (eds.)
| Declarative agent languages and technologies III : third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005 : selected and revised papers / / Matteo Baldoni ... [et al.] (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (XII, 248 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | BaldoniMatteo <1968-> |
| Collana |
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in computer science,Lecture notes in artificial intelligence |
| Soggetto topico |
Programming languages (Electronic computers)
Declarative programming Intelligent agents (Computer software) |
| ISBN | 3-540-33107-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agent Programming and Beliefs -- Beliefs in Agent Implementation -- Modelling Uncertainty in Agent Programming -- Complete Axiomatizations of Finite Syntactic Epistemic States -- Architectures and Logic Programming -- An Architecture for Rational Agents -- LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming -- A Distributed Architecture for Norm-Aware Agent Societies -- About Declarative Semantics of Logic-Based Agent Languages -- Knowledge Representation and Reasoning -- Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour -- Resource-Bounded Belief Revision and Contraction -- Agent-Oriented Programming with Underlying Ontological Reasoning -- Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains -- A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results -- Coordination and Model Checking -- An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents -- A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication. |
| Altri titoli varianti |
Declarative agent languages and technologies 3
DALT 2005 |
| Record Nr. | UNINA-9910768467503321 |
| Berlin ; ; New York, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Declarative Agent Languages and Technologies IV : 4th international workshop, DALT 2006, Hakodate, Japan, May 8, 2006 : selected, revised and invited papers / / Matteo Baldoni, Ulle Endriss (eds.)
| Declarative Agent Languages and Technologies IV : 4th international workshop, DALT 2006, Hakodate, Japan, May 8, 2006 : selected, revised and invited papers / / Matteo Baldoni, Ulle Endriss (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (VIII, 268 p.) |
| Disciplina | 055.13/1 |
| Altri autori (Persone) |
BaldoniMatteo <1968->
EndrissUlle |
| Collana |
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in computer science,Lecture notes in artificial intelligence |
| Soggetto topico |
Programming languages (Electronic computers)
Declarative programming Intelligent agents (Computer software) |
| ISBN | 3-540-68961-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Producing Compliant Interactions: Conformance, Coverage, and Interoperability -- Invited Papers -- Towards Theory Translation -- The Complexity of Model Checking Concurrent Programs Against CTLK Specifications -- Dynamic Model Checking for Multi-agent Systems -- Contributed Papers -- Automating Belief Revision for AgentSpeak -- A Foundational Ontology of Organizations and Roles -- When Agents Communicate Hypotheses in Critical Situations -- A Fibred Tableau Calculus for Modal Logics of Agents -- Programming Declarative Goals Using Plan Patterns -- JADL – An Agent Description Language for Smart Agents -- Agreeing on Defeasible Commitments -- A Dynamic Logic Programming Based System for Agents with Declarative Goals -- A Collaborative Framework to Realize Virtual Enterprises Using 3APL -- A Modeling Framework for Generic Agent Interaction Protocols -- Plan Generation and Plan Execution in Agent Programming -- A Functional Program for Agents, Actions, and Deontic Specifications. |
| Altri titoli varianti | DALT 2006 |
| Record Nr. | UNINA-9910483038003321 |
| Berlin ; ; New York, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Declarative agent languages and technologies V : 5th international workshop, DALT 2007, Honolulu, Hawaii, USA, May 14, 2007 : revised, selected, and invited papers / / Matteo Baldoni (editors)
| Declarative agent languages and technologies V : 5th international workshop, DALT 2007, Honolulu, Hawaii, USA, May 14, 2007 : revised, selected, and invited papers / / Matteo Baldoni (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (X, 248 p.) |
| Disciplina | 006.3 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Intelligent agents (Computer software)
Programming languages (Electronic computers) Declarative programming |
| ISBN | 3-540-77564-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Agent-Oriented Modelling: Declarative or Procedural? -- Invited Papers -- Joint Conversation Specification and Compliance -- Interoperation in Protocol Enactment -- Contributed Papers: Modeling -- Integrating Agent Models and Dynamical Systems -- Contributed Papers: Goals -- Composing High-Level Plans for Declarative Agent Programming -- Satisfying Maintenance Goals -- Towards Alternative Approaches to Reasoning About Goals -- Contributed Papers: Foundational Concepts -- Reflections on Agent Beliefs -- Modeling Agents’ Choices in Temporal Linear Logic -- Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints -- On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition -- Contributed Papers: Communication -- Structured Argumentation in a Mediator for Online Dispute Resolution -- Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation -- Component-Based Standardisation of Agent Communication. |
| Record Nr. | UNINA-9910483487103321 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Declarative agent languages and technologies V : 5th international workshop, DALT 2007, Honolulu, Hawaii, USA, May 14, 2007 : revised, selected, and invited papers / / Matteo Baldoni (editors)
| Declarative agent languages and technologies V : 5th international workshop, DALT 2007, Honolulu, Hawaii, USA, May 14, 2007 : revised, selected, and invited papers / / Matteo Baldoni (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (X, 248 p.) |
| Disciplina | 006.3 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Intelligent agents (Computer software)
Programming languages (Electronic computers) Declarative programming |
| ISBN | 3-540-77564-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Agent-Oriented Modelling: Declarative or Procedural? -- Invited Papers -- Joint Conversation Specification and Compliance -- Interoperation in Protocol Enactment -- Contributed Papers: Modeling -- Integrating Agent Models and Dynamical Systems -- Contributed Papers: Goals -- Composing High-Level Plans for Declarative Agent Programming -- Satisfying Maintenance Goals -- Towards Alternative Approaches to Reasoning About Goals -- Contributed Papers: Foundational Concepts -- Reflections on Agent Beliefs -- Modeling Agents’ Choices in Temporal Linear Logic -- Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints -- On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition -- Contributed Papers: Communication -- Structured Argumentation in a Mediator for Online Dispute Resolution -- Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation -- Component-Based Standardisation of Agent Communication. |
| Record Nr. | UNISA-996465980603316 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Declarative agent languages and technologies VI : 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008, revised selected and invited papers / / Matteo Baldoni ... [et al.] (eds.)
| Declarative agent languages and technologies VI : 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008, revised selected and invited papers / / Matteo Baldoni ... [et al.] (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | New York, : Springer, 2009 |
| Descrizione fisica | 1 online resource (X, 251 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | BaldoniMatteo <1968-> |
| Collana | Lecture notes in computer science,Lecture notes in artificial intelligence |
| Soggetto topico |
Programming languages (Electronic computers)
Declarative programming Intelligent agents (Computer software) |
| ISBN | 3-540-93920-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Specifying and Enforcing Norms in Artificial Institutions -- Social Norm Emergence in Virtual Agent Societies -- A Distributed Normative Infrastructure for Situated Multi-agent Organisations -- Contributed Papers -- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications -- Combining Multiple Knowledge Representation Technologies into Agent Programming Languages -- Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions -- JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies -- Leveraging New Plans in AgentSpeak(PL) -- Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading -- Inductive Negotiation in Answer Set Programming -- Mental State Abduction of BDI-Based Agents -- Iterated Belief Revision in the Face of Uncertain Communication -- Abstracting and Verifying Strategy-Proofness for Auction Mechanisms -- Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming -- Strategic Agent Communication: An Argumentation-Driven Approach. |
| Altri titoli varianti | DALT 2008 |
| Record Nr. | UNINA-9910483414503321 |
| New York, : Springer, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Declarative agent languages and technologies VII : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009, revised selected and invited papers / / Matteo Baldoni ... [et al.] (eds.)
| Declarative agent languages and technologies VII : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009, revised selected and invited papers / / Matteo Baldoni ... [et al.] (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer-Verlag, c2010 |
| Descrizione fisica | 1 online resource (XII, 263 p.) |
| Disciplina | 005.13 |
| Altri autori (Persone) | BaldoniMatteo <1968-> |
| Collana | Lecture notes in artificial intelligence |
| Soggetto topico |
Declarative programming languages
High-level programming languages |
| ISBN |
1-280-38543-X
9786613563354 3-642-11355-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Playing with Rules -- Invited Papers -- The Refinement of Choreographed Multi-Agent Systems -- Goal Generation from Possibilistic Beliefs Based on Trust and Distrust -- Monitoring Directed Obligations with Flexible Deadlines: A Rule-Based Approach -- Contributed Papers -- Unifying the Intentional and Institutional Semantics of Speech Acts -- Tableaux for Acceptance Logic -- Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology -- Prioritized Goals and Subgoals in a Logical Account of Goal Change – A Preliminary Report -- Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks -- Computing Utility from Weighted Description Logic Preference Formulas -- Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games -- Correctness Properties for Multiagent Systems -- Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming -- Social Commitments in Time: Satisfied or Compensated -- Verifying Dribble Agents. |
| Record Nr. | UNINA-9910484908303321 |
| Berlin ; ; Heidelberg, : Springer-Verlag, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering multi-agent systems : 9th international workshop, EMAS 2021, virtual event, May 3-4, 2021, revised selected papers / / edited by Natasha Alechina, Matteo Baldoni, and Brian Logan
| Engineering multi-agent systems : 9th international workshop, EMAS 2021, virtual event, May 3-4, 2021, revised selected papers / / edited by Natasha Alechina, Matteo Baldoni, and Brian Logan |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (392 pages) |
| Disciplina | 006.30285436 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Multiagent systems
Artificial intelligence |
| ISBN | 3-030-97457-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464451603316 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Engineering multi-agent systems : 9th international workshop, EMAS 2021, virtual event, May 3-4, 2021, revised selected papers / / edited by Natasha Alechina, Matteo Baldoni, and Brian Logan
| Engineering multi-agent systems : 9th international workshop, EMAS 2021, virtual event, May 3-4, 2021, revised selected papers / / edited by Natasha Alechina, Matteo Baldoni, and Brian Logan |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (392 pages) |
| Disciplina | 006.30285436 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Multiagent systems
Artificial intelligence |
| ISBN | 3-030-97457-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910552713703321 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||