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 BibTeX
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
Electronic Edition (link) BibTeX
- Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran:
Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets.
24-41
Electronic Edition (link) BibTeX
- Ignacio D. Viglizzo, Fernando A. Tohmé, Guillermo Ricardo Simari:
An Alternative Foundation for DeLP: Defeating Relations and Truth Values.
42-57
Electronic Edition (link) BibTeX
- Joachim Biskup, Sebastian Link:
Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes.
58-77
Electronic Edition (link) BibTeX
- Henning Köhler:
Autonomous Sets - A Method for Hypergraph Decomposition with Applications in Database Theory.
78-95
Electronic Edition (link) BibTeX
- Christos Dimitrakakis, Christian Savu-Krohn:
Cost-Minimising Strategies for Data Labelling: Optimal Stopping and Active Learning.
96-111
Electronic Edition (link) BibTeX
- Stephen J. Hegner:
Information-Optimal Reflections of View Updates on Relational Database Schemata.
112-131
Electronic Edition (link) BibTeX
- Nikos Gorogiannis, Anthony Hunter:
Merging First-Order Knowledge Using Dilation Operators.
132-150
Electronic Edition (link) BibTeX
- Attila Sali, László A. Székely:
On the Existence of Armstrong Instances with Bounded Domains.
151-157
Electronic Edition (link) BibTeX
- Paolo Atzeni, Giorgio Gianforme, Paolo Cappellari:
Reasoning on Data Models in Schema Translation.
158-177
Electronic Edition (link) BibTeX
- Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt:
Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings.
178-198
Electronic Edition (link) BibTeX
- Thu Trinh:
Using Transversals for Discovering XML Functional Dependencies.
199-218
Electronic Edition (link) BibTeX
- Alex Thomo, Srinivasan Venkatesh, Ying Ying Ye:
Visibly Pushdown Transducers for Approximate Validation of Streaming XML.
219-238
Electronic Edition (link) BibTeX
- Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic:
A Probabilistic Logic with Polynomial Weight Formulas.
239-252
Electronic Edition (link) BibTeX
- Andreas Behrend, Rainer Manthey:
A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases.
253-271
Electronic Edition (link) BibTeX
- Vasiliki Efstathiou, Anthony Hunter:
Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach.
272-290
Electronic Edition (link) BibTeX
- Allel HadjAli, Souhila Kaci, Henri Prade:
Database Preferences Queries - A Possibilistic Logic Approach with Symbolic Priorities.
291-310
Electronic Edition (link) BibTeX
- Diego R. García, Alejandro Javier García, Guillermo Ricardo Simari:
Defeasible Reasoning and Partial Order Planning.
311-328
Electronic Edition (link) BibTeX
- Henning Köhler, Sebastian Link:
Lossless Decompositions in Complex-Valued Databases.
329-347
Electronic Edition (link) BibTeX
- Ilyes Jenhani, Nahla Ben Amor, Salem Benferhat, Zied Elouedi:
SIM-PDT: A Similarity Based Possibilistic Decision Tree Approach.
348-364
Electronic Edition (link) BibTeX
- Qing Wang, Klaus-Dieter Schewe:
Towards a Logic for Abstract MetaFinite State Machines.
365-380
Electronic Edition (link) BibTeX
- Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Towards a Fuzzy Logic for Automated Multi-issue Negotiation.
381-396
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:12:30 2009
by Michael Ley (ley@uni-trier.de)
