Combining representation formalisms for reasoning upon mathematical knowledge-Reference-Cited by-同舟云学术

Combining representation formalisms for reasoning upon mathematical knowledge

Published:2023-12-05 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 12th Knowledge Capture Conference 2023
language:
Short-container-title:

Author:

D'Aquin Mathieu¹^ORCID,Bunoiu Renata²^ORCID,Cirstea Horatiu³^ORCID,Lenczner Michel⁴^ORCID,Lieber Jean⁵^ORCID,Zamkotsian Frédéric⁶^ORCID

Affiliation:

1. K-Team, LORIA - Université de Lorraine, CNRS, Inria, France

2. Université de Lorraine, CNRS, IECL, France

3. LORIA - Université de Lorraine, CNRS, Inria, France

4. FEMTO-ST - UTBM, ENSMM, UFC, CNRS, France

5. LORIA, Université de Lorraine, CNRS, Inria, France

6. LAM - Aix Marseille Université, CNRS, CNES, France

Funder

CNRS

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3587259.3627549

Reference11 articles.

1. W. Belkhir, N. Ratier, D. D. Nguyen, N. B. T. Nguyen, M. Lenczner, and F. Zamkotsian. 2017. A tool for aided multi-scale model derivation and its application to the simulation of a micro mirror array. In 2017 18th International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems (EuroSimE). IEEE, 1–8.

2. W. Belkhir, N. Ratier, D. D. Nguyen, B. Yang, M. Lenczner, F. Zamkotsian, and H. Cirstea. 2015. Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array. In 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). IEEE, 47–54.

3. R. Brachman E. Ciccarelli N. Greenfeld and M. Yonke. 1978. KL-ONE reference manual. Technical Report. BBN report.

4. Ronald J. Brachman and Hector J. Levesque. 2004. Knowledge Representation and Reasoning. Morgan Kaufmann.

5. The two-dimensional array of 2048 tilting micromirrors for astronomical spectroscopy