Nombre de documents

33

CV de Yue Ma


Article dans une revue8 documents

  • Said Jabbour, Yue Ma, Raddaoui Badran, Lakhdar Sais. Quantifying Conflicts in Propositional Logic Through Prime Implicates. International Journal of Approximate Reasoning., 2017. <hal-01483475>
  • Xiaowang Zhang, Kewen Wang, Zhe Wang, Yue Ma, Guilin Qi, et al.. A Distance-based Framework for Inconsistency-Tolerant Reasoning and Inconsistency Measurement in DL-Lite. International Journal of Approximate Reasoning(IJAR), 2016. <hal-01483472>
  • H Zhou, S Forveille, A Sauvat, T Yamazaki, L Senovilla, et al.. The oncolytic peptide LTX-315 triggers immunogenic cell death. Cell Death and Disease , Nature Publishing Group, 2016, 7, pp.e2134. <10.1038/cddis.2016.47>. <hal-01310342>
  • Petrova Alina, Yue Ma, Tsatsaronis, George, Kissa Maria, Distel Felix, et al.. Formalizing biomedical concepts from textual definition.. Journal of Biomedical Semantics, BioMed Central, 2015, pp.24. <hal-01138987>
  • Liping Zhou, Houkuan Huang, Guilin Qi, Yue Ma, Zhisheng Huang, et al.. Paraconsistent query answering over DL-Lite ontologies. Web Intelligence and Agent Systems, IOS Press, 2012, pp.19-31. <hal-00711850>
  • Frederick Maier, Yue Ma, Pascal Hitzler. Paraconsistent OWL and Related Logics. Semantic Web – Interoperability, Usability, Applicability, IOS Press, 2012. <hal-00705876>
  • Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zuoquan Lin. Computational Complexity and Anytime Algorithm for Inconsistency Measurement. International Journal of Software and Informatics (IJSI), ISCAS, 2010, 4 (1), pp.3-21. <hal-00528919>
  • Yue Ma, Guilin Qi, Pascal Hitzler. Computing Inconsistency Measure based on Paraconsistent Semantics. Journal of Logic and Computation, Oxford University Press (OUP), 2010, pp.1257-1281. <hal-00528921>

Communication dans un congrès23 documents

  • Luis Palacios, Claire Laudy, Gaëlle Lortal, Christian Sannino, Ludovic Simon, et al.. Avionics Maintenance Ontology Building for Failure Diagnosis Support. Ana L. N. Fred and Jan L. G. Dietz and David Aveiro and Kecheng Liu and Jorge Bernardino and Joaquim Filipe. KEOD, Nov 2016, Porto, Portugal. 2, pp.204--209, Proceedings of the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management. <hal-01482300>
  • Said Jabbour, Yue Ma, Raddaoui Badran, Lakhdar Sais, Yakoub Salhi. A MIS Partition Based Framework for Measuring Inconsistency. 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16), Apr 2016, Cape Town, South Africa. <hal-01262615>
  • Xiaowang Zhang, Kewen Wang, Zhe Wang, Yue Ma, Guilin Qi. A Distance-Based Paraconsistent Semantics for DL-Lite. Knowledge Science, Engineering and Management - 8th International Conference (KSEM'15), Oct 2015, Chongqing, China. <hal-01272914>
  • Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther. Towards Extracting Ontology Excerpts. Knowledge Science, Engineering and Management - 8th International Conference on KSEM 2015, Oct 2015, Chongqing, China. <hal-01272907>
  • Said Jabbour, Yue Ma, Raddaoui Badran, Lakhdar Sais, Yakoub Salhi. On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing. Proceedings of the Autonomous Agents and Multiagent Systems (AAMAS'15), May 2015, Istanbul, Turkey. <hal-01139015>
  • Said Jabbour, Yue Ma, Raddaoui Badran, Lakhdar Sais. On the Characterization of Inconsistency Measures: A Prime Implicates Based Framework. The annual IEEE International Conference on Tools with Artificial Intelligence, Nov 2014, Limassol, Cyprus. <hal-01262616>
  • François Lévy, Nadi Tomeh, Yue Ma. Ontology-based Technical Text Annotation. COLING Workshop on Synchronic and Diachronic Approaches to Analyzing Technical Language (SADAATL), Aug 2014, Dublin, Ireland. http://aclweb.org/anthology/W14-6003, pp.21-30, 2014, <http://aclweb.org>. <hal-01129988>
  • Yue Ma, Cheng Long. Investigating Distributed Approaches to Efficiently Extract Textual Evidences for Biomedical Ontologies. 14th IEEE International Conference on Bioinformatics and BioEngineering (BIBE'14), 2014, Boca Raton, United States. <hal-01139036>
  • Said Jabbour, Yue Ma, Raddaoui Badran, Lakhdar Sais. On the Characterization of Inconsistency Measures: A Prime Implicates Based Framework. International Conference on Tools with Artificial Intelligence(ICTAI'14), Nov 2014, Limassol, Cyprus. <hal-01139031>
  • Said Jabbour, Yue Ma, Raddaoui Badran. Inconsistency Measurement Thanks to MUS Decomposition. 2014 international conference on Autonomous agents and multi-agent systems (AAMAS'14), May 2014, Paris, France. <hal-01139215>
  • Said Jabbour, Yue Ma, Raddaoui Badran. Prime Implicates Based Inconsistency Characterization. European Conference on Artificial Intelligence (ECAI'14), Aug 2014, Prague, Czech Republic. <hal-01139219>
  • Guohui Xiao, Yue Ma. Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets. European Conference on Artificial Intelligence 2012 (ECAI'12), Aug 2012, France. 2012. <hal-00705870>
  • Yue Ma, François Lévy, Sudeep Ghimire. Reasoning with Annotations of Texts. The 24th Florida Artificial Intelligence Research Society Conference (FLAIRS-24), May 2011, United States. pp.192-197, 2011. <hal-00581556v2>
  • Yue Ma, François Lévy. Computing Fine-grained Semantic Annotations of Texts. The 10th International Semantic Web Conference (ISWC11-PD), Oct 2011, Germany. (4 p.), 2011. <hal-00623681v2>
  • Yue Ma, Adeline Nazarenko, Laurent Audibert. Formal Description of Resources for Ontology-based Semantic Annotation. The seventh international conference on Language Resources and Evaluation, May 2010, Malta. pp.3765-3772, 2010. <hal-00528853>
  • Guohui Xiao, Zuoquan Lin, Yue Ma, Guilin Qi. Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers. Twelfth International Conference on the Principles of Knowledge Representation and Reasoning, Oct 2010, Canada. pp.340-349, 2010. <hal-00528911>
  • Yue Ma, Pascal Hitzler. Distance-based Measures of Inconsistency and Incoherency for Description Logics. The 23rd International Workshop on Description Logics (DL 2010), Oct 2010, Canada. pp.475-485, 2010. <hal-00528912>
  • Yue Ma, Hitzler Pascal. Paraconsistent reasoning for OWL 2. The Third International Conference on Web Reasoning and Rule Systems (colocated with ISWC 2009), Oct 2009, United States. pp.197--211, 2009. <hal-00422890>
  • Liping Zhou, Houkuan Huang, Guilin Qi, Yue Ma, Zhisheng Huang, et al.. Measuring Inconsistency in DL-Lite Ontologies. The 2009 IEEE / WIC / ACM International Conferences on Web Intelligence (WI'09), Sep 2009, Milan, Italy. pp.349-356, 2009. <hal-00422876>
  • Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zuoquan Lin. An Anytime Algorithm for Computing Inconsistency Measurement. 3rd International Conference on Knowledge Science, Engineering and management, Nov 2009, Austria. pp.29-40, 2009. <hal-00422891>
  • Xiaowang Zhang, Guilin Qi, Yue Ma, Zuoquan Lin. Quasi-Classical Semantics for Expressive Description Logics. Description Logics 2009, Jul 2009, United Kingdom. (11 p.), 2009. <hal-00422882>
  • Yue Ma, Laurent Audibert. Détection des contradictions dans les annotations sémantiques. 16ème conférence sur le Traitement Automatique des Langues Naturelles, Jun 2009, Senlis, France. pp.609-618, 2009. <hal-00422894>
  • Yue Ma, Laurent Audibert, Adeline Nazarenko. Ontologies étendues pour l'annotation sé́mantique. 20es Journées Francophones d'Ingénierie des Connaissances, May 2009, Hammamet, Tunisie, Tunisie. pp.205-216, 2009. <hal-00378594>

Pré-publication, Document de travail2 documents

  • Philippe G. Lefloch, Yue Ma. The mathematical validity of the f (r) theory of modified gravity. 2016. <hal-01423831>
  • Philippe Lefloch, Yue Ma. The global nonlinear stability of Minkowski space for self-gravitating massive fields. 2016. <hal-01423475>