Outcome of a Dagstuhl Seminar: Logics for Emerging Applications of Databases 2003

Jan Chomicki, Ron van der Meyden, Gunter Saake (Eds.): Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar]. Springer 2003, ISBN 3-540-00705-9

@proceedings{DBLP:conf/dagstuhl/2003lead,
  editor    = {Jan Chomicki and
               Ron van der Meyden and
               Gunter Saake},
  title     = {Logics for Emerging Applications of Databases [outcome of a Dagstuhl
               seminar]},
  booktitle = {Logics for Emerging Applications of Databases},
  publisher = {Springer},
  year      = {2003},
  isbn      = {3-540-00705-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Nils Klarlund, Thomas Schwentick, Dan Suciu: XML: Model, Schemas, Types, Logics, and Queries. 1-41
Leopoldo E. Bertossi, Jan Chomicki: Query Answering in Inconsistent Databases. 43-83
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits: Declarative Update Policies for Nonmonotonic Knowledge Bases. 85-129
John-Jules Ch. Meyer: Intelligent Agents: Issues and Logics. 131-165
Saikat Mukherjee, Hasan Davulcu, Michael Kifer, Pinar Senkul, Guizhen Yang: Logic Based Approaches to Workflow Modeling and Verification. 167-202
David Toman: Logical Data Expiration. 203-238
Alessandro Artale, Enrico Franconi, Federica Mandreoli: Description Logics for Modeling Dynamic Information. 239-275
Piero A. Bonatti, Pierangela Samarati: Logics for Authorization and Security. 277-323
Fosca Giannotti, Giuseppe Manco, Jef Wijsen: Logical Languages for Data Mining. 325-361