User Tools
research:publications
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
research:publications [2017/12/12 23:39] atif |
research:publications [2017/12/12 23:40] atif |
||
|---|---|---|---|
| Line 2: | Line 2: | ||
| * Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot. \\ [[https://arxiv.org/submit/1777099/view|A finite basis theorem for the description logic ALC]]. arXiv preprint arXiv:1502.07634, 2016. \\ //Submitted to Information Processing Letters//. \\ ''Category'': Artificial Intelligence, Logics | * Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot. \\ [[https://arxiv.org/submit/1777099/view|A finite basis theorem for the description logic ALC]]. arXiv preprint arXiv:1502.07634, 2016. \\ //Submitted to Information Processing Letters//. \\ ''Category'': Artificial Intelligence, Logics | ||
| - | |||
| - | |||
| ==== Published papers==== | ==== Published papers==== | ||
| ==2018== | ==2018== | ||
| - | | + | * Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot.\\ [[https://arxiv.org/submit/1777104/view| Belief Revision, Minimal Change and Relaxation: A General Framework based on Satisfaction Systems, and Applications to Description Logics]]. arXiv preprint arXiv:1502.02298. //to appear in **Artificial Intelligence Journal**//. \\ ''Category'': Artificial Intelligence, Logics, Knowledge representation and Reasoning. |
| - | * Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot.\\ [[https://arxiv.org/submit/1777104/view| Belief Revision, Minimal Change and Relaxation: A General Framework based on Satisfaction Systems, and Applications to Description Logics]]. arXiv preprint arXiv:1502.02298. //Submitted to Artificial Intelligence Journal//. \\ ''Category'': Artificial Intelligence, Logics, Knowledge representation and Reasoning. | + | |
| ==2017== | ==2017== | ||
research/publications.txt · Last modified: 2017/12/12 23:40 by atif
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 3.0 Unported
