Yang, Xin; Zhang, Yingying; Fujita, Hamido; Liu, Dun; Li, Tianrui Local temporal-spatial multi-granularity learning for sequential three-way granular computing. (English) Zbl 1475.68305 Inf. Sci. 541, 75-97 (2020). MSC: 68T05 68T37 × Cite Format Result Cite Review PDF Full Text: DOI
Fernando, Tim Constructing situations and time. (English) Zbl 1231.03030 J. Philos. Log. 40, No. 3, 371-396 (2011). MSC: 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Orgun, Mehmet A.; Liu, Chuchang; Nayak, Abhaya C. Knowledge representation, reasoning and integration using temporal logic with clocks. (English) Zbl 1158.68502 Math. Comput. Sci. 2, No. 1, 143-163 (2008). MSC: 68T30 68T27 × Cite Format Result Cite Review PDF Full Text: DOI
Montanari, Angelo; Peron, Adriano; Puppis, Gabriele On the relationships between theories of time granularity and the monadic second-order theory of one successor. (English) Zbl 1186.03037 J. Appl. Non-Class. Log. 16, No. 3-4, 433-455 (2006). MSC: 03B44 03B25 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
Franceschet, Massimo; Montanari, Angelo; Peron, Adriano; Sciavicco, Guido Definability and decidability of binary predicates for time granularity. (English) Zbl 1101.03016 J. Appl. Log. 4, No. 2, 168-191 (2006). MSC: 03B25 03B44 × Cite Format Result Cite Review PDF Full Text: DOI
Combi, Carlo; Franceschet, Massimo; Peron, Adriano Representing and reasoning about temporal granularities. (English) Zbl 1085.68087 J. Log. Comput. 14, No. 1, 51-77 (2004). MSC: 68Q60 03B70 68P15 × Cite Format Result Cite Review PDF Full Text: DOI
Camossi, Elena; Bertino, Elisa; Mesiti, Marco; Guerrini, Giovanna Handling expiration of multigranular temporal objects. (English) Zbl 1085.68034 J. Log. Comput. 14, No. 1, 23-50 (2004). MSC: 68P15 × Cite Format Result Cite Review PDF Full Text: DOI
Tournat, Vincent; Castagnède, Bernard; Gusev, Vitalyi; Béquin, Philippe Self-demodulation acoustic signatures for nonlinear propagation in glass beads. (English) Zbl 1181.74068 C. R., Méc., Acad. Sci. Paris 331, No. 2, 119-125 (2003). MSC: 74J30 74E20 74-05 × Cite Format Result Cite Review PDF Full Text: DOI Link
Franceschet, Massimo; Montanari, Angelo Branching within time: An expressively complete and elementarily decidable temporal logic for time granularity. (English) Zbl 1082.68066 Res. Lang. Comput. 1, No. 3-4, 229-263 (2003). MSC: 68Q60 03B44 03B25 × Cite Format Result Cite Review PDF Full Text: DOI Link
Pedrycz, Witold; Gacek, Adam Temporal granulation and its application to signal analysis. (English) Zbl 1006.68651 Inf. Sci. 143, No. 1-4, 47-71 (2002). MSC: 68U99 68T37 94A12 × Cite Format Result Cite Review PDF Full Text: DOI
Montanari, Angelo; Peron, Adriano; Policriti, Alberto Extending Kamp’s theorem to model time granularity. (English) Zbl 1006.03015 J. Log. Comput. 12, No. 4, 641-677 (2002). Reviewer: Giacomo Bonanno (Davis) MSC: 03B44 × Cite Format Result Cite Review PDF Full Text: DOI
Bettini, Claudio; Wang, X. Sean; Jajodia, Sushil Solving multi-granularity temporal constraint networks. (English) Zbl 0999.68204 Artif. Intell. 140, No. 1-2, 107-152 (2002). MSC: 68T20 68T30 × Cite Format Result Cite Review PDF Full Text: DOI
Chittaro, Luca; Combi, Carlo Temporal granularity and indeterminacy in reasoning about actions and change: An approach based on the Event Calculus. (English) Zbl 1014.68166 Ann. Math. Artif. Intell. 36, No. 1-2, 81-119 (2002). MSC: 68T37 68T35 68T30 × Cite Format Result Cite Review PDF Full Text: DOI
Bittner, Thomas Approximate qualitative temporal reasoning. (English) Zbl 1001.68140 Ann. Math. Artif. Intell. 36, No. 1-2, 39-80 (2002). MSC: 68T37 × Cite Format Result Cite Review PDF Full Text: DOI
Ning, Peng; Wang, Xiaoyang Sean; Jajodia, Sushil An algebraic representation of calendars. (English) Zbl 1001.68034 Ann. Math. Artif. Intell. 36, No. 1-2, 5-38 (2002). MSC: 68P15 68W30 68T30 68U35 × Cite Format Result Cite Review PDF Full Text: DOI
Goralwalla, Iqbal A.; Leontiev, Yuri; Özsu, M. Tamer; Szafron, Duane; Combi, Carlo Temporal granularity: Completing the puzzle. (English) Zbl 1034.68609 J. Intell. Inf. Syst. 16, No. 1, 41-63 (2001). MSC: 68U99 68U35 68P15 × Cite Format Result Cite Review PDF Full Text: DOI
Staab, S. From binary temporal relations to non-binary ones and back. (English) Zbl 0971.68126 Artif. Intell. 128, No. 1-2, 1-29 (2001). MSC: 68T01 × Cite Format Result Cite Review PDF Full Text: DOI
Bettini, Claudio; De Sibi, Roberto Symbolic representation of user-defined time granularities. (English) Zbl 1050.68599 Ann. Math. Artif. Intell. 30, No. 1-4, 53-92 (2000). MSC: 68T30 × Cite Format Result Cite Review PDF Full Text: DOI
Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe Y. Common knowledge revisited. (English) Zbl 0923.03008 Ann. Pure Appl. Logic 96, No. 1-3, 89-105 (1999). MSC: 03A05 68T30 03B45 91A40 × Cite Format Result Cite Review PDF Full Text: DOI
Montanari, Angelo; Peron, Adriano; Policriti, Alberto Theories of \(\omega\)-layered metric temporal structures: Expressiveness and decidability. (English) Zbl 0920.03033 Log. J. IGPL 7, No. 1, 79-102 (1999). MSC: 03B45 03B25 × Cite Format Result Cite Review PDF Full Text: DOI Link
Puppe, Frank; Gappa, Ute; Poeck, Karsten; Bamberger, Stefan Knowledge-based diagnosis and information systems. (Wissensbasierte Diagnose- und Informationssysteme.) (German) Zbl 0888.68111 Berlin: Springer. xi, 285 p. (1996). Reviewer: U.Hahn (Freiburg i.Br.) MSC: 68T35 68-01 68T20 68T30 × Cite Format Result Cite Review PDF
Ayrolles, L.; Faivre, R.; Guerrin, F. Temporal multiresolution analysis for a quantitative/qualitative interpretation of complex dynamic processes. (English) Zbl 0951.93507 IEE Proc., Control Theory Appl. 143, No. 2, 191-199 (1996). MSC: 93A30 93C70 × Cite Format Result Cite Review PDF Full Text: DOI
Montanari, Angelo; Policriti, Alberto Decidability results for metric and layered temporal logics. (English) Zbl 0858.03018 Notre Dame J. Formal Logic 37, No. 2, 260-282 (1996). Reviewer: D.Gruska (Bratislava) MSC: 03B45 03B25 × Cite Format Result Cite Review PDF Full Text: DOI Link
Pianesi, Fabio; Varzi, Achille C. Refining temporal reference in event structures. (English) Zbl 0855.03018 Notre Dame J. Formal Logic 37, No. 1, 71-83 (1996). MSC: 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Mota, Edjard; Robertson, David; Smaill, Alan Nature time: Temporal granularity in simulation of ecosystems. (English) Zbl 0867.68098 J. Symb. Comput. 22, No. 5-6, 665-698 (1996). MSC: 68T27 68U20 × Cite Format Result Cite Review PDF Full Text: DOI