Vadalog

swMATH33095MaRDI QIDQ44804FDOQ44804

Author name not available (Why is that?)

Official website: https://arxiv.org/abs/1807.08709

Cited In (23)

• Enhancing DLV for large-scale reasoning
• Modern Datalog Engines
• Modular materialisation of Datalog programs
• DLV
• DELORES
• Fuzzydl
• PROLEG
• LUBM
• Figaro
• Datalog
• MayBMS
• Lixto
• cplint
• Dyna
• Graal
• Yedalog
• EmptyHeaded
• Naiad
• SociaLite
• iBench
• RDFox
• Adding Metalogic Features to Knowledge Representation Languages*
• Flix

This page was built for software: Vadalog