Pages that link to "Item:Q5398299"
From MaRDI portal
The following pages link to A declarative extension of horn clauses, and its significance for datalog and its applications (Q5398299):
Displaying 8 items.
- Extending Horn clause logic with implication goals (Q1186427) (← links)
- (Q3486859) (← links)
- On Bounded Database Schemes and Bounded Horn-Clause Programs (Q3777438) (← links)
- (Q4205425) (← links)
- Scaling-up reasoning and advanced analytics on BigData (Q4559832) (← links)
- Fixpoint semantics and optimization of recursive Datalog programs with aggregates (Q4592728) (← links)
- A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation (Q5108522) (← links)
- A declarative extension of horn clauses, and its significance for datalog and its applications (Q5398299) (← links)