default search action
11th FoIKS 2020: Dortmund, Germany
- Andreas Herzig, Juha Kontinen:
Foundations of Information and Knowledge Systems - 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings. Lecture Notes in Computer Science 12012, Springer 2020, ISBN 978-3-030-39950-4 - Munqath Alattar, Attila Sali:
Functional Dependencies in Incomplete Databases with Limited Domains. 1-21 - Christoph Beierle, Jonas Haldimann:
Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings. 22-41 - Robert Brijder, Marc Gyssens, Jan Van den Bussche:
On Matrices and K-Relations. 42-57 - Yuri David Santos:
Social Consolidations: Rational Belief in a Many-Valued Logic of Evidence and Peerhood. 58-78 - Wolfgang Dvorák, Anna Rapberger, Johannes Peter Wallner, Stefan Woltran:
ASPARTIX-V19 - An Answer-Set Programming Based System for Abstract Argumentation. 79-89 - Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres:
Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems. 90-105 - Pietro Galliani, Jouko Väänänen:
Diversity, Dependence and Independence. 106-121 - Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic:
Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case. 122-139 - John Grant, Francesco Parisi:
Measuring Inconsistency in a General Information Space. 140-156 - Yasir Mahmood, Arne Meier:
Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic. 157-174 - Dennis Medved, Johan Nilsson, Pierre Nugues:
Utilizing Deep Learning and RDF to Predict Heart Transplantation Survival. 175-190 - Munyque Mittelmann, Laurent Perrussel:
Game Description Logic with Integers: A GDL Numerical Extension. 191-210 - Ryo Murai, Katsuhiko Sano:
Craig Interpolation of Epistemic Logics with Distributed Knowledge. 211-221 - Stipe Pandzic:
On the Dynamics of Structured Argumentation: Modeling Changes in Default Justification Logic. 222-241 - Elena V. Ravve:
Logic-Based Approach to Incremental Monitoring and Optimization on Strongly Distributed Data Streams. 242-262 - Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub:
Realisability of Choreographies. 263-280 - Bernhard Thalheim:
Schema Optimisation Instead of (Local) Normalisation. 281-300 - Daniel Xia, Michael Simpson, Venkatesh Srinivasan, Alex Thomo:
Strongly Minimal MapReduce Algorithms: A TeraSort Case Study. 301-317 - Xianglin Zhan, Cai Lu, Guangmin Hu:
Event Sequence Interpretation of Structural Geomodels: A Knowledge-Based Approach for Extracting Tectonic Sequences. 318-333
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.