Skip to main content
SpringerLink
Log in
Book cover

Foundations of Information and Knowledge Systems

7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012, Proceedings

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Thomas Lukasiewicz

    1. Department of Computer Science, University of Oxford, Oxford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Attila Sali

    1. Alfréd Rényi Institute, Hungarian Academy of Sciences, Budapest, Hungary

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Fast-track conference proceedings
  • State-of-the-art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7153)

Part of the book sub series: Information Systems and Applications, incl. Internet/Web, and HCI (LNISA)

Included in the following conference series:

Conference proceedings info: FoIKS 2012.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (22 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Uniform Evaluation of Nonmonotonic DL-Programs

      • Thomas Eiter, Thomas Krennwallner, Patrik Schneider, Guohui Xiao
      Pages 1-22

    2. Foundations of XML Based on Logic and Automata: A Snapshot

      • Thomas Schwentick
      Pages 23-33

  3. Regular Articles

    1. Inconsistency-Tolerance in Knowledge-Based Systems by Dissimilarities

      • Ofer Arieli, Anna Zamansky
      Pages 34-50

    2. Revising Belief without Revealing Secrets

      • Joachim Biskup, Cornelia Tadros
      Pages 51-70

    3. More Than the Sum of Its Parts – Holistic Ontology Alignment by Population-Based Optimisation

      • Jürgen Bock, Sebastian Rudolph, Michael Mutter
      Pages 71-90

    4. Handling Preferences in P2P Systems

      • Luciano Caroprese, Ester Zumpano
      Pages 91-106

    5. Backing and Undercutting in Abstract Argumentation Frameworks

      • Andrea Cohen, Alejandro J. García, Guillermo R. Simari
      Pages 107-123

    6. The Impact of Transitive Closure on the Boolean Expressiveness of Navigational Query Languages on Graphs

      • George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren et al.
      Pages 124-143

    7. Using Functional Dependencies for Reducing the Size of a Data Cube

      • Eve Garnaud, Sofian Maabout, Mohamed Mosbah
      Pages 144-163

    8. Armstrong Databases and Reasoning for Functional Dependencies and Cardinality Constraints over Partial Bags

      • Sven Hartmann, Henning Köhler, Sebastian Link, Bernhard Thalheim
      Pages 164-183

    9. FD Covers and Universal Complements of Simple Projections

      • Stephen J. Hegner
      Pages 184-202

    10. Encoding Databases Satisfying a Given Set of Dependencies

      • Gyula O. H. Katona, Krisztián Tichler
      Pages 203-223

    11. On Lifted Inference for a Relational Probabilistic Conditional Logic with Maximum Entropy Semantics

      • Annika Krämer, Christoph Beierle
      Pages 224-243

    12. Flexible and Efficient Distributed Resolution of Large Entities

      • András J. Molnár, András A. Benczúr, Csaba István Sidló
      Pages 244-263

    13. On Real-Valued Evaluation of Propositional Formulas

      • Aleksandar Perović, Dragan Doder, Zoran Ognjanović
      Pages 264-277

    14. Detecting Suspect Answers in the Presence of Inconsistent Information

      • Olivier Pivert, Henri Prade
      Pages 278-297

    15. Learning the News in Social Networks

      • Krishnan Rajagopalan, Venkatesh Srinivasan, Alex Thomo
      Pages 298-311

    16. Verifying Resource Requirements for Ontology-Driven Rule-Based Agents

      • Abdur Rakib, Rokan Uddin Faruqui, Wendy MacCaull
      Pages 312-331

    17. Formalizing Production Systems with Rule-Based Ontologies

      • Martín Rezk, Michael Kifer
      Pages 332-351
Back to top

Other volumes

  1. Foundations of Information and Knowledge Systems

Keywords

About this book

This book constitutes the proceedings of the 7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012, held in Kiel, Germany, in March 2012. The 12 regular and 8 short papers, presented together with two invited talks in full paper-length, were carefully reviewed and selected from 53 submissions. The contributions cover foundational aspects of information and knowledge systems. These include the application of ideas, theories or methods from specific disciplines to information and knowledge systems, such as discrete mathematics, logic and algebra, model theory, informaiton theory, complexity theory, algorithmics and computation, statistics, and optimization.

Editors and Affiliations

  • Department of Computer Science, University of Oxford, Oxford, UK

    Thomas Lukasiewicz

  • Alfréd Rényi Institute, Hungarian Academy of Sciences, Budapest, Hungary

    Attila Sali

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation