default search action
7. FoIKS 2012: Kiel, Germany
- Thomas Lukasiewicz, Attila Sali:
Foundations of Information and Knowledge Systems - 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings. Lecture Notes in Computer Science 7153, Springer 2012, ISBN 978-3-642-28471-7
Invited Talks
- Thomas Eiter, Thomas Krennwallner
, Patrik Schneider, Guohui Xiao
Uniform Evaluation of Nonmonotonic DL-Programs. 1-22 - Thomas Schwentick:
Foundations of XML Based on Logic and Automata: A Snapshot. 23-33
Regular Articles
- Ofer Arieli, Anna Zamansky:
Inconsistency-Tolerance in Knowledge-Based Systems by Dissimilarities. 34-50 - Joachim Biskup, Cornelia Tadros:
Revising Belief without Revealing Secrets. 51-70 - Jürgen Bock
More Than the Sum of Its Parts - Holistic Ontology Alignment by Population-Based Optimisation. 71-90 - Luciano Caroprese
Handling Preferences in P2P Systems. 91-106 - Andrea Cohen
Backing and Undercutting in Abstract Argumentation Frameworks. 107-123 - George H. L. Fletcher, Marc Gyssens
The Impact of Transitive Closure on the Boolean Expressiveness of Navigational Query Languages on Graphs. 124-143 - Eve Garnaud, Sofian Maabout, Mohamed Mosbah
Using Functional Dependencies for Reducing the Size of a Data Cube. 144-163 - Sven Hartmann, Henning Köhler, Sebastian Link
Armstrong Databases and Reasoning for Functional Dependencies and Cardinality Constraints over Partial Bags. 164-183 - Stephen J. Hegner:
FD Covers and Universal Complements of Simple Projections. 184-202 - Gyula O. H. Katona, Krisztián Tichler
Encoding Databases Satisfying a Given Set of Dependencies. 203-223 - Annika Krämer, Christoph Beierle:
On Lifted Inference for a Relational Probabilistic Conditional Logic with Maximum Entropy Semantics. 224-243 - András J. Molnár, András A. Benczúr, Csaba István Sidló:
Flexible and Efficient Distributed Resolution of Large Entities. 244-263 - Aleksandar Perovic, Dragan Doder, Zoran Ognjanovic:
On Real-Valued Evaluation of Propositional Formulas. 264-277 - Olivier Pivert, Henri Prade:
Detecting Suspect Answers in the Presence of Inconsistent Information. 278-297 - Krishnan Rajagopalan, Srinivasan Venkatesh, Alex Thomo:
Learning the News in Social Networks. 298-311 - Abdur Rakib
Verifying Resource Requirements for Ontology-Driven Rule-Based Agents. 312-331 - Martín Rezk, Michael Kifer:
Formalizing Production Systems with Rule-Based Ontologies. 332-351 - Domenico Saccà
Count Constraints and the Inverse OLAP Problem: Definition, Complexity and a Step toward Aggregate Data Exchange. 352-369 - Klaus-Dieter Schewe, Qing Wang
Synchronous Parallel Database Transformations. 370-383 - Gyula I. Szabó
Functional Dependencies on Extended Relations Defined by Regular Languages. 384-403
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.
last updated on 2024-12-23 19:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: