top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Agent-Oriented Software Engineering III [[electronic resource] ] : Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions / / edited by Fausto Giunchiglia, James Odell, Gerhard Weiß
Agent-Oriented Software Engineering III [[electronic resource] ] : Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions / / edited by Fausto Giunchiglia, James Odell, Gerhard Weiß
Edizione [1st ed. 2003.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003
Descrizione fisica 1 online resource (X, 234 p.)
Disciplina 005.1
Collana Lecture Notes in Computer Science
Soggetto topico Software engineering
Computers
Computer communication systems
Programming languages (Electronic computers)
Software Engineering/Programming and Operating Systems
Science, Humanities and Social Sciences, multidisciplinary
Theory of Computation
Software Engineering
Computer Communication Networks
Programming Languages, Compilers, Interpreters
ISBN 3-540-36540-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Modeling, Specification, and Validation -- Specifying Electronic Societies with the Causal Calculator -- Modeling Agents and Their Environment -- Validation of Multiagent Systems by Symbolic Model Checking -- Patterns,Architectures,and Reuse -- Patterns in Agent-Oriented Software Engineering -- Concurrent Architecture for a Multi-agent Platform -- Re-use of Interaction Protocols for Agent-Based Control Applications -- Architecting for Reuse: A Software Framework for Automated Negotiation -- Multi-agent and Software Architectures: A Comparative Case Study -- UML and Agent Systems -- Using UML State Machine Models for More Precise and Flexible JADE Agent Behaviors -- Generating Machine Processable Representations of Textual Representations of AUML -- A UML Profile for External Agent-Object-Relationship (AOR) Models -- Extending Agent UML Sequence Diagrams -- Methodologies and Tools -- The Tropos Software Development Methodology: Processes, Models and Diagrams -- Prometheus: A Methodology for Developing Intelligent Agents -- Tool-Supported Process Analysis and Design for the Development of Multi-agent Systems -- Assembling Agent Oriented Software Engineering Methodologies from Features -- Positions and Perspectives -- Agent-Oriented Software Technologies: Flaws and Remedies.
Record Nr. UNISA-996465275203316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Agent-Oriented Software Engineering III : Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions / / edited by Fausto Giunchiglia, James Odell, Gerhard Weiß
Agent-Oriented Software Engineering III : Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions / / edited by Fausto Giunchiglia, James Odell, Gerhard Weiß
Edizione [1st ed. 2003.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003
Descrizione fisica 1 online resource (X, 234 p.)
Disciplina 005.1
Collana Lecture Notes in Computer Science
Soggetto topico Software engineering
Computers
Computer communication systems
Programming languages (Electronic computers)
Software Engineering/Programming and Operating Systems
Science, Humanities and Social Sciences, multidisciplinary
Theory of Computation
Software Engineering
Computer Communication Networks
Programming Languages, Compilers, Interpreters
ISBN 3-540-36540-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Modeling, Specification, and Validation -- Specifying Electronic Societies with the Causal Calculator -- Modeling Agents and Their Environment -- Validation of Multiagent Systems by Symbolic Model Checking -- Patterns,Architectures,and Reuse -- Patterns in Agent-Oriented Software Engineering -- Concurrent Architecture for a Multi-agent Platform -- Re-use of Interaction Protocols for Agent-Based Control Applications -- Architecting for Reuse: A Software Framework for Automated Negotiation -- Multi-agent and Software Architectures: A Comparative Case Study -- UML and Agent Systems -- Using UML State Machine Models for More Precise and Flexible JADE Agent Behaviors -- Generating Machine Processable Representations of Textual Representations of AUML -- A UML Profile for External Agent-Object-Relationship (AOR) Models -- Extending Agent UML Sequence Diagrams -- Methodologies and Tools -- The Tropos Software Development Methodology: Processes, Models and Diagrams -- Prometheus: A Methodology for Developing Intelligent Agents -- Tool-Supported Process Analysis and Design for the Development of Multi-agent Systems -- Assembling Agent Oriented Software Engineering Methodologies from Features -- Positions and Perspectives -- Agent-Oriented Software Technologies: Flaws and Remedies.
Record Nr. UNINA-9910143882703321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Artificial Intelligence: Methodology, Systems, and Applications [[electronic resource] ] : 8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998, Proceedings / / edited by Fausto Giunchiglia
Artificial Intelligence: Methodology, Systems, and Applications [[electronic resource] ] : 8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998, Proceedings / / edited by Fausto Giunchiglia
Edizione [1st ed. 1998.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998
Descrizione fisica 1 online resource (XII, 508 p.)
Disciplina 006.3
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Artificial Intelligence
ISBN 3-540-49793-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto The gain of failures: Using side-effects of anaphora resolution for term consistency checks -- An agent model for NL dialog interfaces -- Constraint solving in Logic Programming and in Automated Deduction: A comparison -- An extension of SATPLAN for planning with constraints -- Reasoning about generalized intervals -- Formalizing belief reports — The approach and a case study -- Extension calculus and query answering in prioritized default logic -- Study of symmetry in qualitative temporal interval networks -- A blackboard architecture for guiding interactive proofs -- Combining nonmonotonic reasoning and belief revision: A practical approach -- Modelling uncertainty with kripke's semantics -- Using linear temporal logic to model and solve planning problems -- Tailorable interactive agents for scheduling meetings -- Planning diagonalization proofs -- Theories and proofs in fault diagnosis -- Nonmonotonic reasoning under uncertain evidence -- Multicontext systems with importing contexts -- Planning via model checking in determistic domains: Preliminary report -- Acquisition of useful lemma-knowledge in automated reasoning -- Constructing translations between individual vocabularies in multi-agent systems -- Belief reconstruction in cooperative dialogues -- Model theoretic semantics for information integration -- A classification learning algorithm robust to irrelevant features -- Knowledge assimilation and proof restoration through the addition of goals -- Learning multiple predicates -- Modal reasoning and rough set theory -- Overcoming incomplete information in NLP systems — Verb subcategorization -- A framework for inductive learning based on subsumption lattices -- Dynamic learning — An approach to forgetting in ART2 neural networks -- A new approach to linguistic negation of nuanced information in knowledge-based systems -- SAT-based decision procedures for normal modal logics: A theoretical framework -- Version space retraction with instance-based boundary sets -- A new abstract logic programming language and its quantifier elimination method for disjunctive logic programming -- A new approach to learning Bayesian Network classifiers from data: Using observed statistical frequencies -- Abstraction as a form of elaboration tolerance -- System architecture of a distributed expert system for the management of a national data network -- Strategy selection for automated theorem proving -- An agent system for intelligent situation assessment -- Knowledge granularity and action selection -- Towards lifetime maintenance of case base indexes for continual case based reasoning.
Record Nr. UNISA-996466101503316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Artificial Intelligence: Methodology, Systems, and Applications [[electronic resource] ] : 8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998, Proceedings / / edited by Fausto Giunchiglia
Artificial Intelligence: Methodology, Systems, and Applications [[electronic resource] ] : 8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998, Proceedings / / edited by Fausto Giunchiglia
Edizione [1st ed. 1998.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998
Descrizione fisica 1 online resource (XII, 508 p.)
Disciplina 006.3
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Artificial Intelligence
ISBN 3-540-49793-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto The gain of failures: Using side-effects of anaphora resolution for term consistency checks -- An agent model for NL dialog interfaces -- Constraint solving in Logic Programming and in Automated Deduction: A comparison -- An extension of SATPLAN for planning with constraints -- Reasoning about generalized intervals -- Formalizing belief reports — The approach and a case study -- Extension calculus and query answering in prioritized default logic -- Study of symmetry in qualitative temporal interval networks -- A blackboard architecture for guiding interactive proofs -- Combining nonmonotonic reasoning and belief revision: A practical approach -- Modelling uncertainty with kripke's semantics -- Using linear temporal logic to model and solve planning problems -- Tailorable interactive agents for scheduling meetings -- Planning diagonalization proofs -- Theories and proofs in fault diagnosis -- Nonmonotonic reasoning under uncertain evidence -- Multicontext systems with importing contexts -- Planning via model checking in determistic domains: Preliminary report -- Acquisition of useful lemma-knowledge in automated reasoning -- Constructing translations between individual vocabularies in multi-agent systems -- Belief reconstruction in cooperative dialogues -- Model theoretic semantics for information integration -- A classification learning algorithm robust to irrelevant features -- Knowledge assimilation and proof restoration through the addition of goals -- Learning multiple predicates -- Modal reasoning and rough set theory -- Overcoming incomplete information in NLP systems — Verb subcategorization -- A framework for inductive learning based on subsumption lattices -- Dynamic learning — An approach to forgetting in ART2 neural networks -- A new approach to linguistic negation of nuanced information in knowledge-based systems -- SAT-based decision procedures for normal modal logics: A theoretical framework -- Version space retraction with instance-based boundary sets -- A new abstract logic programming language and its quantifier elimination method for disjunctive logic programming -- A new approach to learning Bayesian Network classifiers from data: Using observed statistical frequencies -- Abstraction as a form of elaboration tolerance -- System architecture of a distributed expert system for the management of a national data network -- Strategy selection for automated theorem proving -- An agent system for intelligent situation assessment -- Knowledge granularity and action selection -- Towards lifetime maintenance of case base indexes for continual case based reasoning.
Record Nr. UNINA-9910768178703321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Cooperative Information Systems [[electronic resource] ] : 9th International Conference, CoopIS 2001, Trento, Italy, September 5-7, 2001. Proceedings / / edited by Carlo Batini, Fausto Giunchiglia, Paolo Giorgini, Massimo Mecella
Cooperative Information Systems [[electronic resource] ] : 9th International Conference, CoopIS 2001, Trento, Italy, September 5-7, 2001. Proceedings / / edited by Carlo Batini, Fausto Giunchiglia, Paolo Giorgini, Massimo Mecella
Edizione [1st ed. 2001.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001
Descrizione fisica 1 online resource (XII, 456 p.)
Disciplina 005.758
Collana Lecture Notes in Computer Science
Soggetto topico Database management
Computer engineering
Application software
Multimedia information systems
Computer communication systems
Information storage and retrieval
Database Management
Computer Engineering
Information Systems Applications (incl. Internet)
Multimedia Information Systems
Computer Communication Networks
Information Storage and Retrieval
ISBN 3-540-44751-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Paper -- Generic Model Management: A Database Infrastructure for Schema Manipulation -- The Evolution of Distributed Component Architectures -- Data Integration Is Harder than You Thought -- Agent Systems -- Implicit Culture for Multi-agent Interaction Support -- Extending Multi-agent Cooperation by Overhearing -- Mobile-Agent Based Distributed Web GIS -- Local Distributed Agent Matchmaking -- Deploying Distributed State Information in Mobile Agent Systems -- Cooperative Meeting Scheduling among Agents Based on Multiple Negotiations -- Information Integration -- Autoplex: Automated Discovery of Content for Virtual Databases -- Cooperation Strategies for Information Integration -- Planning and Optimizing Semantic Information Requests Using Domain Modeling and Resource Characteristics -- Integrating View Schemata Using an Extended Object Definition Language -- Deriving “Sub-source” Similarities from Heterogeneous, Semi-structured Information Sources -- Middleware, Platforms, Architectures -- P-Grid: A Self-Organizing Access Structure for P2P Information Systems -- Moving Active Functionality from Centralized to Open Distributed Heterogeneous Environments -- Generic Constraints for Content-Based Publish/Subscribe -- Supporting Heterogeneous Users in Collaborative Virtual Environments Using AOP -- Models -- A Process Service Model for Dynamic Enterprise Process Interconnection -- Employing Multiuser Interactions in the Development of Synchronous Applications -- Service Representation, Discovery, and Composition for E-marketplaces -- Multi and Federated Database Systems -- Schema Design and Query Processing in a Federated Multimedia Database System -- Global Semantic Serializability: An Approach to Increase Concurrency in Multidatabase Systems -- Checking Integrity Constraints in Multidatabase Systems with Nested Transactions -- Web Information Systems -- The Internet Marketplace Template: An Architecture Template for Inter-enterprise Information Systems -- Investigating the Evolution of Electronic Markets -- Coordinating Web-Based Systems with Documents in XMLSpaces -- Validating an Access Cost Model for Wide Area Applications -- Workflow Management Systems -- Querying and Splicing of XML Workflows -- On Demand Business-to-Business Integration -- Recommendation and Information Seeking Systems -- Yoda: An Accurate and Scalable Web-Based Recommendation System -- The Use of Machine-Generated Ontologies in Dynamic Information Seeking.
Record Nr. UNISA-996465793703316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Cooperative Information Systems : 9th International Conference, CoopIS 2001, Trento, Italy, September 5-7, 2001. Proceedings / / edited by Carlo Batini, Fausto Giunchiglia, Paolo Giorgini, Massimo Mecella
Cooperative Information Systems : 9th International Conference, CoopIS 2001, Trento, Italy, September 5-7, 2001. Proceedings / / edited by Carlo Batini, Fausto Giunchiglia, Paolo Giorgini, Massimo Mecella
Edizione [1st ed. 2001.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001
Descrizione fisica 1 online resource (XII, 456 p.)
Disciplina 005.758
Collana Lecture Notes in Computer Science
Soggetto topico Database management
Computer engineering
Application software
Multimedia information systems
Computer communication systems
Information storage and retrieval
Database Management
Computer Engineering
Information Systems Applications (incl. Internet)
Multimedia Information Systems
Computer Communication Networks
Information Storage and Retrieval
ISBN 3-540-44751-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Paper -- Generic Model Management: A Database Infrastructure for Schema Manipulation -- The Evolution of Distributed Component Architectures -- Data Integration Is Harder than You Thought -- Agent Systems -- Implicit Culture for Multi-agent Interaction Support -- Extending Multi-agent Cooperation by Overhearing -- Mobile-Agent Based Distributed Web GIS -- Local Distributed Agent Matchmaking -- Deploying Distributed State Information in Mobile Agent Systems -- Cooperative Meeting Scheduling among Agents Based on Multiple Negotiations -- Information Integration -- Autoplex: Automated Discovery of Content for Virtual Databases -- Cooperation Strategies for Information Integration -- Planning and Optimizing Semantic Information Requests Using Domain Modeling and Resource Characteristics -- Integrating View Schemata Using an Extended Object Definition Language -- Deriving “Sub-source” Similarities from Heterogeneous, Semi-structured Information Sources -- Middleware, Platforms, Architectures -- P-Grid: A Self-Organizing Access Structure for P2P Information Systems -- Moving Active Functionality from Centralized to Open Distributed Heterogeneous Environments -- Generic Constraints for Content-Based Publish/Subscribe -- Supporting Heterogeneous Users in Collaborative Virtual Environments Using AOP -- Models -- A Process Service Model for Dynamic Enterprise Process Interconnection -- Employing Multiuser Interactions in the Development of Synchronous Applications -- Service Representation, Discovery, and Composition for E-marketplaces -- Multi and Federated Database Systems -- Schema Design and Query Processing in a Federated Multimedia Database System -- Global Semantic Serializability: An Approach to Increase Concurrency in Multidatabase Systems -- Checking Integrity Constraints in Multidatabase Systems with Nested Transactions -- Web Information Systems -- The Internet Marketplace Template: An Architecture Template for Inter-enterprise Information Systems -- Investigating the Evolution of Electronic Markets -- Coordinating Web-Based Systems with Documents in XMLSpaces -- Validating an Access Cost Model for Wide Area Applications -- Workflow Management Systems -- Querying and Splicing of XML Workflows -- On Demand Business-to-Business Integration -- Recommendation and Information Seeking Systems -- Yoda: An Accurate and Scalable Web-Based Recommendation System -- The Use of Machine-Generated Ontologies in Dynamic Information Seeking.
Record Nr. UNINA-9910143623703321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
First Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services (MOBIQUITOUS 2004)
First Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services (MOBIQUITOUS 2004)
Autore Chlamtac Imrich
Pubbl/distr/stampa [Place of publication not identified], : IEEE Computer Society Press, 2004
Soggetto topico Engineering & Applied Sciences
Computer Science
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996199932003316
Chlamtac Imrich  
[Place of publication not identified], : IEEE Computer Society Press, 2004
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
First Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services (MOBIQUITOUS 2004)
First Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services (MOBIQUITOUS 2004)
Autore Chlamtac Imrich
Pubbl/distr/stampa [Place of publication not identified], : IEEE Computer Society Press, 2004
Soggetto topico Engineering & Applied Sciences
Computer Science
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910872523503321
Chlamtac Imrich  
[Place of publication not identified], : IEEE Computer Society Press, 2004
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Knowledge Science, Engineering and Management [[electronic resource] ] : 11th International Conference, KSEM 2018, Changchun, China, August 17–19, 2018, Proceedings, Part II / / edited by Weiru Liu, Fausto Giunchiglia, Bo Yang
Knowledge Science, Engineering and Management [[electronic resource] ] : 11th International Conference, KSEM 2018, Changchun, China, August 17–19, 2018, Proceedings, Part II / / edited by Weiru Liu, Fausto Giunchiglia, Bo Yang
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XIX, 492 p. 135 illus.)
Disciplina 006.33
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Application software
Database management
Computer communication systems
Data mining
Artificial Intelligence
Computer Appl. in Social and Behavioral Sciences
Database Management
Information Systems Applications (incl. Internet)
Computer Communication Networks
Data Mining and Knowledge Discovery
ISBN 3-319-99247-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Constraints and Satisfiability -- Formal Reasoning and Ontologies -- Deep Learning -- Network Knowledge Representation and Learning -- Social Knowledge Analysis and Management.
Record Nr. UNISA-996466467203316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Knowledge Science, Engineering and Management [[electronic resource] ] : 11th International Conference, KSEM 2018, Changchun, China, August 17–19, 2018, Proceedings, Part I / / edited by Weiru Liu, Fausto Giunchiglia, Bo Yang
Knowledge Science, Engineering and Management [[electronic resource] ] : 11th International Conference, KSEM 2018, Changchun, China, August 17–19, 2018, Proceedings, Part I / / edited by Weiru Liu, Fausto Giunchiglia, Bo Yang
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XXIV, 526 p. 159 illus.)
Disciplina 006.33
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Data mining
Information storage and retrieval
Application software
Natural language processing (Computer science)
Artificial Intelligence
Data Mining and Knowledge Discovery
Information Storage and Retrieval
Information Systems Applications (incl. Internet)
Natural Language Processing (NLP)
Computer Appl. in Social and Behavioral Sciences
ISBN 3-319-99365-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Text Mining and Document Analysis -- Image and Video Data Analysis -- Data Processing and Data Mining -- Recommendation Algorithms and Systems -- Probabilistic Models and Applications -- Knowledge Engineering Applications -- Knowledge Graph and Knowledge Management.
Record Nr. UNISA-996466468203316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui