default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7. 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, Sebastian Rudolph, Michael Mutter:
More Than the Sum of Its Parts - Holistic Ontology Alignment by Population-Based Optimisation. 71-90 - Luciano Caroprese, Ester Zumpano:
Handling Preferences in P2P Systems. 91-106 - Andrea Cohen, Alejandro Javier García, Guillermo Ricardo Simari:
Backing and Undercutting in Abstract Argumentation Frameworks. 107-123 - George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu:
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, Bernhard Thalheim:
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, Rokan Uddin Faruqui, Wendy MacCaull:
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à, Edoardo Serra, Antonella Guzzo:
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ó, András A. Benczúr:
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 2025-11-26 00:45 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:
