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}
}
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
Permalink
https://cfaed.tu-dresden.de/publications?pubId=2667