Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2008

Foundations of Information and Knowledge Systems

5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings

Editors:

  1. Sven Hartmann
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gabriele Kern-Isberner
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Conference series link(s): FoIKS: International Symposium on Foundations of Information and Knowledge Systems

Conference proceedings info: FoIKS 2008.

Sections

Buy it now

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

This is a preview of subscription content, access via your institution.

Table of contents (25 papers)

  1. Front Matter

    PDF

  2. Invited Talks

    1. Coupling Design and Verification in Software Product Lines

      • Egon Börger, Don Batory
      Pages 1-4

    2. Random Geometric Identification

      • Gyula O. H. Katona
      Pages 5-6

    3. Strategic Abilities of Agents

      • Jürgen Dix
      Pages 7-7

  3. Regular Papers

    1. Aggregation of Attack Relations: A Social-Choice Theoretical Analysis of Defeasibility Criteria

      • Fernando A. Tohmé, Gustavo A. Bodanza, Guillermo R. Simari
      Pages 8-23

    2. Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets

      • Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran
      Pages 24-41

    3. An Alternative Foundation for DeLP: Defeating Relations and Truth Values

      • Ignacio D. Viglizzo, Fernando A. Tohmé, Guillermo R. Simari
      Pages 42-57

    6. Cost-Minimising Strategies for Data Labelling: Optimal Stopping and Active Learning

      • Christos Dimitrakakis, Christian Savu-Krohn
      Pages 96-111

    8. Merging First-Order Knowledge Using Dilation Operators

      • Nikos Gorogiannis, Anthony Hunter
      Pages 132-150

    9. On the Existence of Armstrong Instances with Bounded Domains

      • Attila Sali, László Székely
      Pages 151-157

    10. Reasoning on Data Models in Schema Translation

      • Paolo Atzeni, Giorgio Gianforme, Paolo Cappellari
      Pages 158-177

    11. Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings

      • Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt
      Pages 178-198

    13. Visibly Pushdown Transducers for Approximate Validation of Streaming XML

      • Alex Thomo, S. Venkatesh, Ying Ying Ye
      Pages 219-238

    14. A Probabilistic Logic with Polynomial Weight Formulas

      • Aleksandar Perović, Zoran Ognjanović, Miodrag RaÅ¡ković, Zoran Marković
      Pages 239-252
Back to top

Other Volumes

  1. Foundations of Information and Knowledge Systems

Back to top

Keywords

  • algorithm
  • algorithmics
  • algorithms
  • complexity
  • complexity theory
  • information theory
  • logic
  • optimization
  • statistics
Back to top

Bibliographic Information

Back to top
Access via your institution

Buy it now

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

search

Navigation