ANGELO MONTANARI--Temporal Logics and Automata

最新推荐文章于 2025-08-06 16:23:50 发布

weixin_33978044

最新推荐文章于 2025-08-06 16:23:50 发布

阅读量150

点赞数

CC 4.0 BY-SA版权

文章标签：数据库

原文链接：http://www.cnblogs.com/lqcdkj/archive/2009/06/12/1502214.html

本文汇总了2009年关于空间逻辑、时间逻辑及自动推理领域的多项研究成果，涉及方向性关系推理、区间时间逻辑、多维时间概念模型转换等主题，并探讨了相关理论在计算机科学中的应用。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

http://sole.dimi.uniud.it/~angelo.montanari

[C68] Montanari A., G. Puppis, Sala P., "A Decidable Spatial Logic with Cone-shaped Cardinal Directions", Proceedings of the 18th EACSL Annual Conference on Computer Science Logic (CSL), LNCS, Springer, Coimbra, Portugal, September 2009.

[C67] Gubiani D., Montanari A., "A relational encoding of a conceptual model with multiple temporal dimensions", Proceedings of the 20th International Conference on Database and Expert Systems Applications (DEXA), LNCS, Springer, Linz, Austria, August 2009.

[C66] Franceschet M., Gubiani D., Montanari A., Piazza C., "From Entity-Relationship to XML Schema: a graph-theoretic approach", Proceedings of the 6th International XML Database Symposium (Xsym), LNCS, Springer, Lyon, France, August 2009.

[C65] Bresolin D., Della Monica D., Goranko V., Montanari A., Sciavicco G., "Undecidability of Interval Temporal Logics with the Overlap Modality", Proceedings of TIME 2008: 16th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Comp. Society Press, Bressanone (BZ), Italia, July 2009.

[C64] Bresolin D., Montanari A., Sala P., Sciavicco G., "Tableau-Based System for Spatial Reasoning about Directional Relations", Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), LNAI, Springer, Oslo, Norway, July 2009.

[C63] Bresolin D., Goranko V., Montanari A., Sala P., "Complete and Terminating Tableau for the Logic of Proper Subinterval Structures over Dense Orderings", Electronic Notes in Theoretical Computer Science (Proceedings of the 5th Workshop on Methods for Modalities - M4M 5, 2007), Volume 231, 2009, pp. 131-151 (extended and revised version of [W30]).

[C62] De Maria E., Montanari A., Vitacolonna N., "Games on strings with a limited order relation". Proceedings of the 2009 Symposium on Logical Foundations of Computer Science (LFCS), LNCS 5407, Springer, Deerfield Beach, Florida, USA, January 2009, pp. 164-179.

[J36] Bresolin D., Montanari A., Puppis G., "A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity", Acta Informatica, doi: 10.1007/s00236-009-0094-7, 2009.

转载于:https://www.cnblogs.com/lqcdkj/archive/2009/06/12/1502214.html