Foundations of Information and Knowledge Systems

- Invited Talks

- The Equational Approach to Contrary-to-duty Obligations

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

- Regular Articles

- Arguments Using Ontological and Causal Knowledge

- Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions

- An AIF-Based Labeled Argumentation Framework

- On the Semantics of Partially Ordered Bases

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

- Enriching Taxonomies of Place Types Using Flickr

- Hintikka-Style Semantic Games for Fuzzy Logics

- A Finite Axiomatization of Conditional Independence and Inclusion Dependencies

- Guard Independence and Constraint-Preserving Snapshot Isolation

- Implication and Axiomatization of Functional Constraints on Patterns with an Application to the RDF Data Model

- View-Based Tree-Language Rewritings for XML

- EHC: Non-parametric Editing by Finding Homogeneous Clusters

- A Logic for Specifying Stochastic Actions and Observations

- Belief Revision in Structured Probabilistic Argumentation

- A Multi-granular Database Model

- Optimizing Computation of Repairs from Active Integrity Constraints

- Belief Merging in Dynamic Logic of Propositional Assignments

- Incremental Maintenance of Aggregate Views

- Towards an Approximative Ontology-Agnostic Approach for Logic Programs

Prof. Dr. Christoph Beierle ist Universitätsprofessor für Praktische Informatik an der FernUniversität Hagen.