Wang, D., Hu, P., Walega, P., & Cuenca Grau, B. (2022). MeTeoR: Practical reasoning in datalog with metric temporal operators. Association for the Advancement of Artificial Intelligence.
Chicago Style (17th ed.) CitationWang, D., P. Hu, P. Walega, and B. Cuenca Grau. MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators. Association for the Advancement of Artificial Intelligence, 2022.
MLA引文Wang, D., et al. MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators. Association for the Advancement of Artificial Intelligence, 2022.
警告:這些引文格式不一定是100%准確.