default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5. FoIKS 2008: Pisa, ItalyPisa, Italy
- Sven Hartmann, Gabriele Kern-Isberner:
Foundations of Information and Knowledge Systems, 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings. Lecture Notes in Computer Science 4932, Springer 2008, ISBN 978-3-540-77683-3
Invited Talks
- Egon Börger, Don S. Batory:
Coupling Design and Verification in Software Product Lines. 1-4 - Gyula O. H. Katona:
Random Geometric Identification. 5-6 - Jürgen Dix:
Strategic Abilities of Agents. 7
Regular Papers
- Fernando A. Tohmé
, Gustavo Adrian Bodanza, Guillermo Ricardo Simari:
Aggregation of Attack Relations: A Social-Choice Theoretical Analysis of Defeasibility Criteria. 8-23 - Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran:
Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets. 24-41 - Ignacio D. Viglizzo, Fernando A. Tohmé, Guillermo Ricardo Simari:
An Alternative Foundation for DeLP: Defeating Relations and Truth Values. 42-57 - Joachim Biskup, Sebastian Link:
Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes. 58-77 - Henning Köhler:
Autonomous Sets - A Method for Hypergraph Decomposition with Applications in Database Theory. 78-95 - Christos Dimitrakakis, Christian Savu-Krohn:
Cost-Minimising Strategies for Data Labelling: Optimal Stopping and Active Learning. 96-111 - Stephen J. Hegner:
Information-Optimal Reflections of View Updates on Relational Database Schemata. 112-131 - Nikos Gorogiannis, Anthony Hunter:
Merging First-Order Knowledge Using Dilation Operators. 132-150 - Attila Sali, László A. Székely:
On the Existence of Armstrong Instances with Bounded Domains. 151-157 - Paolo Atzeni, Giorgio Gianforme, Paolo Cappellari:
Reasoning on Data Models in Schema Translation. 158-177 - Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt:
Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings. 178-198 - Thu Trinh:
Using Transversals for Discovering XML Functional Dependencies. 199-218 - Alex Thomo, Srinivasan Venkatesh, Ying Ying Ye:
Visibly Pushdown Transducers for Approximate Validation of Streaming XML. 219-238 - Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic:
A Probabilistic Logic with Polynomial Weight Formulas. 239-252 - Andreas Behrend, Rainer Manthey:
A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases. 253-271 - Vasiliki Efstathiou, Anthony Hunter:
Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach. 272-290 - Allel HadjAli, Souhila Kaci, Henri Prade:
Database Preferences Queries - A Possibilistic Logic Approach with Symbolic Priorities. 291-310 - Diego R. García, Alejandro Javier García, Guillermo Ricardo Simari:
Defeasible Reasoning and Partial Order Planning. 311-328 - Henning Köhler, Sebastian Link:
Lossless Decompositions in Complex-Valued Databases. 329-347 - Ilyes Jenhani, Nahla Ben Amor, Salem Benferhat, Zied Elouedi:
SIM-PDT: A Similarity Based Possibilistic Decision Tree Approach. 348-364 - Qing Wang, Klaus-Dieter Schewe:
Towards a Logic for Abstract MetaFinite State Machines. 365-380 - Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Towards a Fuzzy Logic for Automated Multi-issue Negotiation. 381-396
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-03-01 15: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:
