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.
Agent Computing and Multi-Agent Systems [[electronic resource] ] : 10th Pacific Rim International Conference on Multi-Agent Systems, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007, Revised Papers / / edited by Aditya Ghose, Guido Governatori, Ramakoti Sadananda
| Agent Computing and Multi-Agent Systems [[electronic resource] ] : 10th Pacific Rim International Conference on Multi-Agent Systems, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007, Revised Papers / / edited by Aditya Ghose, Guido Governatori, Ramakoti Sadananda |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XVI, 480 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computer logic Algorithms Artificial Intelligence Computer Communication Networks Software Engineering Logics and Meanings of Programs Algorithm Analysis and Problem Complexity |
| ISBN | 3-642-01639-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Existence of Risk Strategy Equilibrium in Games Having No Pure Strategy Nash Equilibrium -- Multiagent Planning with Trembling-Hand Perfect Equilibrium in Multiagent POMDPs -- MAGEFRAME: A Modular Agent Framework to Support Various Communication Schemas Based on a Self-embedding Algorithm -- Using Multiagent System to Build Structural Earth Model -- Agent-Supported Protein Structure Similarity Searching -- Merging Roles in Coordination and in Agent Deliberation -- Planning Actions with Social Consequences -- Layered Cooperation of Macro Agents and Micro Agents in Cooperative Active Contour Model -- Contextual Agent Deliberation in Defeasible Logic -- Real-Time Moving Target Search -- Formalizing Excusableness of Failures in Multi-Agent Systems -- Design and Implementation of Security Mechanisms for a Hierarchical Community-Based Multi-Agent System -- A Need for Biologically Inspired Architectural Description: The Agent Ontogenesis Case -- Multi-Agent Based Web Search with Heterogeneous Semantics -- Reasoning about Norms, Obligations, Time and Agents -- An Agent Modeling Method Based on Scenario Rehearsal for Multiagent Simulation -- Fast Partial Reallocation in Combinatorial Auctions for Iterative Resource Allocation -- Deliberation Process in a BDI Model with Bayesian Networks -- An Asymmetric Protocol for Argumentation Games in Defeasible Logic -- On the Design of Interface Agents for a DRT Transportation System -- Supporting Requirements Analysis in Tropos: A Planning-Based Approach -- Towards Method Engineering for Multi-Agent Systems: A Validation of a Generic MAS Metamodel -- Entrainment in Human-Agent Text Communication -- A Driver Modeling Methodology Using Hypothetical Reasoning for Multiagent Traffic Simulation -- Analysis of Pedestrian Navigation Using Cellular Phones -- Identifying Structural Changes in Networks Generated from Agent-Based Social Simulation Models -- Multi-agent Simulation of Linguistic Processes: A NEPs Perspective -- A 3D Conversational Agent for Presenting Digital Information for Deaf People -- Multiagent-Based Defensive Strategy System for Military Simulation -- Achieving DRBAC Authorization in Multi-trust Domains with MAS Architecture and PMI -- When and How to Smile: Emotional Expression for 3D Conversational Agents -- GAMA: An Environment for Implementing and Running Spatially Explicit Multi-agent Simulations -- Multi-agent Based Incineration Process Control System with Qualitative Model -- Engineering Adaptive Multi-Agent Systems with ODAM Methodology -- Integrating Agent Technology and SIP Technology to Develop Telecommunication Applications with JadexT -- A Generic Distributed Algorithm for Computing by Random Mobile Agents -- Coalition Structure Generation in Task-Based Settings Based on Cardinality Structure -- A Specialised Architecture for Embedding Trust Evaluation Capabilities in Intelligent Mobile Agents -- Reasoning with Levels of Modalities in BDI Logic -- A Distributed Computational Model for Mobile Agents -- Belief-Based Stability in Non-transferable Utility Coalition Formation -- Déjà Vu: Social Network Agents for Personal Impression Management -- Agent Dialogue as Partial Argumentation and Its Fixpoint Semantics -- Developing Knowledge Models for Multi-agent Mediator Systems -- A Game Theoretic Approach for Deploying Intrusion Detection Agent -- Double Token-Ring and Region-Tree Based Group Communication Mechanism for Mobile Agent -- Towards Culturally-Situated Agent Which Can Detect Cultural Differences -- Ontology-Based Emotion System for Digital Environment -- An Agent Approach for Distributed Job-Shop Scheduling. |
| Record Nr. | UNISA-996466016203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Agent Computing and Multi-Agent Systems [[electronic resource] ] : 10th Pacific Rim International Conference on Multi-Agent Systems, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007, Revised Papers / / edited by Aditya Ghose, Guido Governatori, Ramakoti Sadananda
| Agent Computing and Multi-Agent Systems [[electronic resource] ] : 10th Pacific Rim International Conference on Multi-Agent Systems, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007, Revised Papers / / edited by Aditya Ghose, Guido Governatori, Ramakoti Sadananda |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XVI, 480 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computer logic Algorithms Artificial Intelligence Computer Communication Networks Software Engineering Logics and Meanings of Programs Algorithm Analysis and Problem Complexity |
| ISBN | 3-642-01639-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Existence of Risk Strategy Equilibrium in Games Having No Pure Strategy Nash Equilibrium -- Multiagent Planning with Trembling-Hand Perfect Equilibrium in Multiagent POMDPs -- MAGEFRAME: A Modular Agent Framework to Support Various Communication Schemas Based on a Self-embedding Algorithm -- Using Multiagent System to Build Structural Earth Model -- Agent-Supported Protein Structure Similarity Searching -- Merging Roles in Coordination and in Agent Deliberation -- Planning Actions with Social Consequences -- Layered Cooperation of Macro Agents and Micro Agents in Cooperative Active Contour Model -- Contextual Agent Deliberation in Defeasible Logic -- Real-Time Moving Target Search -- Formalizing Excusableness of Failures in Multi-Agent Systems -- Design and Implementation of Security Mechanisms for a Hierarchical Community-Based Multi-Agent System -- A Need for Biologically Inspired Architectural Description: The Agent Ontogenesis Case -- Multi-Agent Based Web Search with Heterogeneous Semantics -- Reasoning about Norms, Obligations, Time and Agents -- An Agent Modeling Method Based on Scenario Rehearsal for Multiagent Simulation -- Fast Partial Reallocation in Combinatorial Auctions for Iterative Resource Allocation -- Deliberation Process in a BDI Model with Bayesian Networks -- An Asymmetric Protocol for Argumentation Games in Defeasible Logic -- On the Design of Interface Agents for a DRT Transportation System -- Supporting Requirements Analysis in Tropos: A Planning-Based Approach -- Towards Method Engineering for Multi-Agent Systems: A Validation of a Generic MAS Metamodel -- Entrainment in Human-Agent Text Communication -- A Driver Modeling Methodology Using Hypothetical Reasoning for Multiagent Traffic Simulation -- Analysis of Pedestrian Navigation Using Cellular Phones -- Identifying Structural Changes in Networks Generated from Agent-Based Social Simulation Models -- Multi-agent Simulation of Linguistic Processes: A NEPs Perspective -- A 3D Conversational Agent for Presenting Digital Information for Deaf People -- Multiagent-Based Defensive Strategy System for Military Simulation -- Achieving DRBAC Authorization in Multi-trust Domains with MAS Architecture and PMI -- When and How to Smile: Emotional Expression for 3D Conversational Agents -- GAMA: An Environment for Implementing and Running Spatially Explicit Multi-agent Simulations -- Multi-agent Based Incineration Process Control System with Qualitative Model -- Engineering Adaptive Multi-Agent Systems with ODAM Methodology -- Integrating Agent Technology and SIP Technology to Develop Telecommunication Applications with JadexT -- A Generic Distributed Algorithm for Computing by Random Mobile Agents -- Coalition Structure Generation in Task-Based Settings Based on Cardinality Structure -- A Specialised Architecture for Embedding Trust Evaluation Capabilities in Intelligent Mobile Agents -- Reasoning with Levels of Modalities in BDI Logic -- A Distributed Computational Model for Mobile Agents -- Belief-Based Stability in Non-transferable Utility Coalition Formation -- Déjà Vu: Social Network Agents for Personal Impression Management -- Agent Dialogue as Partial Argumentation and Its Fixpoint Semantics -- Developing Knowledge Models for Multi-agent Mediator Systems -- A Game Theoretic Approach for Deploying Intrusion Detection Agent -- Double Token-Ring and Region-Tree Based Group Communication Mechanism for Mobile Agent -- Towards Culturally-Situated Agent Which Can Detect Cultural Differences -- Ontology-Based Emotion System for Digital Environment -- An Agent Approach for Distributed Job-Shop Scheduling. |
| Record Nr. | UNINA-9910484570403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agents in Principle, Agents in Practice [[electronic resource] ] : 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011, Proceedings / / edited by David Kinny, Jane Yung-jen Hsu, Guido Governatori, Aditya Ghose
| Agents in Principle, Agents in Practice [[electronic resource] ] : 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011, Proceedings / / edited by David Kinny, Jane Yung-jen Hsu, Guido Governatori, Aditya Ghose |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XIII, 534 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Computer simulation Software engineering Information storage and retrieval User interfaces (Computer systems) Artificial Intelligence Computer Communication Networks Simulation and Modeling Software Engineering Information Storage and Retrieval User Interfaces and Human Computer Interaction |
| ISBN | 3-642-25044-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Title -- Preface -- Organization -- Table of Contents -- Invited Talks -- Game Theory for Security: Lessons Learned from Deployed Applications -- Tools for a Robust, Sustainable Agent Community -- From Notions to Models and Back Again, Again -- References -- Full Papers -- Coalitions and Teamwork -- A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams -- Introduction -- Preliminaries -- Coalitional Games -- SCG -- BDD and ZDD -- New Concise Representation Scheme -- MTZDD Representation Based on SCG -- Conciseness of MTZDD Representation -- Procedure of Constructing a MTZDD Representation -- Coalition Structure Generation -- Core-Related Problems -- Core-Non-emptiness -- Core-Membership -- The Cost of Stability -- Experimental Simulations -- Conclusion -- References -- Environment Characterization for Non-recontaminating Frontier-Based Robotic Exploration -- Introduction -- Related Work -- Problem Formulation -- Environment Analysis -- Environment Geometry -- Exploration Model -- Topology Tree -- Exploration Rules -- Environment Bounds -- Optimal Pursuit Strategy -- Conclusion -- References -- Learning -- Aspects of Active Norm Learning and the Effect of Lying on Norm Emergence in Agent Societies -- Introduction -- Background -- Approaches to the Learning of Norms -- Aspects of Active Learning of Agents -- Comparing Different Combinations of Learning -- The Need for Integrating the Three Aspects of Learning -- Lying in Agent Societies -- Impact of Lying When Observational and Communication-Based Learning Is Used -- Impact of Lying When All the Three Aspects of Learning Are Considered -- Discussion -- Conclusion -- References -- Mechanisms and Voting -- Strategy-Proof Mechanisms for Interdependent Task Allocation with Private Durations -- Introduction.
Task Allocation and Preliminary Concepts -- Non-Negative ITA Mechanisms -- Non-profitable NN-ITA -- Profitable NN-ITA -- Interdependent Task Allocation Mechanisms -- Discussion and Related Work -- Conclusions and Future Work -- References -- Costly Voting with Sequential Participation -- Introduction -- Related Work -- Model -- Model of Voting -- Voting Mechanisms -- Optimal Voting Strategies in the m Votes to Win Mechanism -- Efficiency of the Voting Mechanisms -- Experimental Setup -- Experimental Results -- Discussions -- Concluding Remarks -- References -- Modelling and Simulation -- An Agent-Based Model for Integrated Contagion and Regulation of Negative Mood -- Introduction -- Mood Contagion and Regulation -- The Agent-Based Model -- Norm Values -- The Dynamics of Mood Contagion and Emotional Regulation -- Simulation Results -- Mathematical Analysis -- Discussion -- References -- A Framework for Agent-Based Modeling of Intelligent Goods -- Introduction -- Intelligent Goods -- Definition -- Capability Dependencies -- Services -- Agents -- Information Entities -- Single Agents -- Multiple Agents -- Locations of Agents -- Conclusions -- References -- Multi-Agent Systems for Biomedical Simulation: Modeling Vascularization of Porous Scaffolds -- Introduction -- Use of Agents in Biological Systems -- Agent-Based Modeling of Angiogenesis -- Angiogenesis -- Model Description -- Computational Challenges -- Simulation Results -- Conclusions -- References -- Group Abstraction for Large-Scale Agent-Based Social Diffusion Models with Unaffected Agents -- Introduction -- A Collective Decision Making Model -- Two Methods for Group Abstraction -- Abstraction by Weighted Averaging -- Abstraction by Determining Equilibria -- Simulation -- Evaluation of the Two Abstraction Methods -- Time Complexity Results -- Approximation Errors -- Discussion -- Conclusions. References -- Negotiation -- Towards a Quantitative Concession-Based Classification Method of Negotiation Strategies -- Introduction -- Concession Making in Negotiation -- Negotiation Model -- Concession Rate -- Method -- Experiments -- Detailed Experimental Setup -- Experimental Results -- Discussion -- Clustering -- Four Negotiation Orientations -- Related Work -- Conclusion and Future Work -- References -- Consensus Policy Based Multi-agent Negotiation -- Introduction -- The Mediation Protocol -- Generalized Pattern Search Algorithm for Unconstrained Optimization -- Basic Operation of the Negotiation Protocol -- The Aggregation of Preferences -- OWA Operators -- Quantifier Guided Aggregation -- The Search Process -- Preferred Contract Selection in the Search Process -- Experimental Evaluation -- Conclusion -- References -- Optimization -- Distributed Lagrangian Relaxation Protocol for the Over-constrained Generalized Mutual Assignment Problem -- Introduction -- Generalized Mutual Assignment Problem -- Solutions for the Over-constrained Problem -- DisLRP with a Disposal Agent -- DisLRP with Inequality-Based Formulation -- Experiments -- Conclusion -- References -- The Effect of Congestion Frequency and Saturation on Coordinated Traffic Routing -- Introduction -- Background -- Modeling Traffic as a Constraint Optimization Problem -- Coordinated Routing -- Centralized -- Decentralized -- Simulator and Experimentation Setup -- Results -- Conclusion -- References -- Sustainability -- Coordination, Conventions and the Self-organisation of Sustainable Institutions -- Introduction -- Background -- Self-governing Institutions -- Institutionalised Power and Roles -- Dynamic Specifications -- Linear Public Good (LPG) Game -- Formal Characterisation -- Methodology -- Institutions as Dynamic Specifications -- Formal Model -- Action Language Specification. Fluents (Institutional Facts) -- Member Role Assignment (ocr1) -- Member Exclusion (ocr2) -- Specification Space -- Experimental Results -- Testbed Implementation -- Agent Strategies -- Evaluation -- Related and Further Work -- Summary and Conclusions -- References -- An Agent-Based Extensible Climate Control S ystem for Sustainable Greenhouse Production -- Introduction -- Greenhouse Climate Control Setup -- Requirements in Greenhouse Climate Control -- Multi-Agent-Based Control System -- Negotiation-Based Coordination -- Experimental Validation -- Related Work -- Future Work -- Conclusion -- References -- Applications -- ACTraversal: Ranking Crowdsourced Commonsense Assertions and Certifications -- Introduction -- Approaches to Knowledge Verification -- ACTraversal -- Data Structure -- ACTraversal Algorithm -- Implementation -- Components -- Single Component Ranking -- Multiple Components Aggregation -- Discussion -- Conclusion -- References -- Automated Adaptation of Strategic Guidance in Multiagent Coordination -- Introduction -- Motivation -- Approach -- Problem Formulation -- Strategies -- Executing Strategies -- Evaluation -- Related Work -- Conclusions and Future Work -- References -- Early Innovation Papers -- Agent Societies and Frameworks -- Weaving a Fabric of Socially Aware Agents -- Introduction -- Social Intelligence -- Languages -- Roles and Relationships -- Interaction and Communication -- Conversations and Scenes -- Weaving the Society -- State of an Open System -- Agent Processes -- Making a Move in Group Interaction -- Conclusion -- References -- Dynamic Ad Hoc Coordination of Distributed Tasks Using Micro-Agents -- Introduction -- Android and -Agents -- Android Application Components -- Modelling Constraints of Android Application Components -- -Agents -- Integrating -Agents with Android. Mobile App. for Ad Hoc Meetings at Unconferences -- Application Context -- Mobile App. for Ad Hoc Organisation of Spontaneous Talks -- Related Work -- Conclusion -- References -- Programming Dynamics of Multi-Agent Systems -- Introduction -- Dynamics in MAS and Challenges to Construct -- Categories of Dynamics in MAS -- An Example: Cooperative Robotic for Airport Sanitary Maintenance -- Software Engineering Issues to Develop Dynamic MAS -- An Organization-Based Approach to Programming Dynamic of MAS -- A Core Dynamic Organization Programming Model -- Programming Mechanisms for Dynamics -- An Organization-Based Language for Programming Dynamics -- Case Study -- Related Works -- Conclusions and Future Researches -- References -- Capability Modeling of Knowledge-Based Agents for Commonsense Knowledge Integration -- Introduction -- Commonsense Knowledge Bases -- Knowledge Representation -- Commonsense Knowledge Collection -- Commonsense Reasoning -- Commonsense Knowledge Integration -- Multi-agent Framework -- Challenges -- Related Work -- Capability Model -- Representation of Capability Model -- Notations -- Capability Modeling: Choosing the Best k -- Capability Evaluation for Matchmaking -- Evaluation -- Experimental Setup -- Experimental Result -- Conclusion -- References -- Producing Enactable Protocols in Artificial Agent Societies -- Introduction -- Bisimulation -- The Netbill Protocol -- Producing the Final Enactable Protocol -- Protocol Repair -- Related Work -- Conclusion -- References -- Argumentation -- Argumentation Schemes for Collaborative Planning -- Introduction -- Deliberative Dialogue -- A Model of Plans -- Argumentation -- Example -- Discussion and Conclusions -- References -- Preference-Based Argumentation Handling Dynamic Preferences Built on Prioritized Logic Programming -- Introduction -- Preliminaries. Prioritized Logic Programs and Preferred Answer Sets. |
| Record Nr. | UNISA-996465938803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Logic in Multi-Agent Systems [[electronic resource] ] : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings / / edited by Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori
| Computational Logic in Multi-Agent Systems [[electronic resource] ] : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings / / edited by Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (228 p. 50 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Software engineering Programming languages (Electronic computers) Computer logic Artificial Intelligence Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| Soggetto genere / forma | Conference proceedings. |
| ISBN | 3-642-32897-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report -- Multi-agent Only-Knowing -- Logics for Reasoning about Agents’ Attitudes in Strategic Contexts -- A Time-Situated Meta-logic for Characterizing Goal-Processing Bounded Agents -- Distributed Defeasible Speculative Reasoning in Ambient Environment -- A Formal Semantics for Agent (Re)Organization -- Epistemic ATL with Perfect Recall, Past and Strategy Contexts -- Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters -- Enhancing Goal-Based Requirements Consistency: An Argumentation-Based Approach -- A Game Theoretic Approach for Optimal Network Topologies in Opportunistic Networks -- MKNF Knowledge Bases in Multi-Context Systems -- Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning -- Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation -- A Numerical Approach to the Merging of Argumentation Networks. |
| Record Nr. | UNISA-996465273303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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] ] : 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. | UNINA-9910484533003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Deontic Logic in Computer Science [[electronic resource] ] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings / / edited by Guido Governatori, Giovanni Sartor
| Deontic Logic in Computer Science [[electronic resource] ] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings / / edited by Guido Governatori, Giovanni Sartor |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (VIII, 323 p. 33 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Programming languages (Electronic computers) Mathematical logic Computer science—Mathematics Computers Artificial Intelligence Programming Techniques Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science Computation by Abstract Devices |
| ISBN |
1-280-38774-2
9786613565662 3-642-14183-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From Norm Adoption to Norm Internalization -- Norms, Action and Agency in Multi-agent Systems -- Towards a Logical Analysis of the Judgment on Facts -- Deontic Redundancy: A Fundamental Challenge for Deontic Logic -- A Dyadic Operator for the Gradation of Desirability -- Deontics = Betterness + Priority -- Axioms for Obligation and Robustness with Temporal Logic -- Moral Particularism and Deontic Logic -- Relevance, Derogation and Permission -- Retroactive Legal Changes and Revision Theory in Defeasible Logic -- Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra -- Avoiding Deontic Explosion by Contextually Restricting Aggregation -- Obligations and Prohibitions in Talmudic Deontic Logic -- Introducing Exclusion Logic as a Deontic Logic -- Privacy Policies with Modal Logic: The Dynamic Turn -- Value-Based Argumentation for Justifying Compliance -- A Logical Model of Private International Law -- Where Did Mally Go Wrong? -- Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents -- Characterising Responsibility in Organisational Structures: The Problem of Many Hands -- A Logical Analysis of Commitment Dynamics -- Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems. |
| Record Nr. | UNISA-996465856303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Deontic Logic in Computer Science [[electronic resource] ] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings / / edited by Guido Governatori, Giovanni Sartor
| Deontic Logic in Computer Science [[electronic resource] ] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings / / edited by Guido Governatori, Giovanni Sartor |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (VIII, 323 p. 33 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Programming languages (Electronic computers) Mathematical logic Computer science—Mathematics Computers Artificial Intelligence Programming Techniques Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science Computation by Abstract Devices |
| ISBN |
1-280-38774-2
9786613565662 3-642-14183-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From Norm Adoption to Norm Internalization -- Norms, Action and Agency in Multi-agent Systems -- Towards a Logical Analysis of the Judgment on Facts -- Deontic Redundancy: A Fundamental Challenge for Deontic Logic -- A Dyadic Operator for the Gradation of Desirability -- Deontics = Betterness + Priority -- Axioms for Obligation and Robustness with Temporal Logic -- Moral Particularism and Deontic Logic -- Relevance, Derogation and Permission -- Retroactive Legal Changes and Revision Theory in Defeasible Logic -- Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra -- Avoiding Deontic Explosion by Contextually Restricting Aggregation -- Obligations and Prohibitions in Talmudic Deontic Logic -- Introducing Exclusion Logic as a Deontic Logic -- Privacy Policies with Modal Logic: The Dynamic Turn -- Value-Based Argumentation for Justifying Compliance -- A Logical Model of Private International Law -- Where Did Mally Go Wrong? -- Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents -- Characterising Responsibility in Organisational Structures: The Problem of Many Hands -- A Logical Analysis of Commitment Dynamics -- Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems. |
| Record Nr. | UNINA-9910484633103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Legal knowledge and information systems : JURIX 2009, the twenty-second annual conference / / edited by Guido Governatori
| Legal knowledge and information systems : JURIX 2009, the twenty-second annual conference / / edited by Guido Governatori |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC : , : IOS Press, , [2009] |
| Descrizione fisica | 1 online resource (204 p.) |
| Disciplina |
343.09
343.0999 |
| Altri autori (Persone) | GovernatoriGuido |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Artificial intelligence
Information storage and retrieval systems - Law Law - Methodology - Automation |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-60750-518-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Preface; Contents; Adding Structure to Semi-Structured Documents; XDTD as a Simple Validation Language for XML-Based Legal Documents; A Case Study of Hypothetical and Value-Based Reasoning in US Supreme-Court Cases; Five Guidelines for Normative Multiagent Systems; MetaLex Naming Conventions and the Semantic Web; Rule-Based Versus Principle-Based Regulatory Compliance; The Legal Precedent in Online Dispute Resolution; Emerald: Legal Knowledge Engineering Using OWL and Rules; An Approach to Legal Rules Modelling and Automatic Learning
Best Portal: Lessons Learned in Lightweight Semantic Access to Court Proceedings Link Analysis of Fuel Laundering Scams and Implications of Results for Scheme Understanding and Prosecutor Strategy; Conceptions of Vagueness in Subjective Probability for Evidential Reasoning; An Ontology for the Implementation of the EU Services Directive; Argument Diagramming and Diagnostic Reliability; Automated Handling of Amending Documents and Resulting Consolidations; Nice and Nasty Lawyers, Is the Legal System to Blame? Agent-Based Simulation Insights Exploiting Properties of Legislative Texts to Improve Classification Accuracy Legal Change Management with a Native XML Repository; STIA: Experience of Semantic Annotation in Jurisprudence Domain; Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming; Generating Cases for E-Learning; Dealing with Changes to Legislation in Networked Environments; Previous Publications by JURIX; Contact Information on JURIX; Subject Index; Author Index |
| Altri titoli varianti | JURIX 2009, the twenty-second annual conference |
| Record Nr. | UNINA-9910463386103321 |
| Amsterdam ; ; Washington, DC : , : IOS Press, , [2009] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Legal knowledge and information systems : JURIX 2009, the twenty-second annual conference / / edited by Guido Governatori
| Legal knowledge and information systems : JURIX 2009, the twenty-second annual conference / / edited by Guido Governatori |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC : , : IOS Press, , [2009] |
| Descrizione fisica | 1 online resource (204 p.) |
| Disciplina |
343.09
343.0999 |
| Altri autori (Persone) | GovernatoriGuido |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Artificial intelligence
Information storage and retrieval systems - Law Law - Methodology - Automation |
| ISBN | 1-60750-518-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Preface; Contents; Adding Structure to Semi-Structured Documents; XDTD as a Simple Validation Language for XML-Based Legal Documents; A Case Study of Hypothetical and Value-Based Reasoning in US Supreme-Court Cases; Five Guidelines for Normative Multiagent Systems; MetaLex Naming Conventions and the Semantic Web; Rule-Based Versus Principle-Based Regulatory Compliance; The Legal Precedent in Online Dispute Resolution; Emerald: Legal Knowledge Engineering Using OWL and Rules; An Approach to Legal Rules Modelling and Automatic Learning
Best Portal: Lessons Learned in Lightweight Semantic Access to Court Proceedings Link Analysis of Fuel Laundering Scams and Implications of Results for Scheme Understanding and Prosecutor Strategy; Conceptions of Vagueness in Subjective Probability for Evidential Reasoning; An Ontology for the Implementation of the EU Services Directive; Argument Diagramming and Diagnostic Reliability; Automated Handling of Amending Documents and Resulting Consolidations; Nice and Nasty Lawyers, Is the Legal System to Blame? Agent-Based Simulation Insights Exploiting Properties of Legislative Texts to Improve Classification Accuracy Legal Change Management with a Native XML Repository; STIA: Experience of Semantic Annotation in Jurisprudence Domain; Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming; Generating Cases for E-Learning; Dealing with Changes to Legislation in Networked Environments; Previous Publications by JURIX; Contact Information on JURIX; Subject Index; Author Index |
| Altri titoli varianti | JURIX 2009, the twenty-second annual conference |
| Record Nr. | UNINA-9910788202103321 |
| Amsterdam ; ; Washington, DC : , : IOS Press, , [2009] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
