Antoine Amarilli: Query Answering with Guarded Logics and Expressive Constraints

Antoine Amarilli (Télécom Paris) will give a talk on October 20th, 2 pm, at Salle Thomas Flowers, Turing Building. Abstract The query answering problem, also called entailment or certain answer problem, is a fundamental reasoning problem in knowledge representation and databases. It asks whether a conjunctive query is always certain given incomplete data …

Continue reading

Rakuten at Cedar Seminar

Martin Rezk and Laurent Ach from Rakuten Institute of Technology Paris will give a talk on Thursday, October 6, at Inria Turing Building, Salle Thomas Flowers. Rakuten is a Japanese company and one of the world’s leading Internet service companies providing e-commerce, financial and digital content services. PriceMinister, Viber, Kobo, for …

Continue reading

Victor Vianu: Analysis of Data-Centric Workflows

When: Friday, July 26th, at 2PM Where: Turing building, room Flowers Abstract: Software systems centered around databases have become pervasive in a wide variety of applications, including health-care management, e-commerce, business processes, scientific workflows, and e-government. Such applications support complex workflows involving numerous interacting actors, whence the critical need for various analysis …

Continue reading