Search dblp for Publications

export results for "toc:db/conf/dagstuhl/ldbis98.bht:"

 download as .bib file

@inproceedings{DBLP:conf/dagstuhl/BonnerK98,
  author       = {Anthony J. Bonner and
                  Michael Kifer},
  editor       = {Jan Chomicki and
                  Gunter Saake},
  title        = {A Logic for Programming Database Transactions},
  booktitle    = {Logics for Databases and Information Systems (the book grow out of
                  the Dagstuhl Seminar 9529: Role of Logics in Information Systems,
                  1995)},
  pages        = {117--166},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Mon, 17 Sep 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BonnerK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/CalvaneseLN98,
  author       = {Diego Calvanese and
                  Maurizio Lenzerini and
                  Daniele Nardi},
  editor       = {Jan Chomicki and
                  Gunter Saake},
  title        = {Description Logics for Conceptual Data Modeling},
  booktitle    = {Logics for Databases and Information Systems (the book grow out of
                  the Dagstuhl Seminar 9529: Role of Logics in Information Systems,
                  1995)},
  pages        = {229--263},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Mon, 17 Sep 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/CalvaneseLN98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/ChomickiS98,
  author       = {Jan Chomicki and
                  Gunter Saake},
  editor       = {Jan Chomicki and
                  Gunter Saake},
  title        = {Introduction to Logics for Databases and Information Systems},
  booktitle    = {Logics for Databases and Information Systems (the book grow out of
                  the Dagstuhl Seminar 9529: Role of Logics in Information Systems,
                  1995)},
  pages        = {1--4},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Mon, 17 Sep 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/ChomickiS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/ChomickiT98,
  author       = {Jan Chomicki and
                  David Toman},
  editor       = {Jan Chomicki and
                  Gunter Saake},
  title        = {Temporal Logic in Information Systems},
  booktitle    = {Logics for Databases and Information Systems (the book grow out of
                  the Dagstuhl Seminar 9529: Role of Logics in Information Systems,
                  1995)},
  pages        = {31--70},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Sat, 05 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/ChomickiT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Conrad98,
  author       = {Stefan Conrad},
  editor       = {Jan Chomicki and
                  Gunter Saake},
  title        = {A Logic Primer},
  booktitle    = {Logics for Databases and Information Systems (the book grow out of
                  the Dagstuhl Seminar 9529: Role of Logics in Information Systems,
                  1995)},
  pages        = {5--30},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Conrad98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/ConradRSS98,
  author       = {Stefan Conrad and
                  Jaime Ramos and
                  Gunter Saake and
                  Cristina Sernadas},
  editor       = {Jan Chomicki and
                  Gunter Saake},
  title        = {Evolving Logical Specification in Information Systems},
  booktitle    = {Logics for Databases and Information Systems (the book grow out of
                  the Dagstuhl Seminar 9529: Role of Logics in Information Systems,
                  1995)},
  pages        = {199--228},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/ConradRSS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/EhrichCSD98,
  author       = {Hans{-}Dieter Ehrich and
                  Carlos Caleiro and
                  Am{\'{\i}}lcar Sernadas and
                  Grit Denker},
  editor       = {Jan Chomicki and
                  Gunter Saake},
  title        = {Logics for Specifying Concurrent Information Systems},
  booktitle    = {Logics for Databases and Information Systems (the book grow out of
                  the Dagstuhl Seminar 9529: Role of Logics in Information Systems,
                  1995)},
  pages        = {167--198},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Mon, 17 Sep 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/EhrichCSD98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/GodfreyGGM98,
  author       = {Parke Godfrey and
                  John Grant and
                  Jarek Gryz and
                  Jack Minker},
  editor       = {Jan Chomicki and
                  Gunter Saake},
  title        = {Integrity Constraints: Semantics and Applications},
  booktitle    = {Logics for Databases and Information Systems (the book grow out of
                  the Dagstuhl Seminar 9529: Role of Logics in Information Systems,
                  1995)},
  pages        = {265--306},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Mon, 17 Sep 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/GodfreyGGM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/LakshmananT98,
  author       = {Laks V. S. Lakshmanan and
                  Krishnaprasad Thirunarayan},
  editor       = {Jan Chomicki and
                  Gunter Saake},
  title        = {Declarative Frameworks for Inheritance},
  booktitle    = {Logics for Databases and Information Systems (the book grow out of
                  the Dagstuhl Seminar 9529: Role of Logics in Information Systems,
                  1995)},
  pages        = {357--388},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Mon, 17 Sep 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/LakshmananT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/LausenLM98,
  author       = {Georg Lausen and
                  Bertram Lud{\"{a}}scher and
                  Wolfgang May},
  editor       = {Jan Chomicki and
                  Gunter Saake},
  title        = {On Logical Foundations of Active Databases},
  booktitle    = {Logics for Databases and Information Systems (the book grow out of
                  the Dagstuhl Seminar 9529: Role of Logics in Information Systems,
                  1995)},
  pages        = {389--422},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Mon, 17 Sep 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/LausenLM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Meyden98,
  author       = {Ron van der Meyden},
  editor       = {Jan Chomicki and
                  Gunter Saake},
  title        = {Logical Approaches to Incomplete Information: {A} Survey},
  booktitle    = {Logics for Databases and Information Systems (the book grow out of
                  the Dagstuhl Seminar 9529: Role of Logics in Information Systems,
                  1995)},
  pages        = {307--356},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Mon, 17 Sep 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Meyden98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/MeyerWD98,
  author       = {John{-}Jules Ch. Meyer and
                  Roel J. Wieringa and
                  Frank Dignum},
  editor       = {Jan Chomicki and
                  Gunter Saake},
  title        = {The Role of Deontic Logic in the Specification of Information Systems},
  booktitle    = {Logics for Databases and Information Systems (the book grow out of
                  the Dagstuhl Seminar 9529: Role of Logics in Information Systems,
                  1995)},
  pages        = {71--115},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Thu, 14 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/MeyerWD98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/kl/ChomickiS98,
  editor       = {Jan Chomicki and
                  Gunter Saake},
  title        = {Logics for Databases and Information Systems (the book grow out of
                  the Dagstuhl Seminar 9529: Role of Logics in Information Systems,
                  1995)},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/kl/ChomickiS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.