Cooperative Information Agents XII [[electronic resource] ] : 12th International Workshop, CIA 2008, Prague, Czech Republic, September 10-12, 2008, Proceedings / / edited by Matthias Klusch, Michal Pechoucek, Axel Polleres |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (IX, 321 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Application software Computer communication systems Data mining Database management User interfaces (Computer systems) Artificial Intelligence Information Systems Applications (incl. Internet) Computer Communication Networks Data Mining and Knowledge Discovery Database Management User Interfaces and Human Computer Interaction |
ISBN | 3-540-85834-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Contributions -- Enabling Networked Knowledge -- Coordination and Agreement in Multi-Agent Systems -- Agents and Databases: A Symbiosis? -- Agents and Semantic Services: A Critical Review -- Agent-Supported Planning in Distributed Command and Control Environments -- Trust -- Towards Trust-Based Acquisition of Unverifiable Information -- Modeling Dynamics of Relative Trust of Competitive Information Agents -- A Formal Approach to Aggregated Belief Formation -- Applications -- Software Engineering for Service-Oriented MAS -- A Service-Oriented MultiAgent Architecture for Cognitive Surveillance -- Trust-Based Classifier Combination for Network Anomaly Detection -- A Distributed Generative CSP Framework for Multi-site Product Configuration -- MobiSoft: Networked Personal Assistants for Mobile Users in Everyday Life -- A Web-Based Virtual Machine for Developing Computational Societies -- Using the Wizard of Oz Method to Train Persuasive Agents -- ASBO: Argumentation System Based on Ontologies -- Coordination and Communication -- Controling Contract Net Protocol by Local Observation for Large-Scale Multi-Agent Systems -- Filter Allocation Using Iterative ECNP -- On the Use of Symbolic Data Analysis to Model Communication Environments -- Commitment-Based Multiagent Decision Making -- Negotiation -- Towards an Open Negotiation Architecture for Heterogeneous Agents -- Incrementally Refined Acquaintance Model for Consortia Composition -- Towards a Monitoring Framework for Agent-Based Contract Systems -- Collaborative Load-Balancing in Storage Networks Using Agent Negotiation. |
Record Nr. | UNISA-996465981703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Cooperative Information Agents XII : 12th International Workshop, CIA 2008, Prague, Czech Republic, September 10-12, 2008, Proceedings / / edited by Matthias Klusch, Michal Pechoucek, Axel Polleres |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (IX, 321 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Application software Computer communication systems Data mining Database management User interfaces (Computer systems) Artificial Intelligence Information Systems Applications (incl. Internet) Computer Communication Networks Data Mining and Knowledge Discovery Database Management User Interfaces and Human Computer Interaction |
ISBN | 3-540-85834-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Contributions -- Enabling Networked Knowledge -- Coordination and Agreement in Multi-Agent Systems -- Agents and Databases: A Symbiosis? -- Agents and Semantic Services: A Critical Review -- Agent-Supported Planning in Distributed Command and Control Environments -- Trust -- Towards Trust-Based Acquisition of Unverifiable Information -- Modeling Dynamics of Relative Trust of Competitive Information Agents -- A Formal Approach to Aggregated Belief Formation -- Applications -- Software Engineering for Service-Oriented MAS -- A Service-Oriented MultiAgent Architecture for Cognitive Surveillance -- Trust-Based Classifier Combination for Network Anomaly Detection -- A Distributed Generative CSP Framework for Multi-site Product Configuration -- MobiSoft: Networked Personal Assistants for Mobile Users in Everyday Life -- A Web-Based Virtual Machine for Developing Computational Societies -- Using the Wizard of Oz Method to Train Persuasive Agents -- ASBO: Argumentation System Based on Ontologies -- Coordination and Communication -- Controling Contract Net Protocol by Local Observation for Large-Scale Multi-Agent Systems -- Filter Allocation Using Iterative ECNP -- On the Use of Symbolic Data Analysis to Model Communication Environments -- Commitment-Based Multiagent Decision Making -- Negotiation -- Towards an Open Negotiation Architecture for Heterogeneous Agents -- Incrementally Refined Acquaintance Model for Consortia Composition -- Towards a Monitoring Framework for Agent-Based Contract Systems -- Collaborative Load-Balancing in Storage Networks Using Agent Negotiation. |
Record Nr. | UNINA-9910768198903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
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 | ||
|
Proceedings of the 11th International Conference on Semantic Systems / / editors, Sebastian Hellmann, Josiane Xavier Parreira, Axel Polleres |
Pubbl/distr/stampa | New York : , : ACM, , 2015 |
Descrizione fisica | 1 online resource (220 pages) |
Disciplina | 025.0427 |
Collana | ACM International Conference Proceeding Series |
Soggetto topico |
Linked data
Semantic Web Semantic computing |
ISBN | 1-4503-3462-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
SEMANTiCS '15 : 11th International Conference on Semantic Systems : Vienna, Austria, September 15-17, 2015
Semantic Systems 2015 |
Record Nr. | UNINA-9910376558603321 |
New York : , : ACM, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Reasoning Web [[electronic resource] ] : 4th International Summer School 2008, Venice Italy, September 7-11, 2008, Tutorial Lectures / / edited by Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (VII, 269 p.) |
Disciplina | 005.7 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Computer communication systems Database management Computer logic Information storage and retrieval Natural language processing (Computer science) Information Systems Applications (incl. Internet) Computer Communication Networks Database Management Logics and Meanings of Programs Information Storage and Retrieval Natural Language Processing (NLP) |
ISBN | 3-540-85658-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Rules and Ontologies for the Semantic Web -- Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs -- Attempto Controlled English for Knowledge Representation -- Semantic Multimedia -- Applications of Semantic Web Methodologies and Techniques to Social Networks and Social Websites -- Applications of Semantic Web Methodologies and Techniques to Biology and Bioinformatics -- Web Services Discovery Utilizing Semantically Annotated WSDL. |
Record Nr. | UNISA-996465486803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Reasoning Web. Semantic Technologies for the Web of Data [[electronic resource] ] : 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures / / edited by Axel Polleres, Claudia d'Amato, Marcelo Arenas, Siegfried Handschuh, Paula Kroner, Sascha Ossowski, Peter F. Patel-Schneider |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (IX, 535 p.) |
Disciplina | 005.7 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Information storage and retrieval Artificial intelligence Computer communication systems Database management Data mining Information Systems Applications (incl. Internet) Information Storage and Retrieval Artificial Intelligence Computer Communication Networks Database Management Data Mining and Knowledge Discovery |
ISBN | 3-642-23032-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction to Linked Data and its Lifecycle on the Web -- Foundations of Description Logics -- Using SPARQL with RDFS and OWL Entailment -- Database foundations for scalable RDF processing.-Scalable OWL 2 Reasoning for Linked Data -- Rules and Logic Programming for the Web -- OWL and Rules -- Modeling the Web of Data -- Trust management methodologies for the Web -- Application and Evaluation of Inductive Reasoning Methods for the Semantic Web and Software Analysis -- Probabilistic-Logical Web Data Integration -- An Introduction to Constraint Programming and Combinatorial Optimisation. Foundations of Description Logics -- Using SPARQL with RDFS and OWL Entailment -- Database foundations for scalable RDF processing -- Scalable OWL 2 Reasoning for Linked Data -- Rules and Logic Programming for the Web -- OWL and Rules -- Modeling the Web of Data -- Trust management methodologies for the Web -- Application and Evaluation of Inductive Reasoning Methods for the Semantic Web and Software Analysis -- Probabilistic-Logical Web Data Integration -- An Introduction to Constraint Programming and Combinatorial Optimisation. |
Record Nr. | UNISA-996466068003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
The Semantic Web: Research and Applications [[electronic resource] ] : 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece, May 27-31, 2012, Proceedings / / edited by Elena Simperl, Philipp Cimiano, Axel Polleres, Oscar Corcho, Valentina Presutti |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XXI, 877 p. 233 illus.) |
Disciplina | 005.7 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Computers
Artificial intelligence Application software Computer communication systems Database management User interfaces (Computer systems) Information Systems and Communication Service Artificial Intelligence Information Systems Applications (incl. Internet) Computer Communication Networks Database Management User Interfaces and Human Computer Interaction |
ISBN | 3-642-30284-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465383403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Web Reasoning and Rule Systems [[electronic resource] ] : Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings / / edited by Axel Polleres, Terrance Swift |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (X, 269 p.) |
Disciplina | 004n/a |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Information storage and retrieval
Application software Computers Data mining Software engineering Multimedia information systems Information Storage and Retrieval Information Systems Applications (incl. Internet) Information Systems and Communication Service Data Mining and Knowledge Discovery Software Engineering Multimedia Information Systems |
Soggetto genere / forma |
Chantilly (Va., 2009)
Kongress. |
ISBN | 3-642-05082-4 |
Classificazione |
DAT 616f
SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers and Tutorial -- Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents -- SILK: Higher Level Rules with Defaults and Semantic Scalability -- Uncertainty Reasoning for the Semantic Web -- Proof/Deduction Procedures -- A Preferential Tableaux Calculus for Circumscriptive -- A Reasoner for Simple Conceptual Logic Programs -- Search for More Declarativity -- Scalability -- Distributed Resolution for Expressive Ontology Networks -- Scalable Web Reasoning Using Logic Programming Techniques -- On the Ostensibly Silent ‘W’ in OWL 2 RL -- Uncertainty -- Answer Sets in a Fuzzy Equilibrium Logic -- Belief Logic Programming with Cyclic Dependencies -- A Minimal Deductive System for General Fuzzy RDF -- Knowledge Amalgamation and Querying -- An Efficient Method for Computing Alignment Diagnoses -- Paraconsistent Reasoning for OWL 2 -- A Formal Theory for Modular ERDF Ontologies -- The Perfect Match: RPL and RDF Rule Languages -- Rules for Decision Support and Production Systems -- A Hybrid Architecture for a Preoperative Decision Support System Using a Rule Engine and a Reasoner on a Clinical Ontology -- A Logic Based Approach to the Static Analysis of Production Systems. |
Record Nr. | UNISA-996465856003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Web reasoning and rule systems : third international conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009 ; proceedings / / Axel Polleres, Terrance Swift (eds.) |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, : Springer, c2009 |
Descrizione fisica | 1 online resource (X, 269 p.) |
Disciplina | 004n/a |
Altri autori (Persone) |
PolleresAxel
SwiftTerrance |
Collana | Lecture notes in computer science |
Soggetto topico |
Logic programming
Rule-based programming Semantic Web |
ISBN | 3-642-05082-4 |
Classificazione |
DAT 616f
SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers and Tutorial -- Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents -- SILK: Higher Level Rules with Defaults and Semantic Scalability -- Uncertainty Reasoning for the Semantic Web -- Proof/Deduction Procedures -- A Preferential Tableaux Calculus for Circumscriptive -- A Reasoner for Simple Conceptual Logic Programs -- Search for More Declarativity -- Scalability -- Distributed Resolution for Expressive Ontology Networks -- Scalable Web Reasoning Using Logic Programming Techniques -- On the Ostensibly Silent ‘W’ in OWL 2 RL -- Uncertainty -- Answer Sets in a Fuzzy Equilibrium Logic -- Belief Logic Programming with Cyclic Dependencies -- A Minimal Deductive System for General Fuzzy RDF -- Knowledge Amalgamation and Querying -- An Efficient Method for Computing Alignment Diagnoses -- Paraconsistent Reasoning for OWL 2 -- A Formal Theory for Modular ERDF Ontologies -- The Perfect Match: RPL and RDF Rule Languages -- Rules for Decision Support and Production Systems -- A Hybrid Architecture for a Preoperative Decision Support System Using a Rule Engine and a Reasoner on a Clinical Ontology -- A Logic Based Approach to the Static Analysis of Production Systems. |
Altri titoli varianti | RR 2009 |
Record Nr. | UNINA-9910484160603321 |
Berlin, : Springer, c2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|