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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319049380, 9783319049397

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Hintikka-Style Semantic Games for Fuzzy Logics

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

10.1007/978-3-319-04939-7_9 ◽

2014 ◽

pp. 193-210 ◽

Cited By ~ 6

Author(s):

Christian G. Fermüller

Keyword(s):

Fuzzy Logics

Download Full-text

Enriching Taxonomies of Place Types Using Flickr

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

10.1007/978-3-319-04939-7_8 ◽

2014 ◽

pp. 174-192 ◽

Cited By ~ 2

Author(s):

Joaquín Derrac ◽

Steven Schockaert

Download Full-text

View-Based Tree-Language Rewritings for XML

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

10.1007/978-3-319-04939-7_13 ◽

2014 ◽

pp. 270-289 ◽

Cited By ~ 3

Author(s):

Laks V. S. Lakshmanan ◽

Alex Thomo

Keyword(s):

Tree Language

Download Full-text

The Equational Approach to Contrary-to-duty Obligations

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

10.1007/978-3-319-04939-7_1 ◽

2014 ◽

pp. 1-61 ◽

Cited By ~ 1

Author(s):

Dov M. Gabbay

Download Full-text

Belief Merging in Dynamic Logic of Propositional Assignments

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

10.1007/978-3-319-04939-7_19 ◽

2014 ◽

pp. 381-398 ◽

Cited By ~ 5

Author(s):

Andreas Herzig ◽

Pilar Pozos-Parra ◽

François Schwarzentruber

Keyword(s):

Dynamic Logic ◽

Belief Merging

Download Full-text

Belief Revision in Structured Probabilistic Argumentation

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

10.1007/978-3-319-04939-7_16 ◽

2014 ◽

pp. 324-343 ◽

Cited By ~ 7

Author(s):

Paulo Shakarian ◽

Gerardo I. Simari ◽

Marcelo A. Falappa

Keyword(s):

Belief Revision ◽

Probabilistic Argumentation

Download Full-text

A Finite Axiomatization of Conditional Independence and Inclusion Dependencies

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

10.1007/978-3-319-04939-7_10 ◽

2014 ◽

pp. 211-229 ◽

Cited By ~ 10

Author(s):

Miika Hannula ◽

Juha Kontinen

Keyword(s):

Conditional Independence ◽

Finite Axiomatization

Download Full-text

A Logic for Specifying Stochastic Actions and Observations

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

10.1007/978-3-319-04939-7_15 ◽

2014 ◽

pp. 305-323 ◽

Cited By ~ 1

Author(s):

Gavin Rens ◽

Thomas Meyer ◽

Gerhard Lakemeyer

Download Full-text

The Structure of Oppositions in Rough Set Theory and Formal Concept Analysis - Toward a New Bridge between the Two Settings

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

10.1007/978-3-319-04939-7_7 ◽

2014 ◽

pp. 154-173 ◽

Cited By ~ 17

Author(s):

Davide Ciucci ◽

Didier Dubois ◽

Henri Prade

Keyword(s):

Set Theory ◽

Rough Set ◽

Formal Concept Analysis ◽

Rough Set Theory ◽

Concept Analysis ◽

Formal Concept

Download Full-text

A Survey of the Data Complexity of Consistent Query Answering under Key Constraints

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

10.1007/978-3-319-04939-7_2 ◽

2014 ◽

pp. 62-78 ◽

Cited By ~ 10

Author(s):

Jef Wijsen

Keyword(s):

Query Answering ◽

Data Complexity ◽

Consistent Query Answering

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Hintikka-Style Semantic Games for Fuzzy Logics

Enriching Taxonomies of Place Types Using Flickr

View-Based Tree-Language Rewritings for XML

The Equational Approach to Contrary-to-duty Obligations

Belief Merging in Dynamic Logic of Propositional Assignments

Belief Revision in Structured Probabilistic Argumentation

A Finite Axiomatization of Conditional Independence and Inclusion Dependencies

A Logic for Specifying Stochastic Actions and Observations

The Structure of Oppositions in Rough Set Theory and Formal Concept Analysis - Toward a New Bridge between the Two Settings

A Survey of the Data Complexity of Consistent Query Answering under Key Constraints

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