Computing Cores for Existential Rules with the Standard Chase and ASP

Research output: Contribution to book/conference proceedings/anthology/reportConference contributionContributedpeer-review

Contributors

Details

Original languageEnglish
Title of host publicationProceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)
EditorsDiego Calvanese, Esra Erdem, Michael Thielscher
PublisherIJCAI Organization
Pages603–613
Publication statusPublished - 2020
Peer-reviewedYes

External IDs

Scopus 85104587719