Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP

PublikationenPublications

• Nach AutorBy Author
  • Philipp HanischPhilipp Hanisch
  • Markus KrötzschMarkus Krötzsch
• Nach ForschungsgruppeBy Research Group
  • Wissensbasierte SystemeKnowledge-Based Systems

Toggle side column

Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP

Philipp HanischPhilipp Hanisch,  Markus KrötzschMarkus Krötzsch

Philipp Hanisch, Markus Krötzsch
Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
Proceedings of the 29th International Conference on Database Theory, LIPIcs, to appear

• Details
• Bibtex

• Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

@inproceedings{HK2026,
  author    = {Philipp Hanisch and Markus Kr{\"{o}}tzsch},
  title     = {Rule Rewriting Revisited: A Fresh Look at Static Filtering for
               Datalog and {ASP}},
  booktitle = {Proceedings of the 29th International Conference on Database
               Theory},
  series    = {LIPIcs},
  year      = {2026}
}