5. FoIKS 2008:
Pisa,
ItalyPisa,
Italy
Sven Hartmann, Gabriele Kern-Isberner (Eds.):
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
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
Last update Thu Feb 16 06:34:53 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
