User Tools

Site Tools


research:publications

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
research:publications [2017/12/12 23:39]
atif
research:publications [2017/12/12 23:40] (current)
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