Z. Zhu, Li, C. Min, Manyi, F., and Simon, L.,
“Optimizing with Minimum Satisfiability”,
Artificial Intelligence, vol. 190, pp. 32-44, 2012.
X. Zhang, Wang, K., Wang, Z., Ma, Y., and Qi, G.,
“A Distance-Based Paraconsistent Semantics for DL-Lite”, in
Knowledge Science, Engineering and Management - 8th International Conference (KSEM'15), Chongqing, China, 2015.
N. Zemirline, Bourda, Y., and Reynaud, C.,
“A set of adaptation patterns for expressing adaptive navigation in Adaptive Hypermedia”, in
Proceedings of the International Workshop on Dynamic and Adaptive Hypertext - Generic Frameworks, Approaches and Techniques (DAH'11), 22nd ACM Conference on Hypertext and Hypermedia, Eindhoven, Netherlands, 2011, p. 12 pages.
N. Zemirline, Bourda, Y., Reynaud, C., and Popineau, F.,
“MESAM: A Protégé Plug-in for the Specialization of Models”, in
Proc. of International Protege Conference, Amsterdam Pays-Bas, 2009.
N. Zemirline, Bourda, Y., and Reynaud, C.,
“A Pattern-based Framework for expressing Adaptation Strategies in Adaptative Systems”, in
Proc. of International Conference on Intelligent Systems Design and Applications (ISDA), Caire Egypt, 2010, pp. 330-335.
H. Zaatiti, Ye, L., Dague, P., and Gallois, J. - P.,
“Automating Abstraction Computations of Hybrid Systems”, in
CICM 2018 - 11th Conference on Intelligent Computer Mathematics ; Workshop FVPS 2018 - Formal Verification of Physical Systems, Hagenberg, Austria, 2018.