Extension d'ASP pour couvrir des fragments DL traitables : étude théorique et implémentation. (Extension of ASP to cover treatable DL fragments : theorical study and implementation)

Fabien Garreau. Extension d'ASP pour couvrir des fragments DL traitables : étude théorique et implémentation. (Extension of ASP to cover treatable DL fragments : theorical study and implementation). PhD thesis, University of Angers, France, 2016. [doi]

Abstract

Abstract is missing.