cfaed Publications

Restricted Chase (Non) Termination for Existential Rules with Disjunctions.

Reference

David Carral, Irina Dragoste, Markus Krötzsch, "Restricted Chase (Non) Termination for Existential Rules with Disjunctions.", In Proceeding: IJCAI, pp. 922–928, 2017.

Bibtex

@inproceedings{carral2017restricted,
title={Restricted Chase (Non) Termination for Existential Rules with Disjunctions.},
author={Carral, David and Dragoste, Irina and Kr{\"o}tzsch, Markus},
booktitle={IJCAI},
pages={922--928},
year={2017}
}

Downloads

No Downloads available for this publication

Related Paths

Orchestration Path

Permalink

https://cfaed.tu-dresden.de/publications?pubId=2667


Go back to publications list