Foundations of Information and Knowledge Systems: 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings

s of Invited Talks First-Order Logic of Information Flows: Expressibility, Primitivity, Input-Output Properties, and Limited Access Patterns

[1]  Tomasz Imielinski,et al.  Incomplete Information in Relational Databases , 1984, JACM.

[2]  Shichao Zhang,et al.  "Missing is useful": missing values in cost-sensitive decision trees , 2005, IEEE Transactions on Knowledge and Data Engineering.

[3]  Hans-Peter Kriegel,et al.  SigniTrend: scalable detection of emerging topics in textual streams by hashed significance thresholds , 2014, KDD.

[4]  Zoran Ognjanovic,et al.  Probabilistic Reasoning About Simply Typed Lambda Terms , 2018, LFCS.

[5]  T. Hailperin,et al.  Best Possible Inequalities for the Probability of a Logical Function of Events , 1965 .

[6]  Matthias Thimm.  Stream-based inconsistency measurement , 2016, Int. J. Approx. Reason..

[7]  Paolo Atzeni,et al.  Functional Dependencies and Constraints on Null Values in Database Relations , 1986, Inf. Control..

[8]  Moshe Y. Vardi.  The complexity of relational query languages (Extended Abstract) , 1982, STOC '82.

[9]  Doina Caragea,et al.  Graph Databases , 2019, Encyclopedia of Big Data Technologies.

[10]  John Grant,et al.  Inconsistency Measures for Relational Databases , 2019, ArXiv.

[11]  Miodrag Raskovic,et al.  Probability Logics , 2016, Springer International Publishing.

[12]  Michele Pagani,et al.  The Discriminating Power of the Let-In Operator in the Lazy Call-by-Name Probabilistic lambda-Calculus , 2019, FSCD.

[13]  Hinrich Schütze,et al.  Book Reviews: Foundations of Statistical Natural Language Processing , 1999, CL.

[14]  Alonzo Church,et al.  A formulation of the simple theory of types , 1940, Journal of Symbolic Logic.

[15]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[16]  John Grant,et al.  Knowledge Representation in Probabilistic Spatio-Temporal Knowledge Bases , 2016, J. Artif. Intell. Res..

[17]  Michael Rathjen,et al.  Lambda Calculus with Types , 2014 .

[18]  G. Longo,et al.  Lambda-Calculus Models and Extensionality , 1980, Math. Log. Q..

[19]  Guilin Qi,et al.  A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite , 2017, Int. J. Approx. Reason..

[20]  Elena V. Ravve,et al.  Effective optimization with weighted automata on decomposable trees , 2014 .

[21]  Ugo Dal Lago,et al.  On Applicative Similarity, Sequentiality, and Full Abstraction , 2015, Correct System Design.

[22]  Sebastian Link,et al.  SQL Schema Design: Foundations, Normal Forms, and Normalization , 2016, SIGMOD Conference.

[23]  Jerzy W. Grzymala-Busse,et al.  A Comparison of Several Approaches to Missing Attribute Values in Data Mining , 2000, Rough Sets and Current Trends in Computing.

[24]  Witold Pedrycz,et al.  A Novel Framework for Imputation of Missing Values in Databases , 2007, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[25]  Assaf Schuster,et al.  Shape Sensitive Geometric Monitoring , 2008, IEEE Transactions on Knowledge and Data Engineering.

[26]  Ugo Dal Lago,et al.  On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi , 2014, ESOP.

[27]  Mark Levene,et al.  Axiomatisation of Functional Dependencies in Incomplete Relations , 1998, Theor. Comput. Sci..

[28]  Silvia Ghilezan,et al.  Strong Normalization and Typability with Intersection Types , 1996, Notre Dame J. Formal Log..

[29]  Nissim Francez,et al.  Basic simple type theory , 1998 .

[30]  H. Jerome Keisler.  Hyperfinite models of adapted probability logic , 1986, Ann. Pure Appl. Log..

[31]  Ugo Dal Lago,et al.  On coinductive equivalences for higher-order probabilistic functional programs , 2013, POPL.

[32]  V. S. Subrahmanian,et al.  Top-k User-Defined Vertex Scoring Queries in Edge-Labeled Graph Databases , 2018, TWEB.

[33]  Matthias Thimm,et al.  On the expressivity of inconsistency measures , 2016, Artif. Intell..

[34]  Henk Barendregt,et al.  The Lambda Calculus: Its Syntax and Semantics , 1985 .

[35]  Sebastian Link,et al.  Possible and certain keys for SQL , 2016, The VLDB Journal.

[36]  Weiru Liu,et al.  A Syntax-based approach to measuring the degree of inconsistency for belief bases , 2011, Int. J. Approx. Reason..

[37]  Mariangiola Dezani-Ciancaglini,et al.  A filter lambda model and the completeness of type assignment , 1983, Journal of Symbolic Logic.

[38]  Matthias Thimm,et al.  On the complexity of inconsistency measurement , 2019, Artif. Intell..

[39]  Manfred Kraus.  Early Greek Probability Arguments and Common Ground in Dissensus , 2007 .

[40]  Assaf Schuster,et al.  A Geometric Approach to Monitoring Threshold Functions over Distributed Data Streams , 2010, Ubiquitous Knowledge Discovery.

[41]  Y. Edmund Lien,et al.  On the Equivalence of Database Models , 1982, JACM.

[42]  H. Gaifman.  Concerning measures in first order calculi , 1964 .

[43]  Mariangiola Dezani-Ciancaglini,et al.  A new type assignment for λ-terms , 1978, Arch. Math. Log..

[44]  Elena V. Ravve,et al.  Incremental Verification and Coverage Analysis of Strongly Distributed Systems , 2018 .

[45]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[46]  Guohui Xiao,et al.  Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets , 2012, ECAI.

[47]  Lukasz A. Kurgan,et al.  Impact of imputation of missing values on classification error for discrete data , 2008, Pattern Recognit..

[48]  Sebastian Link,et al.  Embedded Functional Dependencies and Data-completeness Tailored Database Design , 2019, Proc. VLDB Endow..

[49]  John Grant,et al.  On repairing and querying inconsistent probabilistic spatio-temporal databases , 2017, Int. J. Approx. Reason..