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

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

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

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 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 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

Belief Revision in Structured Probabilistic Argumentation

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

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 Finite Axiomatization of Conditional Independence and Inclusion Dependencies

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