Login / Signup
Datalog Relaunched: Simulation Unification and Value Invention.
François Bry
Tim Furche
Clemens Ley
Bruno Marnette
Benedikt Linse
Sebastian Schaffert
Published in:
Datalog (2010)
Keyphrases
</>
expressive power
mathematical model
databases
query answering
theorem proving
query language
datalog programs
genetic algorithm
higher order
numerical simulations
mathematical models