Amanote Research

Amanote Research

    RegisterSign In

Datalog Relaunched: Simulation Unification and Value Invention

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-24206-9_19
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2011

Authors
François BryTim FurcheClemens LeyBruno MarnetteBenedikt LinseSebastian Schaffert
Publisher

Springer Berlin Heidelberg


Related search

Meta-Interpretive Learning of Higher-Order Dyadic Datalog: Predicate Invention Revisited

Machine Learning
Artificial IntelligenceSoftware
2015English

Corporate Geography Relaunched

Geographical review of Japan, Series B.
1995English

Fuzzy Datalog With Background Knowledge

Teaching Mathematics and Computer Science
2005English

Einstein: Unification Theory and Unification of Basic Forces-Ii

American Journal of Physics and Applications
2015English

An Operational Semantics for Network Datalog

English

On the Equivalence of Recursive and Nonrecursive Datalog Programs

1992English

Textual Invention and Quotation

Ars et Humanitas
ArtsHumanities
2019English

On the Expected Size of Recursive Datalog Queries

1991English

The Invention

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy