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.
Dyfyniad Arddull ChicagoWang, 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.
Dyfyniad MLAWang, D., et al. MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators. Association for the Advancement of Artificial Intelligence, 2022.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.