Deductive Databases

36 books
The Deductive SpreadsheetIliano Cervesato
⏱ 7h 7m

The Deductive Spreadsheet

Iliano Cervesato

2013427 pp.
A fixpoint theory of nonmonotonic functions and its applications to logic programs, deductive databases and production rule systemsYuli Zhou
⏱ 1h 19m

A fixpoint theory of nonmonotonic functions and its applications to logic programs, deductive databases and production rule systems

Yuli Zhou

199179 pp.
Deductive databases and their applicationsRobert M. Colomb
⏱ 4h 23m

Deductive databases and their applications

Robert M. Colomb

1998263 pp.
Deductive and object-oriented databasesInternational Conference on Deductive and Object-Oriented Databases (5th 1997 Montreux, Switzerland)
⏱ 7h 10m

Deductive and object-oriented databases

International Conference on Deductive and Object-Oriented Databases (5th 1997 Montreux, Switzerland)

1997430 pp.
Constraint-based mining and inductive databasesEuropean Workshop on Inductive Databases and Constraint Based Mining (2004 Hinterzarten, Germany)
⏱ 6h 39m

Constraint-based mining and inductive databases

European Workshop on Inductive Databases and Constraint Based Mining (2004 Hinterzarten, Germany)

2005399 pp.
Deductive Systems and the Decidability Problem for Hybrid LogicsMichal Zawidzki
⏱ 3h 52m

Deductive Systems and the Decidability Problem for Hybrid Logics

Michal Zawidzki

2014232 pp.
Petri net semantics of logic programs and deductive databasesMichael Dahr
⏱ 2h 20m

Petri net semantics of logic programs and deductive databases

Michael Dahr

1994140 pp.
Transactions and change in logic databasesInternational Seminar on Logic Databases and the Meaning of Change (1996 Schloss Dagstuhl)
⏱ 6h 36m

Transactions and change in logic databases

International Seminar on Logic Databases and the Meaning of Change (1996 Schloss Dagstuhl)

1998396 pp.
Cikm 93Bharat K. Bhargava
⏱ 12h 20m

Cikm 93

Bharat K. Bhargava

1993740 pp.
CIKM '94International Conference on Information and Knowledge Management (3rd 1994 Gaithersburg, Md.)
⏱ 7h 43m

CIKM '94

International Conference on Information and Knowledge Management (3rd 1994 Gaithersburg, Md.)

1994463 pp.
Constraint-Based Mining and Inductive DatabasesJean-Francois Boulicaut

Constraint-Based Mining and Inductive Databases

Jean-Francois Boulicaut

2006No page data
Handbook of automated reasoningJ. A. Robinson
⏱ 35h 28m

Handbook of automated reasoning

J. A. Robinson

20012128 pp.
MFDBS 89Symposium on Mathematical Fundamentals of Database Systems (2nd 1989 Visegrád, Hungary)
⏱ 7h 8m

MFDBS 89

Symposium on Mathematical Fundamentals of Database Systems (2nd 1989 Visegrád, Hungary)

1989428 pp.
Relational databases and knowledge basesG. Gardarin
⏱ 7h 28m

Relational databases and knowledge bases

G. Gardarin

1989448 pp.
Datalog in Academia and IndustryPablo Barceló

Datalog in Academia and Industry

Pablo Barceló

2012No page data
The Deductive Spreadsheet Cognitive TechnologiesIliano Cervesato
⏱ 6h 46m

The Deductive Spreadsheet Cognitive Technologies

Iliano Cervesato

2013406 pp.
← PreviousPage 2 of 2