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 | ||
|
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 networks 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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 systems Computer networks 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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|