6. FoIKS 2010: Sofia, Bulgaria

Invited Talks

• Philippe Balbiani:
  Tools and Techniques in Qualitative Reasoning about Space. 1-2
  
• Jan Paredaens, Jan Hidders:
  A Simple but Formal Semantics for XML Manipulation Languages. 3-5
  
• Dimiter Vakarelov:
  Algorithmic Definability and Completeness in Modal Logic. 6-8
  

Regular Articles

• Dragan Doder, Zoran Markovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic:
  A Probabilistic Temporal Logic That Can Model Reasoning about Evidence. 9-24
  
• Helena Keinänen:
  An Algorithm for Generating Nash Stable Coalition Structures in Hedonic Games. 25-39
  
• Ali Kiani, Nematollaah Shiri:
  Conjunctive Queries with Constraints: Homomorphism, Containment and Rewriting. 40-57
  
• Zhihu Zhang, Zuoquan Lin:
  Enhancing Dung's Preferred Semantics. 58-75
  
• Gyula O. H. Katona, Anita Keszler, Attila Sali:
  On the Distance of Databases. 76-93
  
• Sven Hartmann, Henning Köhler, Thu Trinh:
  On the Existence of Armstrong Data Trees for XML Functional Dependencies. 94-113
  
• Paolo Atzeni, Giorgio Gianforme, Daniele Toti:
  Polymorphism in Datalog and Inheritance in a Metamodel. 114-132
  
• Roberto Confalonieri, Juan Carlos Nieves, Mauricio Osorio, Javier Vázquez-Salceda:
  Possibilistic Semantics for Logic Programs with Ordered Disjunction. 133-152
  
• Bettina Fazzinga, Giorgio Gianforme, Georg Gottlob, Thomas Lukasiewicz:
  Semantic Web Search Based on Ontological Conjunctive Queries. 153-172
  
• M. Julieta Marcos, Marcelo A. Falappa, Guillermo Ricardo Simari:
  Semantically Characterizing Collaborative Behavior in an Abstract Dialogue Framework. 173-190
  
• Christoph Beierle, Gabriele Kern-Isberner:
  The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics. 191-210
  
• David W. Embley, Andrew Zitzelberger:
  Theoretical Foundations for Enabling a Web of Knowledge. 211-229
  
• Joachim Biskup, Cornelia Tadros, Lena Wiese:
  Towards Controlled Query Evaluation for Incomplete First-Order Databases. 230-247
  
• Joaquín Abellán, Andrés R. Masegosa:
  Bagging Decision Trees on Data Sets with Classification Noise. 248-265
  
• Maryam Shoaran, Alex Thomo:
  Evolving Schemas for Streaming XML. 266-285
  
• Rim Djedidi, Marie-Aude Aufaure:
  ONTO-EVO^AL an Ontology Evolution Approach Guided by Pattern Modeling and Quality Evaluation. 286-305
  
• Xiaowang Zhang, Zuoquan Lin, Kewen Wang:
  Towards a Paradoxical Description Logic for the Semantic Web. 306-325
  
• Jean-Rémi Bourguet, Leila Amgoud, Rallou Thomopoulos:
  Towards a Unified Model of Preference-Based Argumentation. 326-344
  
• Mehdi Kaytoue-Uberall, Zainab Assaghir, Nizar Messai, Amedeo Napoli:
  Two Complementary Classification Methods for Designing a Concept Lattice from Interval Data. 345-362
  

Last update Wed Feb 15 05:02:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page