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 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.
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.
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.