Datalog
From MaRDI portal
swMATH20023MaRDI QIDQ31846FDOQ31846
Author name not available (Why is that?)
Official website: https://en.wikipedia.org/wiki/Datalog
Cited In (only showing first 100 items - show all)
- Semantics and complexity of recursive aggregates in answer set programming
- Removing redundancy from a clause
- Reasoning with infinite stable models
- Magic Sets and their application to data integration
- Extending and implementing the stable model semantics
- Modularity aspects of disjunctive stable models
- Datalog extensions for database queries and updates
- Disjunctive Datalog with existential quantifiers: semantics, decidability, and complexity issues
- HiLog
- C-SPARQL
- Cmodels
- DLV
- DLV-EX
- Gringo
- Smodels
- AEtnaNova
- Potassco
- GASP
- NoMoRe
- SPARQL
- MYSTIQ
- Joeq
- DMCS
- Treewidthlib
- CAESAR_SOLVE
- WASP
- FPsolve
- iClingo
- Ltur
- PelletSpatial
- nSPARQL
- Referee
- WebPIE
- NP Datalog
- FlexRecs
- XSB
- LUBM
- DeepDive
- PAGOdA
- MulVAL
- GRAPPA
- Snoop
- PrASP
- aspcud
- Datafun
- DKAL
- Hydrowl
- GraphLog
- HySpirit
- MayBMS
- Lixto
- ChoiceGAPs
- htd
- nomore++
- Lpopt
- CoQuiAAS
- DIAMOND
- Dungine
- Ontop
- Dyna
- Binder
- BigDatalog
- Graal
- DIADEM
- Dynamo
- gMark
- HoTTSQL
- OEuf
- ALASKA
- Bloom
- Datalog LITE
- ERBlox
- LogiQL
- LogicBlox
- ProBase
- Squash
- OntoDLV
- spock
- selp
- DeReS
- Naiad
- SociaLite
- DLPEQ
- DLV2
- iBench
- lpeq
- OMiGA
- pyrunlim
- RDFox
- Hexlite
- Vadalog
- MASTRO
- Polyanna
- INQUERY
- Flix
- IncA
- GeoSPARQL
- ERBlox: combining matching dependencies with machine learning for entity resolution
- The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
- ChoiceGAPs: competitive diffusion as a massive multi-player game in social networks
This page was built for software: Datalog
