Advances in Artificial Intelligence: From Theory to Practice [[electronic resource] ] : 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part II / / edited by Salem Benferhat, Karim Tabia, Moonis Ali |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XXVII, 470 p. 114 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Software engineering Computer communication systems Algorithms Application software Natural language processing (Computer science) Artificial Intelligence Software Engineering/Programming and Operating Systems Computer Communication Networks Algorithm Analysis and Problem Complexity Information Systems Applications (incl. Internet) Natural Language Processing (NLP) |
ISBN | 3-319-60045-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Constraints, planning, and optimization -- Data mining and machine learning -- Sensors, signal processing, and data fusion -- Recommender systems -- Decision support systems -- Knowledge representation and reasoning -- Navigation, control, and autonome agents -- Sentiment analysis and social media -- Games, computer vision, and animation -- Uncertainty management -- Graphical models: from theory to applications -- Anomaly detection -- Agronomy and artificial intelligence -- Applications of argumentation -- Intelligent systems in healthcare and mhealth for health outcomes -- Innovative applications of textual analysis based on AI. |
Record Nr. | UNISA-996466280703316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advances in Artificial Intelligence: From Theory to Practice [[electronic resource] ] : 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I / / edited by Salem Benferhat, Karim Tabia, Moonis Ali |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XXIX, 642 p. 183 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Software engineering Computer communication systems Algorithms Application software Natural language processing (Computer science) Artificial Intelligence Software Engineering/Programming and Operating Systems Computer Communication Networks Algorithm Analysis and Problem Complexity Information Systems Applications (incl. Internet) Natural Language Processing (NLP) |
ISBN | 3-319-60042-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Constraints, planning, and optimization -- Data mining and machine learning -- Sensors, signal processing, and data fusion -- Recommender systems -- Decision support systems -- Knowledge representation and reasoning -- Navigation, control, and autonome agents -- Sentiment analysis and social media -- Games, computer vision, and animation -- Uncertainty management -- Graphical models: from theory to applications -- Anomaly detection -- Agronomy and artificial intelligence -- Applications of argumentation -- Intelligent systems in healthcare and mhealth for health outcomes -- Innovative applications of textual analysis based on AI. |
Record Nr. | UNISA-996466280203316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advances in Artificial Intelligence: From Theory to Practice : 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part II / / edited by Salem Benferhat, Karim Tabia, Moonis Ali |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XXVII, 470 p. 114 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Software engineering Computer communication systems Algorithms Application software Natural language processing (Computer science) Artificial Intelligence Software Engineering/Programming and Operating Systems Computer Communication Networks Algorithm Analysis and Problem Complexity Information Systems Applications (incl. Internet) Natural Language Processing (NLP) |
ISBN | 3-319-60045-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Constraints, planning, and optimization -- Data mining and machine learning -- Sensors, signal processing, and data fusion -- Recommender systems -- Decision support systems -- Knowledge representation and reasoning -- Navigation, control, and autonome agents -- Sentiment analysis and social media -- Games, computer vision, and animation -- Uncertainty management -- Graphical models: from theory to applications -- Anomaly detection -- Agronomy and artificial intelligence -- Applications of argumentation -- Intelligent systems in healthcare and mhealth for health outcomes -- Innovative applications of textual analysis based on AI. |
Record Nr. | UNINA-9910484527803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in Artificial Intelligence: From Theory to Practice : 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I / / edited by Salem Benferhat, Karim Tabia, Moonis Ali |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XXIX, 642 p. 183 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Software engineering Computer communication systems Algorithms Application software Natural language processing (Computer science) Artificial Intelligence Software Engineering/Programming and Operating Systems Computer Communication Networks Algorithm Analysis and Problem Complexity Information Systems Applications (incl. Internet) Natural Language Processing (NLP) |
ISBN | 3-319-60042-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Constraints, planning, and optimization -- Data mining and machine learning -- Sensors, signal processing, and data fusion -- Recommender systems -- Decision support systems -- Knowledge representation and reasoning -- Navigation, control, and autonome agents -- Sentiment analysis and social media -- Games, computer vision, and animation -- Uncertainty management -- Graphical models: from theory to applications -- Anomaly detection -- Agronomy and artificial intelligence -- Applications of argumentation -- Intelligent systems in healthcare and mhealth for health outcomes -- Innovative applications of textual analysis based on AI. |
Record Nr. | UNINA-9910484331203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Scalable Uncertainty Management [[electronic resource] ] : 5th International Conference, SUM 2011, Dayton, OH, USA, October 10-13, 2011, Proceedings / / edited by Salem Benferhat, John Grant |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XII, 562 p.) |
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-23963-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465409603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [[electronic resource] ] : 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings / / edited by Salem Benferhat, Philippe Besnard |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (XIV, 818 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Programming languages (Electronic computers) Mathematical logic Information technology Business—Data processing Artificial Intelligence Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages IT in Business |
ISBN | 3-540-44652-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Graphical Models as Languages for Computer Assisted Diagnosis and Decision Making -- Planning with Uncertainty and Incomplete Information -- What’s Your Preference? And How to Express and Implement It in Logic Programming! -- Contributed Papers -- On Preference Representation on an Ordinal Scale -- Rule-Based Decision Support in Multicriteria Choice and Ranking -- Propositional Distances and Preference Representation -- Contributed Papers -- Value Iteration over Belief Subspace -- Space-Progressive Value Iteration: An Anytime Algorithm for a Class of POMDPs -- Contributed Papers -- Reasoning about Intentions in Uncertain Domains -- Troubleshooting with Simultaneous Models -- A Rational Conditional Utility Model in a Coherent Framework -- Contributed Papers -- Probabilistic Reasoning as a General Unifying Tool -- An Operational View of Coherent Conditional Previsions -- Contributed Papers -- Decomposition of Influence Diagrams -- Mixtures of Truncated Exponentials in Hybrid Bayesian Networks -- Importance Sampling in Bayesian Networks Using Antithetic Variables -- Using Recursive Decomposition to Construct Elimination Orders, Jointrees, and Dtrees -- Caveats For Causal Reasoning With Equilibrium Models -- Contributed Papers -- Supporting Changes in Structure in Causal Model Construction -- The Search of Causal Orderings: A Short Cut for Learning Belief Networks -- Stochastic Local Algorithms for Learning Belief Networks: Searching in the Space of the Orderings -- An Empirical Investigation of the K2 Metric -- Contributed Papers -- Sequential Valuation Networks: A New Graphical Technique for Asymmetric Decision Problems -- A Two-Steps Algorithm for Min-Based Possibilistic Causal Networks -- Contributed Papers -- Computing Intervals of Probabilities with Simulated Annealing and Probability Trees -- Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning -- Contributed Papers -- Belief Functions with Partially Ordered Values -- Dempster Specialization Matrices and the Combination of Belief Functions -- On the Conceptual Status of Belief Functions with Respect to Coherent Lower Probabilities -- About Conditional Belief Function Independence -- The Evaluation of Sensors’ Reliability and Their Tuning for Multisensor Data Fusion within the Transferable Belief Model -- Coarsening Approximations of Belief Functions -- Contributed Papers -- Label Semantics: A Formal Framework for Modeling with Words -- Reasoning about Knowledge Using Rough Sets -- Contributed Papers -- The Capacity of a Possibilistic Channel -- New Semantics for Quantitative Possibility Theory -- Bridging logical, comparative and graphical possibilistic representation frameworks -- Contributed Papers -- Ellipse fitting with uncertainty and fuzzy decision stage for detection. Application in videomicroscopy. -- Probabilistic Modelling for Software Quality Control -- Spatial Information Revision: A Comparison between 3 Approaches -- Contributed Papers -- Social Choice, Merging, and Elections -- Data merging: Theory of Evidence vs knowledge-bases merging operators -- Contributed Papers -- A Priori Revision -- Some Operators for Iterated Revision -- On Computing Solutions to Belief Change Scenarios -- “Not impossible” vs. “guaranteed possible” in fusion and revision -- General Preferential Entaulments as Circumscriptions -- Contributed Papers -- A Semantic Tableau Version of First-Order Quasi-Classical Logic -- On Anytime Coherence-Based Reasoning -- Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires -- Contributed Papers -- Comparing a Pair-wise Compatibility Heuristic and Relaxed Stratification: Some Preliminary Results -- How to Reason Credulously and Skeptically within a Single Extension -- Contributed Papers -- Handling Conditionals Adequately in Uncertain Reasoning -- Rankings We Prefer -- Contributed Papers -- Formalizing Human Uncertain Reasoning with Default Rules: A Psychological Conundrum and a Pragmatic Suggestion -- Statistical Information, Uncertainty, and Bayes’ Theorem: Some Applications in Experimental Psychology -- Polymorphism of Human Judgment under Uncertainty -- How to Doubt about a Conditional -- Contributed Papers -- Dialectical Proof Theories for the Credulous Preferred Semantics of Argumentation Frameworks -- Argumentation and Qualitative Probabilistic Reasoning Using the Kappa Calculus -- Contributed Papers -- Importance Measures from Reliability Theory for Probabilistic Assumption-Based Reasoning -- Ramification in the Normative Method of Causality -- Simultaneous Events: Conflicts and Preferences -- Orthogonal Relations for Reasoning about Abstract Events -- Contributed Papers -- Explanatory Relations Based on Mathematical Morphology -- Monotonic and Residuated Logic Programs -- Contributed Papers -- A Proof Procedure for Possibilistic Logic Programming with Fuzzy Constants -- First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems -- Contributed Papers -- Complete and Incomplete Knowledge in Logical Information Systems -- Extending Polynomiality to a Class of Non-clausal Many-Valued Horn-Like Formulas -- A Genetic Algorithm for Satisfiability Problem in a Probabilistic Logic: A First Report. |
Record Nr. | UNISA-996465788603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings / / edited by Salem Benferhat, Philippe Besnard |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (XIV, 818 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Programming languages (Electronic computers) Mathematical logic Information technology Business—Data processing Artificial Intelligence Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages IT in Business |
ISBN | 3-540-44652-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Graphical Models as Languages for Computer Assisted Diagnosis and Decision Making -- Planning with Uncertainty and Incomplete Information -- What’s Your Preference? And How to Express and Implement It in Logic Programming! -- Contributed Papers -- On Preference Representation on an Ordinal Scale -- Rule-Based Decision Support in Multicriteria Choice and Ranking -- Propositional Distances and Preference Representation -- Contributed Papers -- Value Iteration over Belief Subspace -- Space-Progressive Value Iteration: An Anytime Algorithm for a Class of POMDPs -- Contributed Papers -- Reasoning about Intentions in Uncertain Domains -- Troubleshooting with Simultaneous Models -- A Rational Conditional Utility Model in a Coherent Framework -- Contributed Papers -- Probabilistic Reasoning as a General Unifying Tool -- An Operational View of Coherent Conditional Previsions -- Contributed Papers -- Decomposition of Influence Diagrams -- Mixtures of Truncated Exponentials in Hybrid Bayesian Networks -- Importance Sampling in Bayesian Networks Using Antithetic Variables -- Using Recursive Decomposition to Construct Elimination Orders, Jointrees, and Dtrees -- Caveats For Causal Reasoning With Equilibrium Models -- Contributed Papers -- Supporting Changes in Structure in Causal Model Construction -- The Search of Causal Orderings: A Short Cut for Learning Belief Networks -- Stochastic Local Algorithms for Learning Belief Networks: Searching in the Space of the Orderings -- An Empirical Investigation of the K2 Metric -- Contributed Papers -- Sequential Valuation Networks: A New Graphical Technique for Asymmetric Decision Problems -- A Two-Steps Algorithm for Min-Based Possibilistic Causal Networks -- Contributed Papers -- Computing Intervals of Probabilities with Simulated Annealing and Probability Trees -- Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning -- Contributed Papers -- Belief Functions with Partially Ordered Values -- Dempster Specialization Matrices and the Combination of Belief Functions -- On the Conceptual Status of Belief Functions with Respect to Coherent Lower Probabilities -- About Conditional Belief Function Independence -- The Evaluation of Sensors’ Reliability and Their Tuning for Multisensor Data Fusion within the Transferable Belief Model -- Coarsening Approximations of Belief Functions -- Contributed Papers -- Label Semantics: A Formal Framework for Modeling with Words -- Reasoning about Knowledge Using Rough Sets -- Contributed Papers -- The Capacity of a Possibilistic Channel -- New Semantics for Quantitative Possibility Theory -- Bridging logical, comparative and graphical possibilistic representation frameworks -- Contributed Papers -- Ellipse fitting with uncertainty and fuzzy decision stage for detection. Application in videomicroscopy. -- Probabilistic Modelling for Software Quality Control -- Spatial Information Revision: A Comparison between 3 Approaches -- Contributed Papers -- Social Choice, Merging, and Elections -- Data merging: Theory of Evidence vs knowledge-bases merging operators -- Contributed Papers -- A Priori Revision -- Some Operators for Iterated Revision -- On Computing Solutions to Belief Change Scenarios -- “Not impossible” vs. “guaranteed possible” in fusion and revision -- General Preferential Entaulments as Circumscriptions -- Contributed Papers -- A Semantic Tableau Version of First-Order Quasi-Classical Logic -- On Anytime Coherence-Based Reasoning -- Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires -- Contributed Papers -- Comparing a Pair-wise Compatibility Heuristic and Relaxed Stratification: Some Preliminary Results -- How to Reason Credulously and Skeptically within a Single Extension -- Contributed Papers -- Handling Conditionals Adequately in Uncertain Reasoning -- Rankings We Prefer -- Contributed Papers -- Formalizing Human Uncertain Reasoning with Default Rules: A Psychological Conundrum and a Pragmatic Suggestion -- Statistical Information, Uncertainty, and Bayes’ Theorem: Some Applications in Experimental Psychology -- Polymorphism of Human Judgment under Uncertainty -- How to Doubt about a Conditional -- Contributed Papers -- Dialectical Proof Theories for the Credulous Preferred Semantics of Argumentation Frameworks -- Argumentation and Qualitative Probabilistic Reasoning Using the Kappa Calculus -- Contributed Papers -- Importance Measures from Reliability Theory for Probabilistic Assumption-Based Reasoning -- Ramification in the Normative Method of Causality -- Simultaneous Events: Conflicts and Preferences -- Orthogonal Relations for Reasoning about Abstract Events -- Contributed Papers -- Explanatory Relations Based on Mathematical Morphology -- Monotonic and Residuated Logic Programs -- Contributed Papers -- A Proof Procedure for Possibilistic Logic Programming with Fuzzy Constants -- First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems -- Contributed Papers -- Complete and Incomplete Knowledge in Logical Information Systems -- Extending Polynomiality to a Class of Non-clausal Many-Valued Horn-Like Formulas -- A Genetic Algorithm for Satisfiability Problem in a Probabilistic Logic: A First Report. |
Record Nr. | UNINA-9910143627403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|