Abstract is missing.
- Coupling Design and Verification in Software Product LinesEgon Börger, Don S. Batory. 1-4 [doi]
- Random Geometric IdentificationGyula O. H. Katona. 5-6 [doi]
- Strategic Abilities of AgentsJürgen Dix. 7 [doi]
- Aggregation of Attack Relations: A Social-Choice Theoretical Analysis of Defeasibility CriteriaFernando A. Tohmé, Gustavo Adrian Bodanza, Guillermo Ricardo Simari. 8-23 [doi]
- Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded SetsMartin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran. 24-41 [doi]
- An Alternative Foundation for DeLP: Defeating Relations and Truth ValuesIgnacio D. Viglizzo, Fernando A. Tohmé, Guillermo Ricardo Simari. 42-57 [doi]
- Appropriate Reasoning about Data Dependencies in Fixed and Undetermined UniversesJoachim Biskup, Sebastian Link. 58-77 [doi]
- Autonomous Sets - A Method for Hypergraph Decomposition with Applications in Database TheoryHenning Köhler. 78-95 [doi]
- Cost-Minimising Strategies for Data Labelling: Optimal Stopping and Active LearningChristos Dimitrakakis, Christian Savu-Krohn. 96-111 [doi]
- Information-Optimal Reflections of View Updates on Relational Database SchemataStephen J. Hegner. 112-131 [doi]
- Merging First-Order Knowledge Using Dilation OperatorsNikos Gorogiannis, Anthony Hunter. 132-150 [doi]
- On the Existence of Armstrong Instances with Bounded DomainsAttila Sali, László A. Székely. 151-157 [doi]
- Reasoning on Data Models in Schema TranslationPaolo Atzeni, Giorgio Gianforme, Paolo Cappellari. 158-177 [doi]
- Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology MappingsAndrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt. 178-198 [doi]
- Using Transversals for Discovering XML Functional DependenciesThu Trinh. 199-218 [doi]
- Visibly Pushdown Transducers for Approximate Validation of Streaming XMLAlex Thomo, Srinivasan Venkatesh, Ying Ying Ye. 219-238 [doi]
- A Probabilistic Logic with Polynomial Weight FormulasAleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic. 239-252 [doi]
- A Transformation-Based Approach to View Updating in Stratifiable Deductive DatabasesAndreas Behrend, Rainer Manthey. 253-271 [doi]
- Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph ApproachVasiliki Efstathiou, Anthony Hunter. 272-290 [doi]
- Database Preferences Queries - A Possibilistic Logic Approach with Symbolic PrioritiesAllel HadjAli, Souhila Kaci, Henri Prade. 291-310 [doi]
- Defeasible Reasoning and Partial Order PlanningDiego R. García, Alejandro Javier García, Guillermo Ricardo Simari. 311-328 [doi]
- Lossless Decompositions in Complex-Valued DatabasesHenning Köhler, Sebastian Link. 329-347 [doi]
- SIM-PDT: A Similarity Based Possibilistic Decision Tree ApproachIlyes Jenhani, Nahla Ben Amor, Salem Benferhat, Zied Elouedi. 348-364 [doi]
- Towards a Logic for Abstract MetaFinite State MachinesQing Wang, Klaus-Dieter Schewe. 365-380 [doi]
- Towards a Fuzzy Logic for Automated Multi-issue NegotiationAzzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini. 381-396 [doi]