Foundations of Information and Knowledge Systems [[electronic resource] ] : 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings / / edited by Christoph Beierle, Carlo Meghini |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XVIII, 433 p. 95 illus.) |
Disciplina | 004 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Mathematical logic
Computer science—Mathematics Computer logic Algorithms Artificial intelligence Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science Logics and Meanings of Programs Mathematics of Computing Algorithm Analysis and Problem Complexity Artificial Intelligence |
ISBN | 3-319-04939-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- The Equational Approach to Contrary-to-duty Obligations -- A Survey of the Data Complexity of Consistent Query Answering under Key Constraints -- Regular Articles -- Arguments Using Ontological and Causal Knowledge -- Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions -- An AIF-Based Labeled Argumentation Framework -- On the Semantics of Partially Ordered Bases -- The Structure of Oppositions in Rough Set Theory and Formal Concept Analysis - Toward a New Bridge between the Two Settings -- Enriching Taxonomies of Place Types Using Flickr -- Hintikka-Style Semantic Games for Fuzzy Logics -- A Finite Axiomatization of Conditional Independence and Inclusion Dependencies -- Guard Independence and Constraint-Preserving Snapshot Isolation -- Implication and Axiomatization of Functional Constraints on Patterns with an Application to the RDF Data Model -- View-Based Tree-Language Rewritings for XML -- EHC: Non-parametric Editing by Finding Homogeneous Clusters -- A Logic for Specifying Stochastic Actions and Observations -- Belief Revision in Structured Probabilistic Argumentation -- A Multi-granular Database Model -- Optimizing Computation of Repairs from Active Integrity Constraints -- Belief Merging in Dynamic Logic of Propositional Assignments -- Incremental Maintenance of Aggregate Views -- Towards an Approximative Ontology-Agnostic Approach for Logic Programs. |
Record Nr. | UNISA-996205176903316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Foundations of Information and Knowledge Systems : 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings / / edited by Christoph Beierle, Carlo Meghini |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XVIII, 433 p. 95 illus.) |
Disciplina | 004 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Mathematical logic
Computer science—Mathematics Computer logic Algorithms Artificial intelligence Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science Logics and Meanings of Programs Mathematics of Computing Algorithm Analysis and Problem Complexity Artificial Intelligence |
ISBN | 3-319-04939-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- The Equational Approach to Contrary-to-duty Obligations -- A Survey of the Data Complexity of Consistent Query Answering under Key Constraints -- Regular Articles -- Arguments Using Ontological and Causal Knowledge -- Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions -- An AIF-Based Labeled Argumentation Framework -- On the Semantics of Partially Ordered Bases -- The Structure of Oppositions in Rough Set Theory and Formal Concept Analysis - Toward a New Bridge between the Two Settings -- Enriching Taxonomies of Place Types Using Flickr -- Hintikka-Style Semantic Games for Fuzzy Logics -- A Finite Axiomatization of Conditional Independence and Inclusion Dependencies -- Guard Independence and Constraint-Preserving Snapshot Isolation -- Implication and Axiomatization of Functional Constraints on Patterns with an Application to the RDF Data Model -- View-Based Tree-Language Rewritings for XML -- EHC: Non-parametric Editing by Finding Homogeneous Clusters -- A Logic for Specifying Stochastic Actions and Observations -- Belief Revision in Structured Probabilistic Argumentation -- A Multi-granular Database Model -- Optimizing Computation of Repairs from Active Integrity Constraints -- Belief Merging in Dynamic Logic of Propositional Assignments -- Incremental Maintenance of Aggregate Views -- Towards an Approximative Ontology-Agnostic Approach for Logic Programs. |
Record Nr. | UNINA-9910484370703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Scalable Uncertainty Management [[electronic resource] ] : 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings / / edited by Christoph Beierle, Alex Dekhtyar |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XIX, 421 p. 77 illus.) |
Disciplina | 003.54 |
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-319-23540-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The mysterious world of normal numbers -- Bayesian Networks -- Probabilistic Query Answering in the Bayesian Description Logic BEL -- The Complexity of Plate Probabilistic Models -- DL-Lite Bayesian Networks: A Tractable Probabilistic Graphical Model -- Probabilistic Models -- State Space Search with Stochastic Costs and Risk Aversion -- On the Impact of Junction-Tree Topology on Weighted Model Counting -- A System for Probabilistic Inductive Answer Set Programming -- Towards Large-Scale Probabilistic OBDA -- Reasoning over Linear Probabilistic Knowledge Bases with Priorities -- Intelligent Data Analytics -- Evenness-based reasoning with logical proportions applied to classification -- Multivariate Cluster-Based Discretization for Bayesian Network Structure Learning -- Modeling and Forecasting Time Series of Compositional Data: A Generalized Dirichlet Power Steady Model -- Linguistic and Graphical Explanation of a Cluster-based Data Structure -- Possibility Theory, Belief Functions and Transformations -- Probability-possibility transformations: Application to credal networks -- Planning in Partially Observable Domains with Fuzzy Epistemic States and Probabilistic Dynamics -- Propagation of Belief Functions in Singly-Connected Hybrid Directed Evidential Networks -- Uncertain logical gates in possibilistic networks. An application to human geography -- Argumentation -- Undercutting in argumentation systems -- Formalizing Explanatory Dialogues -- Towards a dual process cognitive model for argument evaluation -- Change in abstract bipolar argumentation systems -- On argumentation with purely defeasible rules -- Dealing with Inconsistency -- A possibilistic analysis of inconsistency -- First-Order Under-Approximations of Consistent Query Answers -- Using Rules of Thumb for Repairing Inconsistent Answer Set Program -- Applications -- Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models -- ERBlox: Combining Matching Dependencies with Machine Learning for Entity Resolution -- Matching uncertain identities against sparse knowledge. |
Record Nr. | UNISA-996466457603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Scalable Uncertainty Management : 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings / / edited by Christoph Beierle, Alex Dekhtyar |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XIX, 421 p. 77 illus.) |
Disciplina | 003.54 |
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-319-23540-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The mysterious world of normal numbers -- Bayesian Networks -- Probabilistic Query Answering in the Bayesian Description Logic BEL -- The Complexity of Plate Probabilistic Models -- DL-Lite Bayesian Networks: A Tractable Probabilistic Graphical Model -- Probabilistic Models -- State Space Search with Stochastic Costs and Risk Aversion -- On the Impact of Junction-Tree Topology on Weighted Model Counting -- A System for Probabilistic Inductive Answer Set Programming -- Towards Large-Scale Probabilistic OBDA -- Reasoning over Linear Probabilistic Knowledge Bases with Priorities -- Intelligent Data Analytics -- Evenness-based reasoning with logical proportions applied to classification -- Multivariate Cluster-Based Discretization for Bayesian Network Structure Learning -- Modeling and Forecasting Time Series of Compositional Data: A Generalized Dirichlet Power Steady Model -- Linguistic and Graphical Explanation of a Cluster-based Data Structure -- Possibility Theory, Belief Functions and Transformations -- Probability-possibility transformations: Application to credal networks -- Planning in Partially Observable Domains with Fuzzy Epistemic States and Probabilistic Dynamics -- Propagation of Belief Functions in Singly-Connected Hybrid Directed Evidential Networks -- Uncertain logical gates in possibilistic networks. An application to human geography -- Argumentation -- Undercutting in argumentation systems -- Formalizing Explanatory Dialogues -- Towards a dual process cognitive model for argument evaluation -- Change in abstract bipolar argumentation systems -- On argumentation with purely defeasible rules -- Dealing with Inconsistency -- A possibilistic analysis of inconsistency -- First-Order Under-Approximations of Consistent Query Answers -- Using Rules of Thumb for Repairing Inconsistent Answer Set Program -- Applications -- Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models -- ERBlox: Combining Matching Dependencies with Machine Learning for Entity Resolution -- Matching uncertain identities against sparse knowledge. |
Record Nr. | UNINA-9910484001503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|