Vadalog

swMATH33095MaRDI QIDQ44804FDOQ44804

Author name not available (Why is that?)

Cited In (4)

• Enhancing DLV for large-scale reasoning
• Modern Datalog Engines
• Modular materialisation of Datalog programs
• Adding Metalogic Features to Knowledge Representation Languages*

This page was built for software: Vadalog