Ambient Intelligence [[electronic resource] ] : 14th European Conference, AmI 2018, Larnaca, Cyprus, November 12-14, 2018, Proceedings / / edited by Achilles Kameas, Kostas Stathis |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XII, 233 p. 92 illus.) |
Disciplina | 004 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Artificial intelligence Computer communication systems Special purpose computers User interfaces (Computer systems) Information Systems Applications (incl. Internet) Artificial Intelligence Computer Communication Networks Special Purpose and Application-Based Systems User Interfaces and Human Computer Interaction |
ISBN | 3-030-03062-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Ambient Services and Smart Environments -- Sensor Networks and Artificial Intelligence -- Activity and Situation Recognition -- Ambient Intelligence in Education. |
Record Nr. | UNISA-996466450403316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Ambient Intelligence : 14th European Conference, AmI 2018, Larnaca, Cyprus, November 12-14, 2018, Proceedings / / edited by Achilles Kameas, Kostas Stathis |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XII, 233 p. 92 illus.) |
Disciplina |
004
004.019 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Artificial intelligence Computer communication systems Special purpose computers User interfaces (Computer systems) Information Systems Applications (incl. Internet) Artificial Intelligence Computer Communication Networks Special Purpose and Application-Based Systems User Interfaces and Human Computer Interaction |
ISBN | 3-030-03062-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Ambient Services and Smart Environments -- Sensor Networks and Artificial Intelligence -- Activity and Situation Recognition -- Ambient Intelligence in Education. |
Record Nr. | UNINA-9910349398203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Coordination, Organizations, Institutions, and Norms in Agent Systems V [[electronic resource] ] : COIN 2009 International Workshops: COIN@AAMAS 2009 Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, USA, July 2009, COIN@MALLOW 2009,Turin, Italy, September 2009, Revised Selected Papers / / edited by Julian Padget, Alexander Artikis, Wamberto Vasconcelos, Kostas Stathis, Viviane Torres da Silva, Eric T Matson, Axel Polleres |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XVIII, 335 p. 103 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Application software User interfaces (Computer systems) Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Information Systems Applications (incl. Internet) Software Engineering User Interfaces and Human Computer Interaction |
ISBN | 3-642-14962-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Building and Managing Organizations -- Conditional Dependence Networks in Requirements Engineering -- A Norm-Based Organization Management System -- Implementing Collective Obligations in Human-Agent Teams Using KAoS Policies -- Building Multi-Agent Systems for Workflow Enactment and Exception Handling -- An Approach for Virtual Organisations’ Dissolution -- Playing with Agent Coordination Patterns in MAGE -- A Model-Based Architecture for Organizational Interoperability in Open Multiagent Systems -- A Normative Organisation Programming Language for Organisation Management Infrastructures -- Social Norms and Semantics -- Monitoring Social Expectations in Second Life -- Towards a Logical Model of Social Agreement for Agent Societies -- Promotion of Selfish Agents in Hierarchical Organisations -- The SIOC Project: Semantically-Interlinked Online Communities, from Humans to Machines -- Directing Status Messages to Their Audience in Online Communities -- Effects of Social Network Topology and Options on Norm Emergence -- Norms and Reasoning -- Directed Deadline Obligations in Agent-Based Business Contracts -- Internal Agent Architecture for Norm Identification -- Influence of Communication Graph Structures on Pheromone-Based Approaches in the Context of a Partitioning Task Problem -- An Infection-Based Mechanism in Large Convention Spaces -- The Classification Game: Complexity Regularization through Interaction -- Dealing with Incomplete Normative States -- Towards an Architecture for Self-regulating Agents: A Case Study in International Trade. |
Record Nr. | UNISA-996466296303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Logic Programs, Norms and Action [[electronic resource] ] : Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday / / edited by Alexander Artikis, Robert Craven, Nihan Kesim Cicekli, Babak Sadighi, Kostas Stathis |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XX, 425 p. 36 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer communication systems Mathematical logic Software engineering Application software Computer logic Artificial Intelligence Computer Communication Networks Mathematical Logic and Formal Languages Software Engineering Information Systems Applications (incl. Internet) Logics and Meanings of Programs |
ISBN | 3-642-29414-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Marek Sergot: A Memoir.- The Scientific Contribution of Marek Sergot -- Teleo-Reactive Abductive Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties.- What Is Negation as Failure? -- The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic.- Argumentation and the Event Calculus -- Reactive Event Calculus for Monitoring Global Computing Applications -- Reasoning about the Intentions of Agents -- Symbolic Model Checking for Temporal-Epistemic Logic -- GOAL Agents Instantiate Intention Logic -- Open Texture and Argumentation: What Makes an Argument Persuasive? -- Irrationality in Persuasive Argumentation -- Some Reflections on Two Current Trends in Formal Argumentation -- On the Representation of Normative Sentences in FOL -- Why Be Afraid of Identity? Comments on Sergot and Prakken’s Views -- Deon+: Abduction and Constraints for Normative Reasoning -- Contrary-To-Duties in Games -- Logical Approaches to Authorization Policies -- Decentralized Governance of Distributed Systems via Interaction Control -- Managing User-Generated Content as a Knowledge Commons. The Scientific Contribution of Marek Sergot -- Teleo-Reactive Abductive Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties.- What Is Negation as Failure? -- The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic.- Argumentation and the Event Calculus -- Reactive Event Calculus for Monitoring Global Computing Applications -- Reasoning about the Intentions of Agents -- Symbolic Model Checking for Temporal-Epistemic Logic -- GOAL Agents Instantiate Intention Logic -- Open Texture and Argumentation: What Makes an Argument Persuasive? -- Irrationality in Persuasive Argumentation -- Some Reflections on Two Current Trends in Formal Argumentation -- On the Representation of Normative Sentences in FOL -- Why Be Afraid of Identity? Comments on Sergot and Prakken’s Views -- Deon+: Abduction and Constraints for Normative Reasoning -- Contrary-To-Duties in Games -- Logical Approaches to Authorization Policies -- Decentralized Governance of Distributed Systems via Interaction Control -- Managing User-Generated Content as a Knowledge Commons. |
Record Nr. | UNISA-996466270203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Organized Adaption in Multi-Agent Systems [[electronic resource] ] : First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers / / edited by George Vouros, Alexander Artikis, Kostas Stathis, Jeremy Pitt |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XI, 145 p.) |
Disciplina | 004n/a |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Operating systems (Computers) Information storage and retrieval Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Software Engineering Operating Systems Information Storage and Retrieval |
ISBN | 3-642-02377-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Issues in Designing Logical Models for Norm Change -- Adapting Autonomic Electronic Institutions to Heterogeneous Agent Societies -- Adaptation of Voting Rules in Agent Societies -- Decentralised Structural Adaptation in Agent Organisations -- Modeling Feedback within MAS: A Systemic Approach to Organizational Dynamics -- Coordination in Adaptive Organisations: Extending Shared Plans with Knowledge Cultivation -- An Incremental Adaptive Organization for a Satellite Constellation -- Modelling Actor Evolution in Agent-Based Simulations. |
Record Nr. | UNISA-996465602603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|