| Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings
|
2020 |
Beierle, Christoph |
| Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems
|
2020 |
Schewe,, Flavio Ferrarotti, Senén González, Klaus-Dieter |
| Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case
|
2020 |
Ognjanovié,, Silvia Ghilezan, Jelena Ivetié, Simona Kasterovié, Zoran |
| Game Description Logic with Integers: A GDL Numerical Extension
|
2020 |
Mittelmann, Munyque |
| Craig Interpolation of Epistemic Logics with Distributed Knowledge
|
2020 |
Murai, Ryo |
| Strongly Minimal MapReduce Algorithms: À TeraSort Case Study
|
2020 |
Srinivasan,, Daniel Xia, Michael Simpson, Venkatesh |
| Utilizing Deep Learning and RDF to Predict Heart Transplatation Survival
|
2020 |
Nilsson,, Dennis Medved, Johan |
| Logic-Based Approach to Incremental Monitoring and Optimization on Strongly Distributed Data Streams
|
2020 |
Ravve, Elena V. |
| Schema Optimisation Instead of (Local) Normalisation
|
2020 |
Thalheim, Bernhard |
| Functional Dependencies in Incomplete Databases with Limited Domains
|
2020 |
Alattar, Munqath |
| On Matrices and K-Relations
|
2020 |
Gyssens,, Robert Brijder, Marc |
| ASPARTIX-V19 - An Answer-Set Programming Based System for Abstract Argumentation ..
|
2020 |
Wallner,, Wolfgang Dvorak, Anna Rapberger, Johannes P. |
| Measuring Inconsistency in a General Information Space
|
2020 |
Grant, John |
| Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic
|
2020 |
Mahmood, Yasir |
| Realisability of Choreographies
|
2020 |
Ait-Ameur,, Klaus-Dieter Schewe, Yamine |
| Social Consolidations: Rational Belief in a Many-Valued Logic of Evidence and Peerhood
|
2020 |
Santos, Yuri David |
| Diversity , Dependence and Independence
|
2020 |
Galliani, Pietro |
| On the Dynamics of Structured Argumentation: Modeling Changes in Default Justification Logic
|
2020 |
Pandzié, Stipe |
| Event Sequence Interpretation of Structural Geomodels: A Knowledge-Based Approach for Extracting Tectonic Sequences
|
2020 |
Lu,, Xianglin Zhan, Cai |
Tag hinzufügen