3. FoIKS 2004:
Wilhelminenburg Castle, Austria
Yuri Gurevich:
Abstract State Machines: An Overview of the Project. 6-13
Marina De Vos:
Implementing Ordered Choice Logic Programming using Answer Set Solvers. 59-77
Parke Godfrey:
Skyline Cardinality for Relational Processing. 78-97
Stephen J. Hegner:
The Relative Complexity of Updates for a Class of Database Views. 155-175
Attila Sali:
Minimal Keys in Higher-Order Datamodels. 242-251