Deductive databases

Deductive Spreadsheet

Iliano Cervesato

Datalog in Academia and Industry: Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings

edited by Pablo Barceló, Reinhard Pichler

Deductive and object-oriented databases: proceedings of the First International Conference on Deductive and Object-Oriented Databases (DOOD89), Kyoto Research Park, Kyoto, Japan, 4-6 December, 1989

edited by Won Kim, Jean-Marie Nicolas, Shojiro Nishio.

Deductive and object-oriented databases: third international conference, DOOD '93, Phoenix, Arizona, USA, December 6-8, 1993 : proceedings

Stefano Ceri, Katsumi Tanaka, Shalom Tsur, eds.

Handbook of Automated Reasoning

J. A. Robinson, A. Voronkov

Handbook of Automated Reasoning: Volume II (Handbook of Automated Reasoning)

Andrei Voronkov

Logic in databases: International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings

Dino Pedreschi, Carlo Zaniolo, (eds.).

Foundations of deductive databases and logic programming

contributors, Krzysztof R. Apt ... [et al.] ; edited by Jack Minker.

Datenmodellierung mit deduktiven Techniken

Gustaf Neumann.

Constraint-Based Mining and Inductive Databases: European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers

edited by Jean-Francois Boulicaut, Luc De Raedt, Heikki Mannila