default search action
6. FoIKS 2010: Sofia, Bulgaria
- Sebastian Link, Henri Prade:
Foundations of Information and Knowledge Systems, 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings. Lecture Notes in Computer Science 5956, Springer 2010, ISBN 978-3-642-11828-9
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-EVOAL 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.