Greugny, Eléa Thibault; Fages, François; Radulescu, Ovidiu; Szmolyan, Peter; Stamatas, Georgios N. A skin microbiome model with AMP interactions and analysis of quasi-stability vs stability in population dynamics. (English) Zbl 07784208 Theor. Comput. Sci. 983, Article ID 114294, 19 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{E. T. Greugny} et al., Theor. Comput. Sci. 983, Article ID 114294, 19 p. (2024; Zbl 07784208) Full Text: DOI arXiv
Mantenoglou, Periklis; Artikis, Alexander; Paliouras, Georgios Online event recognition over noisy data streams. (English) Zbl 07734040 Int. J. Approx. Reasoning 161, Article ID 108993, 30 p. (2023). MSC: 68T37 PDFBibTeX XMLCite \textit{P. Mantenoglou} et al., Int. J. Approx. Reasoning 161, Article ID 108993, 30 p. (2023; Zbl 07734040) Full Text: DOI
Kurucz, Agi; Ryzhikov, Vladislav; Savateev, Yury; Zakharyaschev, Michael Deciding FO-rewritability of regular languages and ontology-mediated queries in linear temporal logic. (English) Zbl 07732093 J. Artif. Intell. Res. (JAIR) 76, 645-703 (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{A. Kurucz} et al., J. Artif. Intell. Res. (JAIR) 76, 645--703 (2023; Zbl 07732093) Full Text: DOI arXiv
Chafik, Anasse; Cheikh-Alili, Fahima; Condotta, Jean-François; Varzinczak, Ivan Defeasible linear temporal logic. (English) Zbl 07708149 J. Appl. Non-Class. Log. 33, No. 1, 1-51 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{A. Chafik} et al., J. Appl. Non-Class. Log. 33, No. 1, 1--51 (2023; Zbl 07708149) Full Text: DOI
Wang, Ziye; Miao, Duoqian Spatial-temporal single object tracking with three-way decision theory. (English) Zbl 07698068 Int. J. Approx. Reasoning 154, 38-47 (2023). MSC: 68T37 PDFBibTeX XMLCite \textit{Z. Wang} and \textit{D. Miao}, Int. J. Approx. Reasoning 154, 38--47 (2023; Zbl 07698068) Full Text: DOI
Wałęga, Przemysław; Zawidzki, Michał; Cuenca Grau, Bernardo Finite materialisability of Datalog programs with metric temporal operators. (English) Zbl 1506.68015 J. Artif. Intell. Res. (JAIR) 76, 471-521 (2023). MSC: 68N17 68Q17 PDFBibTeX XMLCite \textit{P. Wałęga} et al., J. Artif. Intell. Res. (JAIR) 76, 471--521 (2023; Zbl 1506.68015) Full Text: DOI
Bellier, Dylan; Benerecetti, Massimo; Della Monica, Dario; Mogavero, Fabio Good-for-game QPTL: an alternating hodges semantics. (English) Zbl 07650600 ACM Trans. Comput. Log. 24, No. 1, Paper No. 4, 57 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{D. Bellier} et al., ACM Trans. Comput. Log. 24, No. 1, Paper No. 4, 57 p. (2023; Zbl 07650600) Full Text: DOI arXiv
Posenato, Roberto; Combi, Carlo Adding flexibility to uncertainty: flexible simple temporal networks with uncertainty (FTNU). (English) Zbl 07798610 Inf. Sci. 584, 784-807 (2022). MSC: 68T20 68T37 PDFBibTeX XMLCite \textit{R. Posenato} and \textit{C. Combi}, Inf. Sci. 584, 784--807 (2022; Zbl 07798610) Full Text: DOI
Bischopink, Christopher; Olderog, Ernst-Rüdiger Spatial and timing properties in highway traffic. (English) Zbl 07719828 Seidl, Helmut (ed.) et al., Theoretical aspects of computing – ICTAC 2022. 19th international colloquium, Tbilisi, Georgia, September 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13572, 114-131 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{C. Bischopink} and \textit{E.-R. Olderog}, Lect. Notes Comput. Sci. 13572, 114--131 (2022; Zbl 07719828) Full Text: DOI
Fang, Cheng; Wang, Andrew J.; Williams, Brian C. Chance-constrained static schedules for temporally probabilistic plans. (English) Zbl 07639822 J. Artif. Intell. Res. (JAIR) 75, 1323-1372 (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{C. Fang} et al., J. Artif. Intell. Res. (JAIR) 75, 1323--1372 (2022; Zbl 07639822) Full Text: DOI
Artale, Alessandro; Kontchakov, Roman; Kovtunova, Alisa; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael First-order rewritability and complexity of two-dimensional temporal ontology-mediated queries. (English) Zbl 07639820 J. Artif. Intell. Res. (JAIR) 75, 1223-1291 (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{A. Artale} et al., J. Artif. Intell. Res. (JAIR) 75, 1223--1291 (2022; Zbl 07639820) Full Text: DOI arXiv
Aminof, Benjamin; Murano, Aniello; Rubin, Sasha; Zuleger, Florian Verification of agent navigation in partially-known environments. (English) Zbl 1495.68234 Artif. Intell. 308, Article ID 103724, 34 p. (2022). MSC: 68T42 03B44 68Q45 68Q60 68T27 PDFBibTeX XMLCite \textit{B. Aminof} et al., Artif. Intell. 308, Article ID 103724, 34 p. (2022; Zbl 1495.68234) Full Text: DOI
Marmarelis, Myrl G.; Ver Steeg, Greg; Galstyan, Aram A metric space for point process excitations. (English) Zbl 07527552 J. Artif. Intell. Res. (JAIR) 73, 1323-1353 (2022). MSC: 68T27 PDFBibTeX XMLCite \textit{M. G. Marmarelis} et al., J. Artif. Intell. Res. (JAIR) 73, 1323--1353 (2022; Zbl 07527552) Full Text: DOI arXiv
Tsilionis, Efthimis; Artikis, Alexander; Paliouras, Georgios Incremental event calculus for run-time reasoning. (English) Zbl 07527545 J. Artif. Intell. Res. (JAIR) 73, 967-1023 (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{E. Tsilionis} et al., J. Artif. Intell. Res. (JAIR) 73, 967--1023 (2022; Zbl 07527545) Full Text: DOI
Belardinelli, Francesco; Lomuscio, Alessio; Malvone, Vadim; Yu, Emily Approximating perfect recall when model checking strategic abilities: theory and applications. (English) Zbl 07527543 J. Artif. Intell. Res. (JAIR) 73, 897-932 (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{F. Belardinelli} et al., J. Artif. Intell. Res. (JAIR) 73, 897--932 (2022; Zbl 07527543) Full Text: DOI
Ronca, Alessandro; Kaminski, Mark; Cuenca Grau, Bernardo; Horrocks, Ian The delay and window size problems in rule-based stream reasoning. (English) Zbl 07505984 Artif. Intell. 306, Article ID 103668, 39 p. (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{A. Ronca} et al., Artif. Intell. 306, Article ID 103668, 39 p. (2022; Zbl 07505984) Full Text: DOI
Kiyatkin, Vladimir R.; Kosheleva, Anna V. Satisfiability in a temporal multi-valueted logic based on \(\mathbb{Z} \). (English) Zbl 07503901 J. Sib. Fed. Univ., Math. Phys. 15, No. 1, 56-74 (2022). MSC: 03Bxx 68Txx 91Axx PDFBibTeX XMLCite \textit{V. R. Kiyatkin} and \textit{A. V. Kosheleva}, J. Sib. Fed. Univ., Math. Phys. 15, No. 1, 56--74 (2022; Zbl 07503901) Full Text: DOI MNR
Boudou, Joseph; Diéguez, Martín; Fernández-Duque, David; Kremer, Philip Exploring the jungle of intuitionistic temporal logics. (English) Zbl 07776319 Theory Pract. Log. Program. 21, No. 4, 459-492 (2021). MSC: 03B44 PDFBibTeX XMLCite \textit{J. Boudou} et al., Theory Pract. Log. Program. 21, No. 4, 459--492 (2021; Zbl 07776319) Full Text: DOI arXiv
Chafik, Anasse; Cheikh-Alili, Fahima; Condotta, Jean-François; Varzinczak, Ivan A one-pass tree-shaped tableau for defeasible LTL. (English) Zbl 07744959 Combi, Carlo (ed.) et al., 28th international symposium on temporal representation and reasoning. TIME 2021, Klagenfurt, Austria (virtual conference), September 27–29, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 206, Article 16, 18 p. (2021). MSC: 03B44 68Q60 68T27 PDFBibTeX XMLCite \textit{A. Chafik} et al., LIPIcs -- Leibniz Int. Proc. Inform. 206, Article 16, 18 p. (2021; Zbl 07744959) Full Text: DOI
Apriceno, Gianluca; Passerini, Andrea; Serafini, Luciano A neuro-symbolic approach to structured event recognition. (English) Zbl 07744954 Combi, Carlo (ed.) et al., 28th international symposium on temporal representation and reasoning. TIME 2021, Klagenfurt, Austria (virtual conference), September 27–29, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 206, Article 11, 14 p. (2021). MSC: 03B44 68Q60 68T27 PDFBibTeX XMLCite \textit{G. Apriceno} et al., LIPIcs -- Leibniz Int. Proc. Inform. 206, Article 11, 14 p. (2021; Zbl 07744954) Full Text: DOI
Glavaničová, Daniela; Pascucci, Matteo Axiomatizing norms across time and the ‘paradox of the court’. (English) Zbl 07655708 Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 201-218 (2021). MSC: 03B45 03B60 03B20 03A05 PDFBibTeX XMLCite \textit{D. Glavaničová} and \textit{M. Pascucci}, in: Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 201--218 (2021; Zbl 07655708)
Obradović, Đorđe; Konjović, Zora; Pap, Endre; Šoštarić, Andrej The linear fuzzy space: theory and applications. (English) Zbl 1511.68284 Pap, Endre (ed.), Artificial intelligence: theory and applications. Cham: Springer. Stud. Comput. Intell. 973, 227-253 (2021). MSC: 68T37 68U10 PDFBibTeX XMLCite \textit{Đ. Obradović} et al., Stud. Comput. Intell. 973, 227--253 (2021; Zbl 1511.68284) Full Text: DOI
Sioutis, Michael; Wolter, Diedrich Dynamic branching in qualitative constraint-based reasoning via counting local models. (English) Zbl 1518.68352 Inf. Comput. 281, Article ID 104787, 15 p. (2021). MSC: 68T20 68T27 68T30 PDFBibTeX XMLCite \textit{M. Sioutis} and \textit{D. Wolter}, Inf. Comput. 281, Article ID 104787, 15 p. (2021; Zbl 1518.68352) Full Text: DOI
Sioutis, Michael; Paparrizou, Anastasia; Janhunen, Tomi On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning. (English) Zbl 1518.68351 Inf. Comput. 280, Article ID 104638, 17 p. (2021). MSC: 68T20 68T27 PDFBibTeX XMLCite \textit{M. Sioutis} et al., Inf. Comput. 280, Article ID 104638, 17 p. (2021; Zbl 1518.68351) Full Text: DOI Link
Bruto da Costa, Antonio Anastasio; Dasgupta, Pallab Learning temporal causal sequence relationships from real-time time-series. (English) Zbl 1497.68411 J. Artif. Intell. Res. (JAIR) 70, 205-243 (2021). MSC: 68T05 62D20 62M10 PDFBibTeX XMLCite \textit{A. A. Bruto da Costa} and \textit{P. Dasgupta}, J. Artif. Intell. Res. (JAIR) 70, 205--243 (2021; Zbl 1497.68411) Full Text: DOI arXiv
Bouchon-Meunier, Bernadette Is time fuzzy? (English) Zbl 1451.62167 Kreinovich, Vladik (ed.), Statistical and fuzzy approaches to data processing, with applications to econometrics and other areas. In honor of Hung T. Nguyen’s 75th birthday. Cham: Springer. Stud. Comput. Intell. 892, 47-54 (2021). MSC: 62R07 62M10 62M86 03E72 PDFBibTeX XMLCite \textit{B. Bouchon-Meunier}, Stud. Comput. Intell. 892, 47--54 (2021; Zbl 1451.62167) Full Text: DOI
Chafik, Anasse; Cheikh-Alili, Fahima; Condotta, Jean-François; Varzinczak, Ivan On the decidability of a fragment of preferential LTL. (English) Zbl 07760489 Muñoz-Velasco, Emilio (ed.) et al., 27th international symposium on temporal representation and reasoning. TIME 2020, September 23–25, 2020, Bozen-Bolzano, Italy. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 178, Article 19, 19 p. (2020). MSC: 03B25 03B44 68T27 68T30 PDFBibTeX XMLCite \textit{A. Chafik} et al., LIPIcs -- Leibniz Int. Proc. Inform. 178, Article 19, 19 p. (2020; Zbl 07760489) Full Text: DOI
Sioutis, Michael; Wolter, Diedrich Dynamic branching in qualitative constraint networks via counting local models. (English) Zbl 07760482 Muñoz-Velasco, Emilio (ed.) et al., 27th international symposium on temporal representation and reasoning. TIME 2020, September 23–25, 2020, Bozen-Bolzano, Italy. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 178, Article 12, 15 p. (2020). MSC: 68-XX PDFBibTeX XMLCite \textit{M. Sioutis} and \textit{D. Wolter}, LIPIcs -- Leibniz Int. Proc. Inform. 178, Article 12, 15 p. (2020; Zbl 07760482) Full Text: DOI
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 PDFBibTeX XMLCite \textit{X. Yang} et al., Inf. Sci. 541, 75--97 (2020; Zbl 1475.68305) Full Text: DOI
Alcantud, José Carlos R.; Khameneh, Azadeh Zahedi; Kilicman, Adem Aggregation of infinite chains of intuitionistic fuzzy sets and their application to choices with temporal intuitionistic fuzzy information. (English) Zbl 1457.68259 Inf. Sci. 514, 106-117 (2020). MSC: 68T37 03E72 PDFBibTeX XMLCite \textit{J. C. R. Alcantud} et al., Inf. Sci. 514, 106--117 (2020; Zbl 1457.68259) Full Text: DOI
Kerr, Catherine; Hoare, Terri; Carroll, Paula; Mareček, Jakub Integer programming ensemble of temporal relations classifiers. (English) Zbl 1458.68261 Data Min. Knowl. Discov. 34, No. 2, 533-562 (2020). MSC: 68T50 62H30 68T05 90C10 PDFBibTeX XMLCite \textit{C. Kerr} et al., Data Min. Knowl. Discov. 34, No. 2, 533--562 (2020; Zbl 1458.68261) Full Text: DOI arXiv Link
Bozzelli, Laura; Murano, Aniello; Sorrentino, Loredana Alternating-time temporal logics with linear past. (English) Zbl 1433.03050 Theor. Comput. Sci. 813, 199-217 (2020). MSC: 03B44 68Q60 PDFBibTeX XMLCite \textit{L. Bozzelli} et al., Theor. Comput. Sci. 813, 199--217 (2020; Zbl 1433.03050) Full Text: DOI
Tiger, Mattias; Heintz, Fredrik Incremental reasoning in probabilistic signal temporal logic. (English) Zbl 1434.68562 Int. J. Approx. Reasoning 119, 325-352 (2020). MSC: 68T30 03B44 68T27 68T40 PDFBibTeX XMLCite \textit{M. Tiger} and \textit{F. Heintz}, Int. J. Approx. Reasoning 119, 325--352 (2020; Zbl 1434.68562) Full Text: DOI
Sioutis, Michael; Paparrizou, Anastasia; Janhunen, Tomi On the utility of neighbourhood singleton-style consistencies for qualitative constraint-based spatial and temporal reasoning. (English) Zbl 1515.68308 Gamper, Johann (ed.) et al., 26th international symposium on temporal representation and reasoning, TIME 2019. Málaga, Spain, October 16–19, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 147, Article 14, 17 p. (2019). MSC: 68T27 68T20 PDFBibTeX XMLCite \textit{M. Sioutis} et al., LIPIcs -- Leibniz Int. Proc. Inform. 147, Article 14, 17 p. (2019; Zbl 1515.68308) Full Text: DOI
Moratz, Reinhard; Sabellek, Leif; Schneider, Thomas Granular spatial calculi of relative directions or movements with parallelism: consistent account (short paper). (English) Zbl 1493.68351 Timpf, Sabine (ed.) et al., 14th international conference on spatial information theory, COSIT 2019, Regensburg, Germany, September 9–13, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 142, Article 28, 9 p. (2019). MSC: 68T30 68T27 68U05 PDFBibTeX XMLCite \textit{R. Moratz} et al., LIPIcs -- Leibniz Int. Proc. Inform. 142, Article 28, 9 p. (2019; Zbl 1493.68351) Full Text: DOI
Santos, Eugene Cost-based temporal reasoning. (English) Zbl 1446.68156 Inf. Sci. 482, 392-418 (2019). MSC: 68T37 PDFBibTeX XMLCite \textit{E. Santos}, Inf. Sci. 482, 392--418 (2019; Zbl 1446.68156) Full Text: DOI
Marinković, Bojan; Glavan, Paola; Ognjanović, Zoran; Doder, Dragan; Studer, Thomas Probabilistic consensus of the blockchain protocol. (English) Zbl 07170156 Kern-Isberner, Gabriele (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 15th European conference, ECSQARU 2019, Belgrade, Serbia, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11726, 469-480 (2019). MSC: 68T37 PDFBibTeX XMLCite \textit{B. Marinković} et al., Lect. Notes Comput. Sci. 11726, 469--480 (2019; Zbl 07170156) Full Text: DOI Link
Dautović, Šejla; Doder, Dragan Probabilistic logic for reasoning about actions in time. (English) Zbl 07170149 Kern-Isberner, Gabriele (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 15th European conference, ECSQARU 2019, Belgrade, Serbia, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11726, 385-396 (2019). MSC: 68T37 PDFBibTeX XMLCite \textit{Š. Dautović} and \textit{D. Doder}, Lect. Notes Comput. Sci. 11726, 385--396 (2019; Zbl 07170149) Full Text: DOI
Monvoisin, Mathilde; Leray, Philippe Multi-task transfer learning for timescale graphical event models. (English) Zbl 07170143 Kern-Isberner, Gabriele (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 15th European conference, ECSQARU 2019, Belgrade, Serbia, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11726, 313-323 (2019). MSC: 68T37 PDFBibTeX XMLCite \textit{M. Monvoisin} and \textit{P. Leray}, Lect. Notes Comput. Sci. 11726, 313--323 (2019; Zbl 07170143) Full Text: DOI HAL
Oetsch, Johannes; Nieves, Juan-Carlos Stable-ordered models for propositional theories with order operators. (English) Zbl 1525.68174 Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11468, 794-802 (2019). MSC: 68T27 03B44 68T30 PDFBibTeX XMLCite \textit{J. Oetsch} and \textit{J.-C. Nieves}, Lect. Notes Comput. Sci. 11468, 794--802 (2019; Zbl 1525.68174) Full Text: DOI
Cheng, Haitao; Yan, Li; Ma, Zongmin; Ribarić, Slobodan Fuzzy spatio-temporal ontologies and formal construction based on fuzzy Petri nets. (English) Zbl 1427.68301 Comput. Intell. 35, No. 1, 204-239 (2019). MSC: 68T30 68Q85 68T37 PDFBibTeX XMLCite \textit{H. Cheng} et al., Comput. Intell. 35, No. 1, 204--239 (2019; Zbl 1427.68301) Full Text: DOI
Huang, Xiaowei; Kwiatkowska, Marta; Olejnik, Maciej Reasoning about cognitive trust in stochastic multiagent systems. (English) Zbl 1433.68422 ACM Trans. Comput. Log. 20, No. 4, Article No. 21, 64 p. (2019). MSC: 68T27 03B42 03B44 68Q60 68T42 91A60 91A80 PDFBibTeX XMLCite \textit{X. Huang} et al., ACM Trans. Comput. Log. 20, No. 4, Article No. 21, 64 p. (2019; Zbl 1433.68422) Full Text: DOI arXiv Link
Sioutis, Michael; Paparrizou, Anastasia; Condotta, Jean-François Collective singleton-based consistency for qualitative constraint networks: theory and practice. (English) Zbl 1435.68322 Theor. Comput. Sci. 797, 17-41 (2019). MSC: 68T30 68T20 PDFBibTeX XMLCite \textit{M. Sioutis} et al., Theor. Comput. Sci. 797, 17--41 (2019; Zbl 1435.68322) Full Text: DOI HAL
Qin, Xin; Deshmukh, Jyotirmoy V. Poster abstract: Predictive monitoring for signal temporal logic with probabilistic guarantees. (English) Zbl 07120166 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 266-267 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{X. Qin} and \textit{J. V. Deshmukh}, in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 266--267 (2019; Zbl 07120166) Full Text: DOI
Cárdenas-Viedma, M. A.; Marín, R. FTClogic: fuzzy temporal constraint logic. (English) Zbl 1423.03076 Fuzzy Sets Syst. 363, 84-112 (2019). MSC: 03B52 03B44 03B70 68T37 PDFBibTeX XMLCite \textit{M. A. Cárdenas-Viedma} and \textit{R. Marín}, Fuzzy Sets Syst. 363, 84--112 (2019; Zbl 1423.03076) Full Text: DOI
Bhargava, Nikhil; Williams, Brian C. Complexity bounds for the controllability of temporal networks with conditions, disjunctions, and uncertainty. (English) Zbl 1478.68317 Artif. Intell. 271, 1-17 (2019). MSC: 68T20 68Q25 68T37 PDFBibTeX XMLCite \textit{N. Bhargava} and \textit{B. C. Williams}, Artif. Intell. 271, 1--17 (2019; Zbl 1478.68317) Full Text: DOI arXiv
Bazan, Jan G.; Szczur, Adam; Skowron, Andrzej; Rzepko, Marian; Król, Paweł; Bajorek, Wojciech; Czarny, Wojciech A classifier based on a decision tree with temporal cuts. (English) Zbl 1412.68276 Fundam. Inform. 165, No. 3-4, 263-281 (2019). MSC: 68T37 68T05 68T20 PDFBibTeX XMLCite \textit{J. G. Bazan} et al., Fundam. Inform. 165, No. 3--4, 263--281 (2019; Zbl 1412.68276) Full Text: DOI
Anselma, Luca; Mazzei, Alessandro; Piovesan, Luca; Terenziani, Paolo Temporal reasoning with layered preferences. (English) Zbl 1518.68345 Ceci, Michelangelo (ed.) et al., Foundations of intelligent systems. 24th international symposium, ISMIS 2018, Limassol, Cyprus, October 29–31, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11177, 367-376 (2018). MSC: 68T20 PDFBibTeX XMLCite \textit{L. Anselma} et al., Lect. Notes Comput. Sci. 11177, 367--376 (2018; Zbl 1518.68345) Full Text: DOI
Mouhoub, Malek; Al, Marri Hamad; Alanazi, Eisa Learning qualitative constraint networks. (English) Zbl 1487.68216 Alechina, Natasha (ed.) et al., 25th international symposium on temporal representation and reasoning. TIME 2018, Warsaw, Poland, October 15–17, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 120, Article 19, 13 p. (2018). MSC: 68T20 68T05 PDFBibTeX XMLCite \textit{M. Mouhoub} et al., LIPIcs -- Leibniz Int. Proc. Inform. 120, Article 19, 13 p. (2018; Zbl 1487.68216) Full Text: DOI
Kließ, Malte S.; Jonker, Catholijn M.; van Riemsdijk, M. Birna A temporal logic for modelling activities of daily living. (English) Zbl 1487.68218 Alechina, Natasha (ed.) et al., 25th international symposium on temporal representation and reasoning. TIME 2018, Warsaw, Poland, October 15–17, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 120, Article 17, 15 p. (2018). MSC: 68T27 03B44 68Q60 PDFBibTeX XMLCite \textit{M. S. Kließ} et al., LIPIcs -- Leibniz Int. Proc. Inform. 120, Article 17, 15 p. (2018; Zbl 1487.68218) Full Text: DOI
Gardy, Patrick; Bouyer, Patricia; Markey, Nicolas Dependences in strategy logic. (English) Zbl 1484.68101 Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 34, 15 p. (2018). MSC: 68Q60 03B44 68Q25 68T42 PDFBibTeX XMLCite \textit{P. Gardy} et al., LIPIcs -- Leibniz Int. Proc. Inform. 96, Article 34, 15 p. (2018; Zbl 1484.68101) Full Text: DOI arXiv
Jamroga, Wojciech; Tabatabaei, Masoud Accumulative knowledge under bounded resources. (English) Zbl 1410.68346 J. Log. Comput. 28, No. 3, 581-604 (2018). MSC: 68T27 03B42 03B44 68T42 PDFBibTeX XMLCite \textit{W. Jamroga} and \textit{M. Tabatabaei}, J. Log. Comput. 28, No. 3, 581--604 (2018; Zbl 1410.68346) Full Text: DOI Link
Pardo, Pere; Godo, Lluís A temporal argumentation approach to cooperative planning using dialogues. (English) Zbl 1410.68347 J. Log. Comput. 28, No. 3, 551-580 (2018). MSC: 68T27 68T42 PDFBibTeX XMLCite \textit{P. Pardo} and \textit{L. Godo}, J. Log. Comput. 28, No. 3, 551--580 (2018; Zbl 1410.68347) Full Text: DOI Link
Teijeiro, T.; Félix, P. On the adoption of abductive reasoning for time series interpretation. (English) Zbl 1451.68266 Artif. Intell. 262, 163-188 (2018). MSC: 68T27 03B44 PDFBibTeX XMLCite \textit{T. Teijeiro} and \textit{P. Félix}, Artif. Intell. 262, 163--188 (2018; Zbl 1451.68266) Full Text: DOI arXiv
Chen, Yunxiang; Luo, Chengkun; Wang, Pan; Cai, Zhongyi; Li, Chao Combination of temporal evidence by considering reliability. (Chinese. English summary) Zbl 1413.68138 Control Decis. 33, No. 3, 463-470 (2018). MSC: 68T37 PDFBibTeX XMLCite \textit{Y. Chen} et al., Control Decis. 33, No. 3, 463--470 (2018; Zbl 1413.68138) Full Text: DOI
Ma, Zongmin; Bai, Luyi; Ishikawa, Yoshiharu; Yan, Li Consistencies of fuzzy spatiotemporal data in XML documents. (English) Zbl 1397.68036 Fuzzy Sets Syst. 343, 97-125 (2018). MSC: 68P05 62H11 68T37 PDFBibTeX XMLCite \textit{Z. Ma} et al., Fuzzy Sets Syst. 343, 97--125 (2018; Zbl 1397.68036) Full Text: DOI
Grant, John; Molinaro, Cristian; Parisi, Francesco Probabilistic spatio-temporal knowledge bases: capacity constraints, count queries, and consistency checking. (English) Zbl 1448.68230 Int. J. Approx. Reasoning 100, 1-28 (2018). MSC: 68P15 68T30 68T35 68T37 PDFBibTeX XMLCite \textit{J. Grant} et al., Int. J. Approx. Reasoning 100, 1--28 (2018; Zbl 1448.68230) Full Text: DOI
Sioutis, Michael; Paparrizou, Anastasia; Condotta, Jean-François Collective singleton-based consistency for qualitative constraint networks. (English) Zbl 1515.68293 Schewe, Sven (ed.) et al., 24th international symposium on temporal representation and reasoning, TIME 2017, Mons, Belgium, October 16–18, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 90, Article 19, 17 p. (2017). MSC: 68T20 PDFBibTeX XMLCite \textit{M. Sioutis} et al., LIPIcs -- Leibniz Int. Proc. Inform. 90, Article 19, 17 p. (2017; Zbl 1515.68293) Full Text: DOI
Cerrito, Serenella; Mayer, Marta Cialdea; Demolombe, Robert Temporal abductive reasoning about biochemical reactions. (English) Zbl 1398.03154 J. Appl. Non-Class. Log. 27, No. 3-4, 269-291 (2017). MSC: 03B80 03B44 92C40 92E20 PDFBibTeX XMLCite \textit{S. Cerrito} et al., J. Appl. Non-Class. Log. 27, No. 3--4, 269--291 (2017; Zbl 1398.03154) Full Text: DOI Link
Aguado, Felicidad; Cabalar, Pedro; Diéguez, Martín; Pérez, Gilberto; Vidal, Concepción Temporal equilibrium logic with past operators. (English) Zbl 1398.03077 J. Appl. Non-Class. Log. 27, No. 3-4, 161-177 (2017). MSC: 03B44 68N17 68T30 PDFBibTeX XMLCite \textit{F. Aguado} et al., J. Appl. Non-Class. Log. 27, No. 3--4, 161--177 (2017; Zbl 1398.03077) Full Text: DOI
Li, Yongming Quantitative model checking of linear-time properties based on generalized possibility measures. (English) Zbl 1382.68143 Fuzzy Sets Syst. 320, 17-39 (2017). MSC: 68Q60 03B44 68T37 PDFBibTeX XMLCite \textit{Y. Li}, Fuzzy Sets Syst. 320, 17--39 (2017; Zbl 1382.68143) Full Text: DOI arXiv
Parisi, Francesco; Grant, John On repairing and querying inconsistent probabilistic spatio-temporal databases. (English) Zbl 1419.68048 Int. J. Approx. Reasoning 84, 41-74 (2017). MSC: 68P15 68T37 PDFBibTeX XMLCite \textit{F. Parisi} and \textit{J. Grant}, Int. J. Approx. Reasoning 84, 41--74 (2017; Zbl 1419.68048) Full Text: DOI
Budán, Maximiliano C. D.; Cobo, Maria Laura; Martinez, Diego C.; Simari, Guillermo R. Bipolarity in temporal argumentation frameworks. (English) Zbl 1419.68108 Int. J. Approx. Reasoning 84, 1-22 (2017). MSC: 68T27 PDFBibTeX XMLCite \textit{M. C. D. Budán} et al., Int. J. Approx. Reasoning 84, 1--22 (2017; Zbl 1419.68108) Full Text: DOI arXiv
Gutierrez, Julian; Harrenstein, Paul; Wooldridge, Michael Reasoning about equilibria in game-like concurrent systems. (English) Zbl 1400.03057 Ann. Pure Appl. Logic 168, No. 2, 373-403 (2017). Reviewer: Martin Lange (Kassel) MSC: 03B70 03B44 91A40 68T27 68Q60 PDFBibTeX XMLCite \textit{J. Gutierrez} et al., Ann. Pure Appl. Logic 168, No. 2, 373--403 (2017; Zbl 1400.03057) Full Text: DOI
Ramasso, Emmanuel A solution for the learning problem in evidential (partially) hidden Markov models based on conditional belief functions and EM. (English) Zbl 1452.68156 Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part I. Cham: Springer. Commun. Comput. Inf. Sci. 610, 299-310 (2016). MSC: 68T05 62H22 68T37 PDFBibTeX XMLCite \textit{E. Ramasso}, Commun. Comput. Inf. Sci. 610, 299--310 (2016; Zbl 1452.68156) Full Text: DOI HAL
Alliot, Jean-Marc; Demolombe, Robert; Diéguez, Martín; Fariñas del Cerro, Luis; Favre, Gilles; Faye, Jean-Charles; Obeid, Naji; Sordet, Olivier Temporal logic modeling of biological systems. (English) Zbl 1429.92071 Akama, Seiki (ed.), Towards paraconsistent engineering. Cham: Springer. Intell. Syst. Ref. Libr. 110, 205-226 (2016). MSC: 92C42 03B44 03B80 PDFBibTeX XMLCite \textit{J.-M. Alliot} et al., Intell. Syst. Ref. Libr. 110, 205--226 (2016; Zbl 1429.92071) Full Text: DOI
Brenton, Christopher; Faber, Wolfgang; Batsakis, Sotiris Answer set programming for qualitative spatio-temporal reasoning: methods and experiments. (English) Zbl 1428.68282 Carro, Manuel (ed.) et al., Technical communications of the 32nd international conference on logic programming, ICLP 2016, October 16–21, 2016, New York, NY, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 52, Article 4, 15 p. (2016). MSC: 68T27 68N17 PDFBibTeX XMLCite \textit{C. Brenton} et al., OASIcs -- OpenAccess Ser. Inform. 52, Article 4, 15 p. (2016; Zbl 1428.68282) Full Text: DOI
Khan, Md. Aquil Multiple-source approximation systems, evolving information systems and corresponding logics: a study in rough set theory. (English) Zbl 1398.68542 Peters, James F. (ed.) et al., Transactions on Rough Sets XX. Berlin: Springer (ISBN 978-3-662-53610-0/pbk; 978-3-662-53611-7/ebook). Lecture Notes in Computer Science 10020. Journal Subline, 146-320 (2016). MSC: 68T37 03B62 06E25 68T27 PDFBibTeX XMLCite \textit{Md. A. Khan}, Lect. Notes Comput. Sci. 10020, 146--320 (2016; Zbl 1398.68542) Full Text: DOI
Jakobsen, David; Øhrstrøm, Peter The interpretation of branching time diagrams. (English) Zbl 1398.03022 Haemmerlé, Ollivier (ed.) et al., Graph-based representation and reasoning. 22nd international conference on conceptual structures, ICCS 2016, Annecy, France, July 5–7, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40984-9/pbk; 978-3-319-40985-6/ebook). Lecture Notes in Computer Science 9717. Lecture Notes in Artificial Intelligence, 31-39 (2016). MSC: 03A05 03B44 03B65 PDFBibTeX XMLCite \textit{D. Jakobsen} and \textit{P. Øhrstrøm}, Lect. Notes Comput. Sci. 9717, 31--39 (2016; Zbl 1398.03022) Full Text: DOI
Chai, Ming; Schlingloff, Bernd-Holger System monitoring with a five-valued LTL. (English) Zbl 1394.68226 J. Mult.-Val. Log. Soft Comput. 26, No. 1-2, 33-54 (2016). MSC: 68Q60 03B44 03B50 68M14 PDFBibTeX XMLCite \textit{M. Chai} and \textit{B.-H. Schlingloff}, J. Mult.-Val. Log. Soft Comput. 26, No. 1--2, 33--54 (2016; Zbl 1394.68226) Full Text: Link
Song, Yafei; Wang, Xiaodan; Lei, Lei Combination of temporal evidence sources based on intuitionistic fuzzy sets. (Chinese. English summary) Zbl 1374.68569 Acta Autom. Sin. 42, No. 9, 1322-1338 (2016). MSC: 68T37 PDFBibTeX XMLCite \textit{Y. Song} et al., Acta Autom. Sin. 42, No. 9, 1322--1338 (2016; Zbl 1374.68569) Full Text: DOI
Cheng, Haitao; Ma, Zongmin; Yan, Li; Zhang, Fu A fuzzy spatio-temporal description logic F-ALCT(\(D_{\mathrm{fst}}\)). (Chinese. English summary) Zbl 1374.68538 J. Northeast. Univ., Nat. Sci. 37, No. 9, 1259-1263 (2016). MSC: 68T27 68T30 68T37 PDFBibTeX XMLCite \textit{H. Cheng} et al., J. Northeast. Univ., Nat. Sci. 37, No. 9, 1259--1263 (2016; Zbl 1374.68538) Full Text: DOI
Mogavero, Fabio; Murano, Aniello; Vardi, Moshe Y. Relentful strategic reasoning in alternating-time temporal logic. (English) Zbl 1354.68257 J. Log. Comput. 26, No. 5, 1663-1695 (2016). MSC: 68T27 03B44 68Q60 PDFBibTeX XMLCite \textit{F. Mogavero} et al., J. Log. Comput. 26, No. 5, 1663--1695 (2016; Zbl 1354.68257) Full Text: DOI
Jobczyk, Krystian; Ligeza, Antoni; Kluza, Krzysztof New integral approach to the specification of STPU-solutions. (English) Zbl 1358.68286 Rutkowski, Leszek (ed.) et al., Artificial intelligence and soft computing. 15th international conference, ICAISC 2016, Zakopane, Poland, June 12–16, 2016. Proceedings. Part II. Cham: Springer (ISBN 978-3-319-39383-4/pbk; 978-3-319-39384-1/ebook). Lecture Notes in Computer Science 9693. Lecture Notes in Artificial Intelligence, 317-328 (2016). MSC: 68T37 03B52 68T27 PDFBibTeX XMLCite \textit{K. Jobczyk} et al., Lect. Notes Comput. Sci. 9693, 317--328 (2016; Zbl 1358.68286) Full Text: DOI
Daykin, Jacqueline W.; Miller, Mirka; Ryan, Joe Trends in temporal reasoning: constraints, graphs and posets. (English) Zbl 1460.68100 Kotsireas, Ilias S. (ed.) et al., Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11–13, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9582, 290-304 (2016). MSC: 68T27 06A07 68R07 68R10 PDFBibTeX XMLCite \textit{J. W. Daykin} et al., Lect. Notes Comput. Sci. 9582, 290--304 (2016; Zbl 1460.68100) Full Text: DOI
Akinkunmi, B. O. The problem of coincidence in a theory of temporal multiple recurrence. (English) Zbl 1436.03119 J. Appl. Log. 15, 46-68 (2016). MSC: 03B44 PDFBibTeX XMLCite \textit{B. O. Akinkunmi}, J. Appl. Log. 15, 46--68 (2016; Zbl 1436.03119) Full Text: DOI arXiv
Bouyer, Patricia; Gardy, Patrick; Markey, Nicolas On the semantics of strategy logic. (English) Zbl 1346.68121 Inf. Process. Lett. 116, No. 2, 75-79 (2016). MSC: 68Q60 03B44 68T42 PDFBibTeX XMLCite \textit{P. Bouyer} et al., Inf. Process. Lett. 116, No. 2, 75--79 (2016; Zbl 1346.68121) Full Text: DOI
Popovici, Matei; Negreanu, Lorina Stability and strategic time-dependent behaviour in multiagent systems. (English) Zbl 1413.68155 Comput. Inform. 34, No. 1, 4-22 (2015). MSC: 68T42 68T30 91A80 PDFBibTeX XMLCite \textit{M. Popovici} and \textit{L. Negreanu}, Comput. Inform. 34, No. 1, 4--22 (2015; Zbl 1413.68155)
Kamide, Norihiro Inconsistency-tolerant temporal reasoning with hierarchical information. (English) Zbl 1390.68610 Inf. Sci. 320, 140-155 (2015). MSC: 68T27 03B44 03B53 68Q17 68Q60 PDFBibTeX XMLCite \textit{N. Kamide}, Inf. Sci. 320, 140--155 (2015; Zbl 1390.68610) Full Text: DOI
Banerjee, Mohua; Ju, Shier; Khan, Md. Aquil; Tang, Liping Open world models: a view from rough set theory. (English) Zbl 1388.68261 Chakraborty, Mihir K. (ed.) et al., Facets of uncertainties and applications. ICFUA, Kolkata, India, December 2013. Proceedings of the conference. New Delhi: Springer (ISBN 978-81-322-2300-9/hbk; 978-81-322-2301-6/ebook). Springer Proceedings in Mathematics & Statistics 125, 77-86 (2015). MSC: 68T37 68T27 PDFBibTeX XMLCite \textit{M. Banerjee} et al., Springer Proc. Math. Stat. 125, 77--86 (2015; Zbl 1388.68261) Full Text: DOI
Pan, Haiyu; Li, Yongming; Cao, Yongzhi; Ma, Zhanyou Model checking fuzzy computation tree logic. (English) Zbl 1360.68595 Fuzzy Sets Syst. 262, 60-77 (2015). MSC: 68Q60 03B44 68T37 PDFBibTeX XMLCite \textit{H. Pan} et al., Fuzzy Sets Syst. 262, 60--77 (2015; Zbl 1360.68595) Full Text: DOI
Li, Yongming; Li, Yali; Ma, Zhanyou Computation tree logic model checking based on possibility measures. (English) Zbl 1361.68148 Fuzzy Sets Syst. 262, 44-59 (2015). MSC: 68Q60 03B44 68T37 PDFBibTeX XMLCite \textit{Y. Li} et al., Fuzzy Sets Syst. 262, 44--59 (2015; Zbl 1361.68148) Full Text: DOI arXiv
Bodirsky, Manuel The complexity of constraint satisfaction problems (invited talk). (English) Zbl 1355.68111 Mayr, Ernst W. (ed.) et al., 32nd international symposium on theoretical aspects of computer science, STACS’15, Garching, Germany, March 4–7, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-78-1). LIPIcs – Leibniz International Proceedings in Informatics 30, 2-9 (2015). MSC: 68Q25 08A70 PDFBibTeX XMLCite \textit{M. Bodirsky}, LIPIcs -- Leibniz Int. Proc. Inform. 30, 2--9 (2015; Zbl 1355.68111) Full Text: DOI
Bulling, Nils; Goranko, Valentin; Jamroga, Wojciech Logics for reasoning about strategic abilities in multi-player games. (English) Zbl 1422.91116 van Benthem, Johan (ed.) et al., Models of strategic reasoning. Logics, games, and communities. Berlin: Springer. Lect. Notes Comput. Sci. 8972, 93-136 (2015). MSC: 91A26 91A20 03B44 PDFBibTeX XMLCite \textit{N. Bulling} et al., Lect. Notes Comput. Sci. 8972, 93--136 (2015; Zbl 1422.91116) Full Text: DOI
Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty. (English) Zbl 1343.68237 Artif. Intell. 224, 1-27 (2015). MSC: 68T37 68T20 PDFBibTeX XMLCite \textit{A. Cimatti} et al., Artif. Intell. 224, 1--27 (2015; Zbl 1343.68237) Full Text: DOI
Chareton, Christophe; Brunel, Julien; Chemouil, David A logic with revocable and refinable strategies. (English) Zbl 1319.68142 Inf. Comput. 242, 157-182 (2015). MSC: 68Q60 03B44 68T27 PDFBibTeX XMLCite \textit{C. Chareton} et al., Inf. Comput. 242, 157--182 (2015; Zbl 1319.68142) Full Text: DOI
Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco Solving strong controllability of temporal problems with uncertainty using SMT. (English) Zbl 1314.90043 Constraints 20, No. 1, 1-29 (2015). MSC: 90B36 PDFBibTeX XMLCite \textit{A. Cimatti} et al., Constraints 20, No. 1, 1--29 (2015; Zbl 1314.90043) Full Text: DOI
Song, Yafei; Wang, Xiaodan; Lei, Lei; Xing, Yaqiong Credibility decay model in temporal evidence combination. (English) Zbl 1302.68264 Inf. Process. Lett. 115, No. 2, 248-252 (2015). MSC: 68T37 68P20 PDFBibTeX XMLCite \textit{Y. Song} et al., Inf. Process. Lett. 115, No. 2, 248--252 (2015; Zbl 1302.68264) Full Text: DOI
Kong, Zhaodan; Jones, Austin; Medina Ayala, Ana; Aydin Gol, Ebru; Belta, Calin Temporal logic inference for classification and prediction from data. (English) Zbl 1362.68266 Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15–17, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2732-9). 273-282 (2014). MSC: 68T27 03B44 68T05 68T37 PDFBibTeX XMLCite \textit{Z. Kong} et al., in: Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15--17, 2014. New York, NY: Association for Computing Machinery (ACM). 273--282 (2014; Zbl 1362.68266) Full Text: DOI
Acharya, Saurav; Lee, Byung Suk Incremental causal network construction over event streams. (English) Zbl 1328.68157 Inf. Sci. 261, 32-51 (2014). MSC: 68T05 68T20 PDFBibTeX XMLCite \textit{S. Acharya} and \textit{B. S. Lee}, Inf. Sci. 261, 32--51 (2014; Zbl 1328.68157) Full Text: DOI
Molinaro, Cristian; Sliva, Amy; Subrahmanian, V. S. Super-solutions: succinctly representing solutions in abductive annotated probabilistic temporal logic. (English) Zbl 1354.68038 ACM Trans. Comput. Log. 15, No. 3, Article No. 18, 35 p. (2014). MSC: 68N17 03B44 68T27 PDFBibTeX XMLCite \textit{C. Molinaro} et al., ACM Trans. Comput. Log. 15, No. 3, Article No. 18, 35 p. (2014; Zbl 1354.68038) Full Text: DOI
Zheng, Kouquan; Lei, Yingjie; Wang, Rui; Xing, Yaqiong A method of uncertain temporal reasoning based on IFTBN. (Chinese. English summary) Zbl 1324.68206 Syst. Eng. Electron. 36, No. 10, 1994-1999 (2014). MSC: 68T37 PDFBibTeX XMLCite \textit{K. Zheng} et al., Syst. Eng. Electron. 36, No. 10, 1994--1999 (2014; Zbl 1324.68206)
Hadjistoykov, Peter P.; Atanassov, Krassimir T. On temporal intuitionistic fuzzy cognitive maps. (English) Zbl 1324.03017 C. R. Acad. Bulg. Sci. 67, No. 9, 1233-1240 (2014). Reviewer: Angela Slavova (Sofia) MSC: 03E72 68T37 PDFBibTeX XMLCite \textit{P. P. Hadjistoykov} and \textit{K. T. Atanassov}, C. R. Acad. Bulg. Sci. 67, No. 9, 1233--1240 (2014; Zbl 1324.03017)
Klimek, Radosław A system for deduction-based formal verification of workflow-oriented software models. (English) Zbl 1309.68131 Int. J. Appl. Math. Comput. Sci. 24, No. 4, 941-956 (2014). MSC: 68Q60 03B70 PDFBibTeX XMLCite \textit{R. Klimek}, Int. J. Appl. Math. Comput. Sci. 24, No. 4, 941--956 (2014; Zbl 1309.68131) Full Text: DOI arXiv
Cheng, Kun; Xia, Youming; Gao, Jiale A study on temporal fuzzy DLs based on temporal interval relationship. (Chinese. English summary) Zbl 1313.68213 J. Yunnan Univ., Nat. Sci. 36, No. 3, 335-340 (2014). MSC: 68T27 03B44 03B52 68T30 68T37 PDFBibTeX XMLCite \textit{K. Cheng} et al., J. Yunnan Univ., Nat. Sci. 36, No. 3, 335--340 (2014; Zbl 1313.68213)
Moszkowski, Ben Compositional reasoning using intervals and time reversal. (English) Zbl 1378.03017 Ann. Math. Artif. Intell. 71, No. 1-3, 175-250 (2014). MSC: 03B44 03B70 68Q60 68Q85 PDFBibTeX XMLCite \textit{B. Moszkowski}, Ann. Math. Artif. Intell. 71, No. 1--3, 175--250 (2014; Zbl 1378.03017) Full Text: DOI
Schellhorn, Gerhard; Tofan, Bogdan; Ernst, Gidon; Pfähler, Jörg; Reif, Wolfgang RGITL: a temporal logic framework for compositional reasoning about interleaved programs. (English) Zbl 1329.68172 Ann. Math. Artif. Intell. 71, No. 1-3, 131-174 (2014). Reviewer: Martin Lange (Kassel) MSC: 68Q60 03B44 68N30 68T15 PDFBibTeX XMLCite \textit{G. Schellhorn} et al., Ann. Math. Artif. Intell. 71, No. 1--3, 131--174 (2014; Zbl 1329.68172) Full Text: DOI
Barták, Roman; Morris, Robert A.; Venable, K. Brent An introduction to constraint-based temporal reasoning. (English) Zbl 1307.68002 Synthesis Lectures on Artificial Intelligence and Machine Learning 26. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-60845-967-4/pbk; 978-1-60845-968-1/ebook). xiii, 107 p. (2014). Reviewer: Jana Köhler (Luzern) MSC: 68-02 68T20 68T27 68T37 PDFBibTeX XMLCite \textit{R. Barták} et al., An introduction to constraint-based temporal reasoning. San Rafael, CA: Morgan \& Claypool Publishers (2014; Zbl 1307.68002) Full Text: DOI
Fernández-Duque, David Non-finite axiomatizability of dynamic topological logic. (English) Zbl 1287.03069 ACM Trans. Comput. Log. 15, No. 1, Article No. 4, 18 p. (2014). MSC: 03B70 03B44 03B45 PDFBibTeX XMLCite \textit{D. Fernández-Duque}, ACM Trans. Comput. Log. 15, No. 1, Article No. 4, 18 p. (2014; Zbl 1287.03069) Full Text: DOI arXiv
van Benthem, Johan; Fernández-Duque, David; Pacuit, Eric Evidence and plausibility in neighborhood structures. (English) Zbl 1345.03045 Ann. Pure Appl. Logic 165, No. 1, 106-133 (2014). MSC: 03B45 03B44 03B62 03C35 PDFBibTeX XMLCite \textit{J. van Benthem} et al., Ann. Pure Appl. Logic 165, No. 1, 106--133 (2014; Zbl 1345.03045) Full Text: DOI arXiv