Lecture Notes in Computer Science - Foundations of Information and Knowledge Systems
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 19)

H-INDEX

1

(FIVE YEARS 1)

Published By Springer International Publishing

9783030399504, 9783030399511

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case

Lecture Notes in Computer Science - Foundations of Information and Knowledge Systems ◽

10.1007/978-3-030-39951-1_8 ◽

2020 ◽

pp. 122-139

Author(s):

Silvia Ghilezan ◽

Jelena Ivetić ◽

Simona Kašterović ◽

Zoran Ognjanović ◽

Nenad Savić

Keyword(s):

Type Theory ◽

Probabilistic Reasoning

Download Full-text

Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings

Lecture Notes in Computer Science - Foundations of Information and Knowledge Systems ◽

10.1007/978-3-030-39951-1_2 ◽

2020 ◽

pp. 22-41

Author(s):

Christoph Beierle ◽

Jonas Haldimann

Keyword(s):

Normal Forms ◽

Knowledge Bases ◽

Conditional Knowledge

Download Full-text

Schema Optimisation Instead of (Local) Normalisation

Lecture Notes in Computer Science - Foundations of Information and Knowledge Systems ◽

10.1007/978-3-030-39951-1_17 ◽

2020 ◽

pp. 281-300

Author(s):

Bernhard Thalheim

Download Full-text

On the Dynamics of Structured Argumentation: Modeling Changes in Default Justification Logic

Lecture Notes in Computer Science - Foundations of Information and Knowledge Systems ◽

10.1007/978-3-030-39951-1_14 ◽

2020 ◽

pp. 222-241

Author(s):

Stipe Pandžić

Keyword(s):

Justification Logic ◽

Structured Argumentation

Download Full-text

Measuring Inconsistency in a General Information Space

Lecture Notes in Computer Science - Foundations of Information and Knowledge Systems ◽

10.1007/978-3-030-39951-1_9 ◽

2020 ◽

pp. 140-156

Author(s):

John Grant ◽

Francesco Parisi

Keyword(s):

General Information ◽

Information Space

Download Full-text

Diversity, Dependence and Independence

Lecture Notes in Computer Science - Foundations of Information and Knowledge Systems ◽

10.1007/978-3-030-39951-1_7 ◽

2020 ◽

pp. 106-121

Author(s):

Pietro Galliani ◽

Jouko Väänänen

Download Full-text

ASPARTIX-V19 - An Answer-Set Programming Based System for Abstract Argumentation

Lecture Notes in Computer Science - Foundations of Information and Knowledge Systems ◽

10.1007/978-3-030-39951-1_5 ◽

2020 ◽

pp. 79-89

Author(s):

Wolfgang Dvořák ◽

Anna Rapberger ◽

Johannes P. Wallner ◽

Stefan Woltran

Keyword(s):

Answer Set Programming ◽

Abstract Argumentation ◽

Download Full-text

Social Consolidations: Rational Belief in a Many-Valued Logic of Evidence and Peerhood

Lecture Notes in Computer Science - Foundations of Information and Knowledge Systems ◽

10.1007/978-3-030-39951-1_4 ◽

2020 ◽

pp. 58-78

Author(s):

Yuri David Santos

Keyword(s):

Rational Belief

Download Full-text

Realisability of Choreographies

Lecture Notes in Computer Science - Foundations of Information and Knowledge Systems ◽

10.1007/978-3-030-39951-1_16 ◽

2020 ◽

pp. 263-280 ◽

Author(s):

Klaus-Dieter Schewe ◽

Yamine Aït-Ameur ◽

Sarah Benyagoub

Download Full-text

Logic-Based Approach to Incremental Monitoring and Optimization on Strongly Distributed Data Streams

Lecture Notes in Computer Science - Foundations of Information and Knowledge Systems ◽

10.1007/978-3-030-39951-1_15 ◽

2020 ◽

pp. 242-262

Author(s):

Elena V. Ravve

Keyword(s):

Data Streams ◽

Distributed Data ◽

Distributed Data Streams

Download Full-text