Abstract is missing.
- Uniform Evaluation of Nonmonotonic DL-ProgramsThomas Eiter, Thomas Krennwallner, Patrik Schneider, Guohui Xiao. 1-22 [doi]
- Foundations of XML Based on Logic and Automata: A SnapshotThomas Schwentick. 23-33 [doi]
- Inconsistency-Tolerance in Knowledge-Based Systems by DissimilaritiesOfer Arieli, Anna Zamansky. 34-50 [doi]
- Revising Belief without Revealing SecretsJoachim Biskup, Cornelia Tadros. 51-70 [doi]
- More Than the Sum of Its Parts - Holistic Ontology Alignment by Population-Based OptimisationJürgen Bock, Sebastian Rudolph, Michael Mutter. 71-90 [doi]
- Handling Preferences in P2P SystemsLuciano Caroprese, Ester Zumpano. 91-106 [doi]
- Backing and Undercutting in Abstract Argumentation FrameworksAndrea Cohen, Alejandro Javier García, Guillermo Ricardo Simari. 107-123 [doi]
- The Impact of Transitive Closure on the Boolean Expressiveness of Navigational Query Languages on GraphsGeorge H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu. 124-143 [doi]
- Using Functional Dependencies for Reducing the Size of a Data CubeEve Garnaud, Sofian Maabout, Mohamed Mosbah. 144-163 [doi]
- Armstrong Databases and Reasoning for Functional Dependencies and Cardinality Constraints over Partial BagsSven Hartmann, Henning Köhler, Sebastian Link, Bernhard Thalheim. 164-183 [doi]
- FD Covers and Universal Complements of Simple ProjectionsStephen J. Hegner. 184-202 [doi]
- Encoding Databases Satisfying a Given Set of DependenciesGyula O. H. Katona, Krisztián Tichler. 203-223 [doi]
- On Lifted Inference for a Relational Probabilistic Conditional Logic with Maximum Entropy SemanticsAnnika Krämer, Christoph Beierle. 224-243 [doi]
- Flexible and Efficient Distributed Resolution of Large EntitiesAndrás J. Molnár, András A. Benczúr, Csaba István Sidló. 244-263 [doi]
- On Real-Valued Evaluation of Propositional FormulasAleksandar Perovic, Dragan Doder, Zoran Ognjanovic. 264-277 [doi]
- Detecting Suspect Answers in the Presence of Inconsistent InformationOlivier Pivert, Henri Prade. 278-297 [doi]
- Learning the News in Social NetworksKrishnan Rajagopalan, Srinivasan Venkatesh, Alex Thomo. 298-311 [doi]
- Verifying Resource Requirements for Ontology-Driven Rule-Based AgentsAbdur Rakib, Rokan Uddin Faruqui, Wendy MacCaull. 312-331 [doi]
- Formalizing Production Systems with Rule-Based OntologiesMartín Rezk, Michael Kifer. 332-351 [doi]
- Count Constraints and the Inverse OLAP Problem: Definition, Complexity and a Step toward Aggregate Data ExchangeDomenico Saccà, Edoardo Serra, Antonella Guzzo. 352-369 [doi]
- Synchronous Parallel Database TransformationsKlaus-Dieter Schewe, Qing Wang. 370-383 [doi]
- Functional Dependencies on Extended Relations Defined by Regular LanguagesGyula I. Szabó, András A. Benczúr. 384-403 [doi]