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.
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 | ||
| ||
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 | ||
| ||
Knowledge Science, Engineering and Management : 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 : 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 networks 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 |
9783319992471
3319992473 |
| 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. | UNINA-9910349414903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Knowledge Science, Engineering and Management : 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 : 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 |
9783319993652
3319993658 |
| 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. | UNINA-9910349414803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Scalable Uncertainty Management [[electronic resource] ] : 7th International Conference, SUM 2013, Washington, DC, USA, September 16-18, 2013, Proceedings / / edited by Weiru Liu, V S Subrahmanian, Jef Wijsen
| Scalable Uncertainty Management [[electronic resource] ] : 7th International Conference, SUM 2013, Washington, DC, USA, September 16-18, 2013, Proceedings / / edited by Weiru Liu, V S Subrahmanian, Jef Wijsen |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIV, 387 p. 43 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Information storage and retrieval Computer communication systems Database management Data mining Artificial Intelligence Information Systems Applications (incl. Internet) Information Storage and Retrieval Computer Communication Networks Database Management Data Mining and Knowledge Discovery |
| ISBN | 3-642-40381-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Argumentation -- Analysis of dialogical argumentation via finite state machines -- What Can Argumentation Do for Inconsistent Ontology Query Answering? -- Enforcement in Argumentation is a kind of Update -- A Conditional Logic-Based Argumentation Framework -- Modelling Uncertainty in Persuasion -- On the implementation of a multiple output algorithm for defeasible argumentation -- A formal characterization of the outcomes of rule-based argumentation systems -- Bimodal Graphs for Meta-Argumentation with Argument Schemes -- Efficiently Estimating the Probability of Extensions in Abstract Argumentation -- AFs with Necessities : Further Semantics and Labelling Characterization -- Ranking-based semantics for argumentation frameworks -- A Logical Theory about Dynamics in Abstract Argumentation -- Belief Functions, Possibility Theory and their Applications -- Sound Source Localization from Uncertain Information using the Evidential EM Algorithm -- An Improvement of Subject Reacquisition by Reasoning and Revision -- Belief Functions: a Revision of Plausibility Conflict and Pignistic Conflict -- Bipolar possibility theory as a basis for a logic of desires and beliefs -- Databases -- A New Class of Lineage Expressions over Probabilistic Databases computable in P-time -- The Semantics of Aggregate Queries in Data Exchange Revisited -- PossDB: An Uncertainty Database Management System -- Aggregate Count Queries in Probabilistic Spatio-Temporal Databases -- Intelligent Data Analytics -- Approximate Reasoning about Generalized Conditional Independence with Complete Random Variables -- Combinatorial Prediction Markets: An Experimental Study -- A scalable learning algorithm for kernel probabilistic classifier -- Logics, Description Logic, and Semantic Web -- Privacy-Preserving Social Network Publication Based on Positional Indiscernibility -- On the implementation of a fuzzy DL solver over infinite-valued product logic with SMT solvers -- On the Merit of Selecting Different Belief Merging Operators -- Possibilistic DL-Lite -- Group Preferences for Query Answering in Datalog+/- Ontologies -- Reasoning with Semantic-Enabled Qualitative Preferences. |
| Record Nr. | UNISA-996466050703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Scalable Uncertainty Management : 7th International Conference, SUM 2013, Washington, DC, USA, September 16-18, 2013, Proceedings / / edited by Weiru Liu, V S Subrahmanian, Jef Wijsen
| Scalable Uncertainty Management : 7th International Conference, SUM 2013, Washington, DC, USA, September 16-18, 2013, Proceedings / / edited by Weiru Liu, V S Subrahmanian, Jef Wijsen |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIV, 387 p. 43 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Information storage and retrieval Computer networks Database management Data mining Artificial Intelligence Information Systems Applications (incl. Internet) Information Storage and Retrieval Computer Communication Networks Database Management Data Mining and Knowledge Discovery |
| ISBN | 3-642-40381-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Argumentation -- Analysis of dialogical argumentation via finite state machines -- What Can Argumentation Do for Inconsistent Ontology Query Answering? -- Enforcement in Argumentation is a kind of Update -- A Conditional Logic-Based Argumentation Framework -- Modelling Uncertainty in Persuasion -- On the implementation of a multiple output algorithm for defeasible argumentation -- A formal characterization of the outcomes of rule-based argumentation systems -- Bimodal Graphs for Meta-Argumentation with Argument Schemes -- Efficiently Estimating the Probability of Extensions in Abstract Argumentation -- AFs with Necessities : Further Semantics and Labelling Characterization -- Ranking-based semantics for argumentation frameworks -- A Logical Theory about Dynamics in Abstract Argumentation -- Belief Functions, Possibility Theory and their Applications -- Sound Source Localization from Uncertain Information using the Evidential EM Algorithm -- An Improvement of Subject Reacquisition by Reasoning and Revision -- Belief Functions: a Revision of Plausibility Conflict and Pignistic Conflict -- Bipolar possibility theory as a basis for a logic of desires and beliefs -- Databases -- A New Class of Lineage Expressions over Probabilistic Databases computable in P-time -- The Semantics of Aggregate Queries in Data Exchange Revisited -- PossDB: An Uncertainty Database Management System -- Aggregate Count Queries in Probabilistic Spatio-Temporal Databases -- Intelligent Data Analytics -- Approximate Reasoning about Generalized Conditional Independence with Complete Random Variables -- Combinatorial Prediction Markets: An Experimental Study -- A scalable learning algorithm for kernel probabilistic classifier -- Logics, Description Logic, and Semantic Web -- Privacy-Preserving Social Network Publication Based on Positional Indiscernibility -- On the implementation of a fuzzy DL solver over infinite-valued product logic with SMT solvers -- On the Merit of Selecting Different Belief Merging Operators -- Possibilistic DL-Lite -- Group Preferences for Query Answering in Datalog+/- Ontologies -- Reasoning with Semantic-Enabled Qualitative Preferences. |
| Record Nr. | UNINA-9910483609603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soft-Ware 2002: Computing in an Imperfect World [[electronic resource] ] : First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8-10, 2002 Proceedings / / edited by David Bustard, Weiru Liu
| Soft-Ware 2002: Computing in an Imperfect World [[electronic resource] ] : First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8-10, 2002 Proceedings / / edited by David Bustard, Weiru Liu |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XII, 364 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Operating systems (Computers)
Software engineering Management information systems Computer science Computers Artificial intelligence Operating Systems Software Engineering/Programming and Operating Systems Software Engineering Management of Computing and Information Systems Computation by Abstract Devices Artificial Intelligence |
| ISBN | 3-540-46019-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Technical Session 1 -- Overview of Fuzzy-RED in Diff-Serv Networks -- An Architecture for Agent-Enhanced Network Service Provisioning through SLA Negotiation -- Facing Fault Management as It Is, Aiming for What You Would Like It to Be -- Enabling Multimedia QoS Control with Black-Box Modelling -- Technical Session 2 -- Using Markov Chains for Link Prediction in Adaptive Web Sites -- Classification of Customer Call Data in the Presence of Concept Drift and Noise -- A Learning System for Decision Support in Telecommunications -- Adaptive User Modelling in an Intelligent Telephone Assistant -- Technical Session 3 -- A Query-Driven Anytime Algorithm for Argumentative and Abductive Reasoning -- Proof Length as an Uncertainty Factor in ILP -- Paraconsistency in Object-Oriented Databases -- Decision Support with Imprecise Data for Consumers -- Genetic Programming: A Parallel Approach -- Software Uncertainty -- Technical Session 4 -- Temporal Probabilistic Concepts from Heterogeneous Data Sequences -- Handling Uncertainty in a Medical Study of Dietary Intake during Pregnancy -- Sequential Diagnosis in the Independence Bayesian Framework -- Static Field Approach for Pattern Classification -- Inferring Knowledge from Frequent Patterns -- Anytime Possibilistic Propagation Algorithm -- Technical Session 5 -- Macro Analysis of Techniques to Deal with Uncertainty in Information Systems Development: Mapping Representational Framing Influences -- The Role of Emotion, Values, and Beliefs in the Construction of Innovative Work Realities -- Managing Evolving Requirements Using eXtreme Programming -- Text Summarization in Data Mining -- Invited Speakers -- Industrial Applications of Intelligent Systems at BTexact -- Intelligent Control of Wireless and Fixed Telecom Networks -- Assertions in Programming: From Scientific Theory to Engineering Practice -- Hybrid Soft Computing for Classification and Prediction Applications -- Why Users Cannot ‘Get What They Want’ -- Systems Design with the Reverend Bayes -- Formalism and Informality in Software Development -- Industrial Panel -- An Industrial Perspective on Soft Issues: Successes, Opportunities and Challenges. |
| Record Nr. | UNISA-996465552103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Soft-Ware 2002: Computing in an Imperfect World : First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8-10, 2002 Proceedings / / edited by David Bustard, Weiru Liu
| Soft-Ware 2002: Computing in an Imperfect World : First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8-10, 2002 Proceedings / / edited by David Bustard, Weiru Liu |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XII, 364 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Operating systems (Computers)
Software engineering Management information systems Computer science Computers Artificial intelligence Operating Systems Software Engineering/Programming and Operating Systems Software Engineering Management of Computing and Information Systems Computation by Abstract Devices Artificial Intelligence |
| ISBN | 3-540-46019-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Technical Session 1 -- Overview of Fuzzy-RED in Diff-Serv Networks -- An Architecture for Agent-Enhanced Network Service Provisioning through SLA Negotiation -- Facing Fault Management as It Is, Aiming for What You Would Like It to Be -- Enabling Multimedia QoS Control with Black-Box Modelling -- Technical Session 2 -- Using Markov Chains for Link Prediction in Adaptive Web Sites -- Classification of Customer Call Data in the Presence of Concept Drift and Noise -- A Learning System for Decision Support in Telecommunications -- Adaptive User Modelling in an Intelligent Telephone Assistant -- Technical Session 3 -- A Query-Driven Anytime Algorithm for Argumentative and Abductive Reasoning -- Proof Length as an Uncertainty Factor in ILP -- Paraconsistency in Object-Oriented Databases -- Decision Support with Imprecise Data for Consumers -- Genetic Programming: A Parallel Approach -- Software Uncertainty -- Technical Session 4 -- Temporal Probabilistic Concepts from Heterogeneous Data Sequences -- Handling Uncertainty in a Medical Study of Dietary Intake during Pregnancy -- Sequential Diagnosis in the Independence Bayesian Framework -- Static Field Approach for Pattern Classification -- Inferring Knowledge from Frequent Patterns -- Anytime Possibilistic Propagation Algorithm -- Technical Session 5 -- Macro Analysis of Techniques to Deal with Uncertainty in Information Systems Development: Mapping Representational Framing Influences -- The Role of Emotion, Values, and Beliefs in the Construction of Innovative Work Realities -- Managing Evolving Requirements Using eXtreme Programming -- Text Summarization in Data Mining -- Invited Speakers -- Industrial Applications of Intelligent Systems at BTexact -- Intelligent Control of Wireless and Fixed Telecom Networks -- Assertions in Programming: From Scientific Theory to Engineering Practice -- Hybrid Soft Computing for Classification and Prediction Applications -- Why Users Cannot ‘Get What They Want’ -- Systems Design with the Reverend Bayes -- Formalism and Informality in Software Development -- Industrial Panel -- An Industrial Perspective on Soft Issues: Successes, Opportunities and Challenges. |
| Record Nr. | UNINA-9910143910403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [[electronic resource] ] : 11th European Conference, ECSQARU 2011, Belfast, UK, June 29-July 1, 2011, Proceedings / / edited by Weiru Liu
| Symbolic and Quantitative Approaches to Reasoning with Uncertainty [[electronic resource] ] : 11th European Conference, ECSQARU 2011, Belfast, UK, June 29-July 1, 2011, Proceedings / / edited by Weiru Liu |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XIV, 762 p. 132 illus., 36 illus. in color.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Computer logic Mathematical logic Information storage and retrieval Computer communication systems Artificial Intelligence Information Systems Applications (incl. Internet) Logics and Meanings of Programs Mathematical Logic and Formal Languages Information Storage and Retrieval Computer Communication Networks |
| ISBN | 3-642-22152-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465741403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||