Please log in if you want to be notified when deductive databases is mentioned on Eventseer.net. Click the tracker button below to activate notifications.
Click the button to be notified on your personal tracker whenever this topic is mentioned in an event.

deductive databases


Deductive databases is mentioned in 17 events. This topic is frequently associated with Henning Christiansen, Loreto Bravo and Dietmar Seipel.

about


tracker for deductive databases


December 12, 2008

Automated reasoning with analytic tableaux and related methods (TABLEAUX 2009) was updated.

November 11, 2008

Automated reasoning with analytic tableaux and related methods (TABLEAUX 2009) was added.

October 8, 2008

20th international conference on database and expert systems applications (DEXA 2009) was added.

July 21, 2008

22nd workshop on (constraint) logic programming (WLP 2008) was added.

» Show all

Facts


Filter by country:

Unable to load Flash content. The YUI Charts Control requires Flash Player 9.0.45 or higher. You can download the latest version of Flash Player from the Adobe Flash Player Download Center.