Skip to main content Skip to main navigation

Publications

Displaying results 31 to 40 of 12741.
  1. Kristian Kersting; Luc De Raedt

    Basic Principles of Learning Bayesian Logic Programs

    In: Luc De Raedt; Paolo Frasconi; Kristian Kersting; Stephen H. Muggleton (Hrsg.). Probabilistic Inductive Logic Programming - Theory and …

  2. David W. Aha; Mark S. Boddy; Vadim Bulitko; Artur S. d'Avila Garcez; Prashant Doshi; Stefan Edelkamp; Christopher W. Geib; Piotr J. Gmytrasiewicz; Robert P. Goldman; Pascal Hitzler; Charles L. Isbell Jr.; Darsana P. Josyula; Leslie Pack Kaelbling; Kristian Kersting; Maithilee Kunda; Luís C. Lamb; Bhaskara Marthi; Keith McGreggor; Vivi Nastase; Gregory M. Provan; Anita Raja; Ashwin Ram; Mark O. Riedl; Stuart Russell; Ashish Sabharwal; Jan-Georg Smaus; Gita Sukthankar; Karl Tuyls; Ron van der Meyden; Alon Y. Halevy; Lilyana Mihalkova; Sriraam Natarajan

    Reports of the AAAI 2010 Conference Workshops

    In: AI Magazine, Vol. 31, No. 4, Pages 95-108, American Association for Artificial Intelligence, 2010.

  3. Björn Deiseroth; Patrick Schramowski; Hikaru Shindo; Devendra Singh Dhami; Kristian Kersting

    LogicRank: Logic Induced Reranking for Generative Text-to-Image Systems

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2208.13518, Pages 0-10, arXiv, 2022.

  4. Carsten Binnig; Donald Kossmann; Eric Lo

    Testing database applications

    In: Surajit Chaudhuri; Vagelis Hristidis; Neoklis Polyzotis (Hrsg.). Proceedings of the ACM SIGMOD International Conference on Management of Data. ACM …

  5. Carsten Binnig; Donald Kossmann; Eric Lo; M. Tamer Özsu

    QAGen: generating query-aware test databases

    In: Chee Yong Chan; Beng Chin Ooi; Aoying Zhou (Hrsg.). Proceedings of the ACM SIGMOD International Conference on Management of Data. ACM SIGMOD …

  6. Carsten Binnig; Donald Kossmann; Eric Lo

    Reverse Query Processing

    In: Rada Chirkova; Asuman Dogac; M. Tamer Özsu; Timos K. Sellis (Hrsg.). Proceedings of the 23rd International Conference on Data Engineering. IEEE …

  7. Carsten Binnig; Donald Kossmann; Eric Lo

    Multi-RQP: generating test databases for the functional testing of OLTP applications

    In: Leo Giakoumakis; Donald Kossmann (Hrsg.). Proceedings of the 1st International Workshop on Testing Database Systems. International Workshop on …

  8. Carsten Binnig; Donald Kossmann; Eric Lo; Angel Saenz-Badillos

    Automatic Result Verification for the Functional Testing of a Query Language

    In: Gustavo Alonso; José A. Blakeley; Arbee L. P. Chen (Hrsg.). Proceedings of the 24th International Conference on Data Engineering. IEEE …

  9. Gustavo Alonso; Donald Kossmann; Timothy Roscoe; Nesime Tatbul; Andrew Baumann; Carsten Binnig; Peter M. Fischer; Oriana Riva; Jens Teubner

    The ETH Zurich systems group and enterprise computing center

    In: SIGMOD Record, Vol. 37, No. 4, Pages 94-99, Association for Computing Machinery (ACM), 2008.

  10. Carsten Binnig; Donald Kossmann; Eric Lo

    Towards Automatic Test Database Generation

    In: IEEE Data Engineering Bulletin, Vol. 31, No. 1, Pages 28-35, IEEE, 2008.