Complex Networks V : Proceedings of the 5th Workshop on Complex Networks CompleNet 2014 / / edited by Pierluigi Contucci, Ronaldo Menezes, Andrea Omicini, Julia Poncela-Casasnovas |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 330 p. 94 illus., 78 illus. in color.) |
Disciplina | 006.3 |
Collana | Studies in Computational Intelligence |
Soggetto topico |
Computational intelligence
Biomedical engineering Computational Intelligence Biomedical Engineering and Bioengineering |
ISBN | 3-319-05401-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Social networks, social media and the arts -- Diffusion, transportation and search on networks -- Network theory, structure, growth and community detection -- Biological and health-related networks -- Language networks and science of science. |
Record Nr. | UNINA-9910299711603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Cooperative Information Agents VII [[electronic resource] ] : 7th International Workshop, CIA 2003, Helsinki, Finland, August 27-29, 2003, Proceedings / / edited by Matthias Klusch, Sascha Ossowski, Andrea Omicini, Heimo Laamanen |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (XII, 352 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer communication systems Database management Information storage and retrieval Application software User interfaces (Computer systems) Artificial Intelligence Computer Communication Networks Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction |
ISBN | 3-540-45217-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Pervasive Information Service Provision -- ACCESS: An Agent Architecture for Ubiquitous Service Delivery -- Adaptive Agent-Based Service Composition for Wireless Terminals -- An Information Notification Model with VPC on KODAMA in an Ubiquitous Computing Environment, and Its Experiment -- Information Agents and Peer-to-Peer Computing -- Multi-agent Systems and Peer-to-Peer Computing: Methods, Systems, and Challenges -- A Peer-to-Peer Approach to Resource Discovery in Multi-agent Systems -- Ostensive Automatic Schema Mapping for Taxonomy-Based Peer-to-Peer Systems -- Issues of Trading and Negotiation -- Proposal-Based Negotiation in Convex Regions -- A Conversational Component-Based Open Multi-agent Architecture for Flexible Information Trading -- The Search for Coalition Formation in Costly Environments -- Information Gathering and Integration -- GraniteNights – A Multi-agent Visit Scheduler Utilising Semantic Web Technology -- Send Fredo off to Do This, Send Fredo off to Do That -- Database Integration Using Mobile Agents -- Collaborative Search and Filtering -- Adaptive Web Search Based on a Colony of Cooperative Distributed Agents -- Agents for Collaborative Filtering -- Collaboration in Open Environments -- Emergence and Stability of Collaborations Among Rational Agents -- A Framework for the Social Description of Resources in Open Environments -- A Coordination Framework for a Community of Over-Helping Agents -- Issues of Trust in Agent-Based Information Provision -- Trust Networks on the Semantic Web -- Exchanging Advice and Learning to Trust -- Information Agent Systems Engineering (1) -- A Component-Based Approach for Interoperability across FIPA-Compliant Platforms -- Logic Programming for Evolving Agents -- Temporal and Spatial Analysis to Personalise an Agent’s Dynamic Belief, Desire, and Intention Profiles -- Information Agent Systems Engineering (2) -- Meta-reasoning for Agents’ Private Knowledge Detection -- Formalizing Retrieval Goal Change by Prioritized Circumscription – Preliminary Report – -- Organisational Change: Deliberation and Modification. |
Record Nr. | UNISA-996465689303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Cooperative Information Agents VII : 7th International Workshop, CIA 2003, Helsinki, Finland, August 27-29, 2003, Proceedings / / edited by Matthias Klusch, Sascha Ossowski, Andrea Omicini, Heimo Laamanen |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (XII, 352 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer networks Database management Information storage and retrieval Application software User interfaces (Computer systems) Artificial Intelligence Computer Communication Networks Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction |
ISBN | 3-540-45217-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Pervasive Information Service Provision -- ACCESS: An Agent Architecture for Ubiquitous Service Delivery -- Adaptive Agent-Based Service Composition for Wireless Terminals -- An Information Notification Model with VPC on KODAMA in an Ubiquitous Computing Environment, and Its Experiment -- Information Agents and Peer-to-Peer Computing -- Multi-agent Systems and Peer-to-Peer Computing: Methods, Systems, and Challenges -- A Peer-to-Peer Approach to Resource Discovery in Multi-agent Systems -- Ostensive Automatic Schema Mapping for Taxonomy-Based Peer-to-Peer Systems -- Issues of Trading and Negotiation -- Proposal-Based Negotiation in Convex Regions -- A Conversational Component-Based Open Multi-agent Architecture for Flexible Information Trading -- The Search for Coalition Formation in Costly Environments -- Information Gathering and Integration -- GraniteNights – A Multi-agent Visit Scheduler Utilising Semantic Web Technology -- Send Fredo off to Do This, Send Fredo off to Do That -- Database Integration Using Mobile Agents -- Collaborative Search and Filtering -- Adaptive Web Search Based on a Colony of Cooperative Distributed Agents -- Agents for Collaborative Filtering -- Collaboration in Open Environments -- Emergence and Stability of Collaborations Among Rational Agents -- A Framework for the Social Description of Resources in Open Environments -- A Coordination Framework for a Community of Over-Helping Agents -- Issues of Trust in Agent-Based Information Provision -- Trust Networks on the Semantic Web -- Exchanging Advice and Learning to Trust -- Information Agent Systems Engineering (1) -- A Component-Based Approach for Interoperability across FIPA-Compliant Platforms -- Logic Programming for Evolving Agents -- Temporal and Spatial Analysis to Personalise an Agent’s Dynamic Belief, Desire, and Intention Profiles -- Information Agent Systems Engineering (2) -- Meta-reasoning for Agents’ Private Knowledge Detection -- Formalizing Retrieval Goal Change by Prioritized Circumscription – Preliminary Report – -- Organisational Change: Deliberation and Modification. |
Record Nr. | UNINA-9910144020603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Declarative Agent Languages and Technologies [[electronic resource] ] : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers / / edited by Joao Leite, Andrea Omicini, Leon Sterling, Paolo Torroni |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (X, 272 p.) |
Disciplina | 005.2 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Artificial Intelligence Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters |
ISBN |
1-280-30774-9
9786610307746 3-540-25932-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | MAS as Complex Systems: A View on the Role of Declarative Approaches -- A Logic-Based Infrastructure for Reconfiguring Applications -- Operational Semantics for Agents by Iterated Refinement -- Go! for Multi-threaded Deliberative Agents -- An Agent-Based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology -- A Logic for Ignorance -- Coo-BDI: Extending the BDI Model with Cooperativity -- Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication -- A Combined Logic of Expectation and Observation -- A Proposal for Reasoning in Agents: Restricted Entailment -- A Social Approach to Communication in Multiagent Systems -- Logic-Based Electronic Institutions -- Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study -- Linear Logic, Partial Deduction and Cooperative Problem Solving. |
Record Nr. | UNISA-996466234103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Declarative Agent Languages and Technologies : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers / / edited by Joao Leite, Andrea Omicini, Leon Sterling, Paolo Torroni |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (X, 272 p.) |
Disciplina | 005.2 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Software engineering
Artificial intelligence Computer networks Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Artificial Intelligence Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters |
ISBN |
1-280-30774-9
9786610307746 3-540-25932-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | MAS as Complex Systems: A View on the Role of Declarative Approaches -- A Logic-Based Infrastructure for Reconfiguring Applications -- Operational Semantics for Agents by Iterated Refinement -- Go! for Multi-threaded Deliberative Agents -- An Agent-Based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology -- A Logic for Ignorance -- Coo-BDI: Extending the BDI Model with Cooperativity -- Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication -- A Combined Logic of Expectation and Observation -- A Proposal for Reasoning in Agents: Restricted Entailment -- A Social Approach to Communication in Multiagent Systems -- Logic-Based Electronic Institutions -- Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study -- Linear Logic, Partial Deduction and Cooperative Problem Solving. |
Record Nr. | UNINA-9910144168903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Declarative Agent Languages and Technologies II [[electronic resource] ] : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / / edited by João Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (XII, 292 p.) |
Disciplina | 005.115 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Programming languages (Electronic computers) Computer logic Software Engineering/Programming and Operating Systems Artificial Intelligence Computer Communication Networks Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
Soggetto non controllato |
Declarative agent languages
DALT |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Reasoning -- Dynamics of Declarative Goals in Agent Programming -- Theories of Intentions in the Framework of Situation Calculus -- Partial Deduction for Linear Logic—The Symbolic Negotiation Perspective -- Modelling and Engineering -- On Modelling Multi-agent Systems Declaratively -- The Semantics of MALLET–An Agent Teamwork Encoding Language -- Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report -- Reasoning About Agents’ Interaction Protocols Inside DCaseLP -- Verification -- Model Checking Agent Dialogues -- Modeling and Verification of Distributed Autonomous Agents Using Logic Programming -- Norm Verification and Analysis of Electronic Institutions -- Norms and Protocols -- A Lightweight Coordination Calculus for Agent Systems -- Enhancing Commitment Machines -- A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks -- Interaction and Communication -- Intensional Programming for Agent Communication -- The Logic of Communication Graphs -- Representational Content and the Reciprocal Interplay of Agent and Environment. |
Record Nr. | UNISA-996465814403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Declarative Agent Languages and Technologies III [[electronic resource] ] : Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / / edited by Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XII, 248 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Programming languages (Electronic computers) Computer logic Artificial Intelligence Computer Communication Networks Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
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. |
Record Nr. | UNISA-996465802203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Declarative Agent Languages and Technologies VIII [[electronic resource] ] : 8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers / / edited by Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (X, 205 p.) |
Disciplina | 005.13 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computers Computer communication systems Software engineering Programming languages (Electronic computers) Computer logic Artificial Intelligence Models and Principles Computer Communication Networks Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
ISBN | 3-642-20715-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465538903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Engineering Societies in the Agents World [[electronic resource] ] : First International Workshop, ESAW 2000, Berlin, Germany, August 21, 2000. Revised Papers / / edited by Andrea Omicini, Robert Tolksdorf, Franco Zambonelli |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (X, 150 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Software engineering Computer communication systems Application software User interfaces (Computer systems) Artificial Intelligence Software Engineering Computer Communication Networks Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction |
ISBN | 3-540-44539-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Emerging Issues in Multiagent Systems Engineering -- Engineering Social Order -- Distinguishing Environmental and Agent Dynamics: A Case Study in Abstraction and Alternate Modeling Technologies -- On Observing and Constraining Active Systems -- Coordination Models and Technologies for Multiagent Systems -- Context-Dependency in Internet-Agent Coordination -- Coordination Issues in Multi-agent Event Data Processing -- Models of Coordination -- Methodologies and Tools -- From Analysis to Deployment: A Multi-agent Platform Survey -- Exploiting UML in the Design of Multi-agent Systems -- Formal Specification and Prototyping of Multi-agent Systems -- Combining Software Components and Mobile Agents. |
Record Nr. | UNISA-996466174703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Engineering Societies in the Agents World : First International Workshop, ESAW 2000, Berlin, Germany, August 21, 2000. Revised Papers / / edited by Andrea Omicini, Robert Tolksdorf, Franco Zambonelli |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (X, 150 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Software engineering Computer networks Application software User interfaces (Computer systems) Artificial Intelligence Software Engineering Computer Communication Networks Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction |
ISBN | 3-540-44539-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Emerging Issues in Multiagent Systems Engineering -- Engineering Social Order -- Distinguishing Environmental and Agent Dynamics: A Case Study in Abstraction and Alternate Modeling Technologies -- On Observing and Constraining Active Systems -- Coordination Models and Technologies for Multiagent Systems -- Context-Dependency in Internet-Agent Coordination -- Coordination Issues in Multi-agent Event Data Processing -- Models of Coordination -- Methodologies and Tools -- From Analysis to Deployment: A Multi-agent Platform Survey -- Exploiting UML in the Design of Multi-agent Systems -- Formal Specification and Prototyping of Multi-agent Systems -- Combining Software Components and Mobile Agents. |
Record Nr. | UNINA-9910143608403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|