Foundations of Information and Knowledge Systems -

. .

Résumé :
Functional Dependencies in Incomplete Databases With Limited Domains.- Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings.- On matrices and K-relations.- Social Consolidations: Rational Belief in a Many-Valued Logic of Evidence and Peerhood.- ASPARTIX-V19 - An Answer-set Programming based System for Abstract Argumentation.- Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems.- Diversity, Dependence and Independence.- Towards Probabilistic Reasoning in Type Theory - the Intersection Type Case.- Measuring Inconsistency in a General Information Space.- Parameterised Complexity of Model Checking and Satisability in Propositional Dependence Logic.- Utilizing Deep Learning and RDF to Predict Heart Transplantation Survival.- Game Description Logic with Integers: A GDL Numerical Extension.- Craig Interpolation of Epistemic Logics with Distributed Knowledge.- On the dynamics of structured argumentation: Modeling changes in default justication logic.- Logic-based Approach to Incremental Monitoring and Optimization on Strongly Distributed Data Streams.- Realisability of Choreographies.- Schema Optimisation Instead Of (Local) Normalisation.- Strongly Minimal MapReduce Algorithms: A TeraSort Case Study.- Event Sequence Interpretation of Structural Geomodels: A Knowledge-Based Approach for Extracting Tectonic Sequences....

Biographie:
Normal Forms of Conditional Knowledge Bases Respecting Entailments ...

Sommaire:
Functional Dependencies in Incomplete Databases With Limited Domains.- Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings.- On matrices and K-relations.- Social Consolidations: Rational Belief in a Many-Valued Logic of Evidence and Peerhood.- ASPARTIX-V19 - An Answer-set Programming based System for Abstract Argumentation.- Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems.- Diversity, Dependence and Independence.- Towards Probabilistic Reasoning in Type Theory - the Intersection Type Case.- Measuring Inconsistency in a General Information Space.- Parameterised Complexity of Model Checking and Satisability in Propositional Dependence Logic.- Utilizing Deep Learning and RDF to Predict Heart Transplantation Survival.- Game Description Logic with Integers: A GDL Numerical Extension.- Craig Interpolation of Epistemic Logics with Distributed Knowledge.- On the dynamics of structured argumentation: Modeling changes in default justication logic.- Logic-based Approach to Incremental Monitoring and Optimization on Strongly Distributed Data Streams.- Realisability of Choreographies.- Schema Optimisation Instead Of (Local) Normalisation.- Strongly Minimal MapReduce Algorithms: A TeraSort Case Study.- Event Sequence Interpretation of Structural Geomodels: A Knowledge-Based Approach for Extracting Tectonic Sequences....