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
Next revision
Previous revision
research:publications [2017/12/12 23:38]
atif [Published papers]
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
- 
- 
-  * 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. 
  
  
 ==== Published papers==== ==== Published papers====
 ==2018== ==2018==
-  * Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot. 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. ​//to appear in **Artificial Intelligence Journal**//\\ ''​Category''​: Artificial Intelligence,​ Logics, Knowledge representation and Reasoning.
  
 ==2017== ==2017==
research/publications.1513118292.txt.gz · Last modified: 2017/12/12 23:38 by atif