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 PDF BibTeX XML Cite \textit{M. G. Marmarelis} et al., J. Artif. Intell. Res. (JAIR) 73, 1323--1353 (2022; Zbl 07527552) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{E. Tsilionis} et al., J. Artif. Intell. Res. (JAIR) 73, 967--1023 (2022; Zbl 07527545) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{F. Belardinelli} et al., J. Artif. Intell. Res. (JAIR) 73, 897--932 (2022; Zbl 07527543) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{A. Ronca} et al., Artif. Intell. 306, Article ID 103668, 39 p. (2022; Zbl 07505984) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \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 OpenURL
Sioutis, Michael; Wolter, Diedrich Dynamic branching in qualitative constraint-based reasoning via counting local models. (English) Zbl 07433309 Inf. Comput. 281, Article ID 104787, 15 p. (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. Sioutis} and \textit{D. Wolter}, Inf. Comput. 281, Article ID 104787, 15 p. (2021; Zbl 07433309) Full Text: DOI OpenURL
Saint-Guillain, Michael; Vaquero, Tiago Stegun; Chien, Steve A.; Agrawal, Jagriti; Abrahams, Jordan Probabilistic temporal networks with ordinary distributions: theory, robustness and expected utility. (English) Zbl 07406489 J. Artif. Intell. Res. (JAIR) 71, 1091-1136 (2021). MSC: 68Txx PDF BibTeX XML Cite \textit{M. Saint-Guillain} et al., J. Artif. Intell. Res. (JAIR) 71, 1091--1136 (2021; Zbl 07406489) Full Text: DOI OpenURL
Sioutis, Michael; Paparrizou, Anastasia; Janhunen, Tomi On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning. (English) Zbl 07398014 Inf. Comput. 280, Article ID 104638, 17 p. (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. Sioutis} et al., Inf. Comput. 280, Article ID 104638, 17 p. (2021; Zbl 07398014) Full Text: DOI OpenURL
Bruto da Costa, Antonio Anastasio; Dasgupta, Pallab Learning temporal causal sequence relationships from real-time time-series. (English) Zbl 07299932 J. Artif. Intell. Res. (JAIR) 70, 205-243 (2021). MSC: 68Txx PDF BibTeX XML Cite \textit{A. A. Bruto da Costa} and \textit{P. Dasgupta}, J. Artif. Intell. Res. (JAIR) 70, 205--243 (2021; Zbl 07299932) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{B. Bouchon-Meunier}, Stud. Comput. Intell. 892, 47--54 (2021; Zbl 1451.62167) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{X. Yang} et al., Inf. Sci. 541, 75--97 (2020; Zbl 1475.68305) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{J. C. R. Alcantud} et al., Inf. Sci. 514, 106--117 (2020; Zbl 1457.68259) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{C. Kerr} et al., Data Min. Knowl. Discov. 34, No. 2, 533--562 (2020; Zbl 1458.68261) Full Text: DOI arXiv Link OpenURL
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 PDF BibTeX XML Cite \textit{L. Bozzelli} et al., Theor. Comput. Sci. 813, 199--217 (2020; Zbl 1433.03050) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{M. Tiger} and \textit{F. Heintz}, Int. J. Approx. Reasoning 119, 325--352 (2020; Zbl 1434.68562) Full Text: DOI OpenURL
Santos, Eugene Cost-based temporal reasoning. (English) Zbl 1446.68156 Inf. Sci. 482, 392-418 (2019). MSC: 68T37 PDF BibTeX XML Cite \textit{E. Santos}, Inf. Sci. 482, 392--418 (2019; Zbl 1446.68156) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{B. Marinković} et al., Lect. Notes Comput. Sci. 11726, 469--480 (2019; Zbl 07170156) Full Text: DOI Link OpenURL
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 PDF BibTeX XML Cite \textit{Š. Dautović} and \textit{D. Doder}, Lect. Notes Comput. Sci. 11726, 385--396 (2019; Zbl 07170149) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{M. Monvoisin} and \textit{P. Leray}, Lect. Notes Comput. Sci. 11726, 313--323 (2019; Zbl 07170143) Full Text: DOI HAL OpenURL
Oetsch, Johannes; Nieves, Juan-Carlos Stable-ordered models for propositional theories with order operators. (English) Zbl 07169145 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 PDF BibTeX XML Cite \textit{J. Oetsch} and \textit{J.-C. Nieves}, Lect. Notes Comput. Sci. 11468, 794--802 (2019; Zbl 07169145) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{H. Cheng} et al., Comput. Intell. 35, No. 1, 204--239 (2019; Zbl 1427.68301) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \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 OpenURL
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 PDF BibTeX XML Cite \textit{M. Sioutis} et al., Theor. Comput. Sci. 797, 17--41 (2019; Zbl 1435.68322) Full Text: DOI HAL OpenURL
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 PDF BibTeX XML Cite \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 OpenURL
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 PDF BibTeX XML Cite \textit{M. A. Cárdenas-Viedma} and \textit{R. Marín}, Fuzzy Sets Syst. 363, 84--112 (2019; Zbl 1423.03076) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{N. Bhargava} and \textit{B. C. Williams}, Artif. Intell. 271, 1--17 (2019; Zbl 1478.68317) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{J. G. Bazan} et al., Fundam. Inform. 165, No. 3--4, 263--281 (2019; Zbl 1412.68276) Full Text: DOI OpenURL
Gardy, Patrick; Bouyer, Patricia; Markey, Nicolas Dependences in strategy logic. (English) Zbl 07228425 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 PDF BibTeX XML Cite \textit{P. Gardy} et al., LIPIcs -- Leibniz Int. Proc. Inform. 96, Article 34, 15 p. (2018; Zbl 07228425) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{W. Jamroga} and \textit{M. Tabatabaei}, J. Log. Comput. 28, No. 3, 581--604 (2018; Zbl 1410.68346) Full Text: DOI Link OpenURL
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 PDF BibTeX XML Cite \textit{P. Pardo} and \textit{L. Godo}, J. Log. Comput. 28, No. 3, 551--580 (2018; Zbl 1410.68347) Full Text: DOI Link OpenURL
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 PDF BibTeX XML Cite \textit{T. Teijeiro} and \textit{P. Félix}, Artif. Intell. 262, 163--188 (2018; Zbl 1451.68266) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{Y. Chen} et al., Control Decis. 33, No. 3, 463--470 (2018; Zbl 1413.68138) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{Z. Ma} et al., Fuzzy Sets Syst. 343, 97--125 (2018; Zbl 1397.68036) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{J. Grant} et al., Int. J. Approx. Reasoning 100, 1--28 (2018; Zbl 1448.68230) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{S. Cerrito} et al., J. Appl. Non-Class. Log. 27, No. 3--4, 269--291 (2017; Zbl 1398.03154) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{F. Aguado} et al., J. Appl. Non-Class. Log. 27, No. 3--4, 161--177 (2017; Zbl 1398.03077) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{Y. Li}, Fuzzy Sets Syst. 320, 17--39 (2017; Zbl 1382.68143) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{F. Parisi} and \textit{J. Grant}, Int. J. Approx. Reasoning 84, 41--74 (2017; Zbl 1419.68048) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{M. C. D. Budán} et al., Int. J. Approx. Reasoning 84, 1--22 (2017; Zbl 1419.68108) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{J. Gutierrez} et al., Ann. Pure Appl. Logic 168, No. 2, 373--403 (2017; Zbl 1400.03057) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{E. Ramasso}, Commun. Comput. Inf. Sci. 610, 299--310 (2016; Zbl 1452.68156) Full Text: DOI HAL OpenURL
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 PDF BibTeX XML Cite \textit{J.-M. Alliot} et al., Intell. Syst. Ref. Libr. 110, 205--226 (2016; Zbl 1429.92071) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{C. Brenton} et al., OASIcs -- OpenAccess Ser. Inform. 52, Article 4, 15 p. (2016; Zbl 1428.68282) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{Md. A. Khan}, Lect. Notes Comput. Sci. 10020, 146--320 (2016; Zbl 1398.68542) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{D. Jakobsen} and \textit{P. Øhrstrøm}, Lect. Notes Comput. Sci. 9717, 31--39 (2016; Zbl 1398.03022) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \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 OpenURL
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 PDF BibTeX XML Cite \textit{Y. Song} et al., Acta Autom. Sin. 42, No. 9, 1322--1338 (2016; Zbl 1374.68569) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{H. Cheng} et al., J. Northeast. Univ., Nat. Sci. 37, No. 9, 1259--1263 (2016; Zbl 1374.68538) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{F. Mogavero} et al., J. Log. Comput. 26, No. 5, 1663--1695 (2016; Zbl 1354.68257) Full Text: DOI Link OpenURL
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 PDF BibTeX XML Cite \textit{K. Jobczyk} et al., Lect. Notes Comput. Sci. 9693, 317--328 (2016; Zbl 1358.68286) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{J. W. Daykin} et al., Lect. Notes Comput. Sci. 9582, 290--304 (2016; Zbl 1460.68100) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{B. O. Akinkunmi}, J. Appl. Log. 15, 46--68 (2016; Zbl 1436.03119) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{P. Bouyer} et al., Inf. Process. Lett. 116, No. 2, 75--79 (2016; Zbl 1346.68121) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{M. Popovici} and \textit{L. Negreanu}, Comput. Inform. 34, No. 1, 4--22 (2015; Zbl 1413.68155) OpenURL
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 PDF BibTeX XML Cite \textit{N. Kamide}, Inf. Sci. 320, 140--155 (2015; Zbl 1390.68610) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{M. Banerjee} et al., Springer Proc. Math. Stat. 125, 77--86 (2015; Zbl 1388.68261) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{H. Pan} et al., Fuzzy Sets Syst. 262, 60--77 (2015; Zbl 1360.68595) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{Y. Li} et al., Fuzzy Sets Syst. 262, 44--59 (2015; Zbl 1361.68148) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{M. Bodirsky}, LIPIcs -- Leibniz Int. Proc. Inform. 30, 2--9 (2015; Zbl 1355.68111) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{N. Bulling} et al., Lect. Notes Comput. Sci. 8972, 93--136 (2015; Zbl 1422.91116) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{A. Cimatti} et al., Artif. Intell. 224, 1--27 (2015; Zbl 1343.68237) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{C. Chareton} et al., Inf. Comput. 242, 157--182 (2015; Zbl 1319.68142) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{A. Cimatti} et al., Constraints 20, No. 1, 1--29 (2015; Zbl 1314.90043) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{Y. Song} et al., Inf. Process. Lett. 115, No. 2, 248--252 (2015; Zbl 1302.68264) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \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 OpenURL
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 PDF BibTeX XML Cite \textit{S. Acharya} and \textit{B. S. Lee}, Inf. Sci. 261, 32--51 (2014; Zbl 1328.68157) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{C. Molinaro} et al., ACM Trans. Comput. Log. 15, No. 3, Article No. 18, 35 p. (2014; Zbl 1354.68038) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{K. Zheng} et al., Syst. Eng. Electron. 36, No. 10, 1994--1999 (2014; Zbl 1324.68206) OpenURL
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 PDF BibTeX XML Cite \textit{P. P. Hadjistoykov} and \textit{K. T. Atanassov}, C. R. Acad. Bulg. Sci. 67, No. 9, 1233--1240 (2014; Zbl 1324.03017) OpenURL
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 PDF BibTeX XML Cite \textit{R. Klimek}, Int. J. Appl. Math. Comput. Sci. 24, No. 4, 941--956 (2014; Zbl 1309.68131) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{K. Cheng} et al., J. Yunnan Univ., Nat. Sci. 36, No. 3, 335--340 (2014; Zbl 1313.68213) OpenURL
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 PDF BibTeX XML Cite \textit{B. Moszkowski}, Ann. Math. Artif. Intell. 71, No. 1--3, 175--250 (2014; Zbl 1378.03017) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{G. Schellhorn} et al., Ann. Math. Artif. Intell. 71, No. 1--3, 131--174 (2014; Zbl 1329.68172) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \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 OpenURL
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 PDF BibTeX XML Cite \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 OpenURL
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 PDF BibTeX XML Cite \textit{J. van Benthem} et al., Ann. Pure Appl. Logic 165, No. 1, 106--133 (2014; Zbl 1345.03045) Full Text: DOI arXiv OpenURL
Aguado, Felicidad; Cabalar, Pedro; Diéguez, Martín; Pérez, Gilberto; Vidal, Concepción Temporal equilibrium logic: a survey. (English) Zbl 1400.68199 J. Appl. Non-Class. Log. 23, No. 1-2, 2-24 (2013). MSC: 68T27 03B44 68N17 68T30 PDF BibTeX XML Cite \textit{F. Aguado} et al., J. Appl. Non-Class. Log. 23, No. 1--2, 2--24 (2013; Zbl 1400.68199) Full Text: DOI OpenURL
Wang, Ren-June Temporalizing modal epistemic logic. (English) Zbl 1437.03078 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2013, San Diego, CA, USA, January 6–8, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7734, 359-371 (2013). MSC: 03B42 03B45 03B44 PDF BibTeX XML Cite \textit{R.-J. Wang}, Lect. Notes Comput. Sci. 7734, 359--371 (2013; Zbl 1437.03078) Full Text: DOI OpenURL
Li, Sanjiang; Liu, Weiming; Wang, Shengsheng Qualitative constraint satisfaction problems: an extended framework with landmarks. (English) Zbl 1334.68208 Artif. Intell. 201, 32-58 (2013). MSC: 68T27 68Q25 68T20 PDF BibTeX XML Cite \textit{S. Li} et al., Artif. Intell. 201, 32--58 (2013; Zbl 1334.68208) Full Text: DOI OpenURL
Hernandez-Leal, Pablo; Gonzalez, Jesus A.; Morales, Eduardo F.; Enrique Sucar, L. Learning temporal nodes Bayesian networks. (English) Zbl 1316.68178 Int. J. Approx. Reasoning 54, No. 8, 956-977 (2013). MSC: 68T37 62H30 68T05 PDF BibTeX XML Cite \textit{P. Hernandez-Leal} et al., Int. J. Approx. Reasoning 54, No. 8, 956--977 (2013; Zbl 1316.68178) Full Text: DOI OpenURL
Parisi, Francesco; Sliva, Amy; Subrahmanian, V. S. A temporal database forecasting algebra. (English) Zbl 1316.68049 Int. J. Approx. Reasoning 54, No. 7, 827-860 (2013). MSC: 68P15 68T37 PDF BibTeX XML Cite \textit{F. Parisi} et al., Int. J. Approx. Reasoning 54, No. 7, 827--860 (2013; Zbl 1316.68049) Full Text: DOI OpenURL
Zheng, Kouquan; Lei, Yingjie; Wang, Rui; Xing, Yaqiong A method of uncertain temporal reasoning based on IFTL. (Chinese. English summary) Zbl 1299.68178 Control Decis. 28, No. 7, 1002-1006, 1012 (2013). MSC: 68T37 03B44 03E72 03B52 PDF BibTeX XML Cite \textit{K. Zheng} et al., Control Decis. 28, No. 7, 1002--1006, 1012 (2013; Zbl 1299.68178) OpenURL
Pardo, Pere; Godo, Lluís t-DeLP: an argumentation-based temporal defeasible logic programming framework. (English) Zbl 1314.68098 Ann. Math. Artif. Intell. 69, No. 1, 3-35 (2013). MSC: 68N17 03B44 03B60 03B70 PDF BibTeX XML Cite \textit{P. Pardo} and \textit{L. Godo}, Ann. Math. Artif. Intell. 69, No. 1, 3--35 (2013; Zbl 1314.68098) Full Text: DOI Link OpenURL
Zaffalon, Marco; Miranda, Enrique Probability and time. (English) Zbl 1284.68558 Artif. Intell. 198, 1-51 (2013). MSC: 68T37 PDF BibTeX XML Cite \textit{M. Zaffalon} and \textit{E. Miranda}, Artif. Intell. 198, 1--51 (2013; Zbl 1284.68558) Full Text: DOI OpenURL
Doder, Dragan; Grant, John; Ognjanović, Zoran Probabilistic logics for objects located in space and time. (English) Zbl 1267.03041 J. Log. Comput. 23, No. 3, 487-515 (2013). MSC: 03B70 03B48 68P15 PDF BibTeX XML Cite \textit{D. Doder} et al., J. Log. Comput. 23, No. 3, 487--515 (2013; Zbl 1267.03041) Full Text: DOI OpenURL
Shakarian, Paulo; Simari, Gerardo I.; Subrahmanian, V. S. Annotated probabilistic temporal logic: approximate fixpoint implementation. (English) Zbl 1351.68055 ACM Trans. Comput. Log. 13, No. 2, Article No. 13, 33 p. (2012). MSC: 68N17 68T27 PDF BibTeX XML Cite \textit{P. Shakarian} et al., ACM Trans. Comput. Log. 13, No. 2, Article No. 13, 33 p. (2012; Zbl 1351.68055) Full Text: DOI OpenURL
Henriques, D.; Biscaia, M.; Baltazar, P.; Mateus, P. Decidability and complexity for \(\omega \)-regular properties of stochastic systems. (English) Zbl 1277.68218 Log. J. IGPL 20, No. 6, 1175-1201 (2012). MSC: 68Q87 03B44 PDF BibTeX XML Cite \textit{D. Henriques} et al., Log. J. IGPL 20, No. 6, 1175--1201 (2012; Zbl 1277.68218) Full Text: DOI Link OpenURL
Bodirsky, Manuel; Wrona, Michal Equivalence constraint satisfaction problems. (English) Zbl 1252.03087 Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3–6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPIcs – Leibniz International Proceedings in Informatics 16, 122-136, electronic only (2012). MSC: 03C15 03B44 03C05 05D10 68Q15 68Q25 PDF BibTeX XML Cite \textit{M. Bodirsky} and \textit{M. Wrona}, LIPIcs -- Leibniz Int. Proc. Inform. 16, 122--136 (2012; Zbl 1252.03087) Full Text: DOI OpenURL
Mansky, William; Gunter, Elsa L. Using locales to define a rely-guarantee temporal logic. (English) Zbl 1360.68795 Beringer, Lennart (ed.) et al., Interactive theorem proving. Third international conference, ITP 2012, Princeton, NJ, USA, August 13–15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32346-1/pbk). Lecture Notes in Computer Science 7406, 299-314 (2012). MSC: 68T27 03B44 68T15 68T42 PDF BibTeX XML Cite \textit{W. Mansky} and \textit{E. L. Gunter}, Lect. Notes Comput. Sci. 7406, 299--314 (2012; Zbl 1360.68795) Full Text: DOI OpenURL
Fernández-Duque, David Tangled modal logic for topological dynamics. (English) Zbl 1248.03033 Ann. Pure Appl. Logic 163, No. 4, 467-481 (2012). MSC: 03B45 03B44 03B62 03C35 PDF BibTeX XML Cite \textit{D. Fernández-Duque}, Ann. Pure Appl. Logic 163, No. 4, 467--481 (2012; Zbl 1248.03033) Full Text: DOI OpenURL
Ligozat, Gérard Qualitative spatial and temporal reasoning. (English) Zbl 1232.68004 Hoboken, NJ: John Wiley & Sons; London: ISTE (ISBN 978-1-84821-252-7/hbk). xv, 505 p. (2012). MSC: 68-02 68T27 68T30 68T35 68T37 PDF BibTeX XML Cite \textit{G. Ligozat}, Qualitative spatial and temporal reasoning. Hoboken, NJ: John Wiley \& Sons; London: ISTE (2012; Zbl 1232.68004) OpenURL
Shakarian, Paulo; Parker, Austin; Simari, Gerardo; Subrahmanian, Venkatramana V. S. Annotated probabilistic temporal logic. (English) Zbl 1352.03043 ACM Trans. Comput. Log. 12, No. 2, Article No. 14, 44 p. (2011). MSC: 03B70 03B44 03B48 68N17 PDF BibTeX XML Cite \textit{P. Shakarian} et al., ACM Trans. Comput. Log. 12, No. 2, Article No. 14, 44 p. (2011; Zbl 1352.03043) Full Text: DOI OpenURL
Molinaro, Cristian; Sliva, Amy; Subrahmanian, V. S. Abduction in annotated probabilistic temporal logic. (English) Zbl 1245.68056 Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6–10, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPIcs – Leibniz International Proceedings in Informatics 11, 240-250, electronic only (2011). MSC: 68N17 03B48 68T37 PDF BibTeX XML Cite \textit{C. Molinaro} et al., LIPIcs -- Leibniz Int. Proc. Inform. 11, 240--250 (2011; Zbl 1245.68056) Full Text: DOI Link OpenURL
Reynolds, Mark A tableau-based decision procedure for CTL\(^*\). (English) Zbl 1242.68302 Formal Asp. Comput. 23, No. 6, 739-779 (2011). MSC: 68T27 03B44 68Q60 PDF BibTeX XML Cite \textit{M. Reynolds}, Formal Asp. Comput. 23, No. 6, 739--779 (2011; Zbl 1242.68302) Full Text: DOI OpenURL
Goertzel, Ben; Geisweiller, Nil; Coelho, Lúcio; Janičić, Predrag; Pennachin, Cassio Real-world reasoning: toward scalable, uncertain spatiotemporal, contextual and causal inference. (English) Zbl 1246.68003 Atlantis Thinking Machines 2. Amsterdam: Atlantis Press (ISBN 978-94-91216-10-7/hbk; 978-94-91216-11-4/ebook). 279 p. (2011). Reviewer: Jana Köhler (Luzern) MSC: 68-01 68T27 68T30 68T37 PDF BibTeX XML Cite \textit{B. Goertzel} et al., Real-world reasoning: toward scalable, uncertain spatiotemporal, contextual and causal inference. Amsterdam: Atlantis Press (2011; Zbl 1246.68003) Full Text: DOI OpenURL
Moffitt, Michael D. On the modelling and optimization of preferences in constraint-based temporal reasoning. (English) Zbl 1225.68245 Artif. Intell. 175, No. 7-8, 1390-1409 (2011). MSC: 68T20 PDF BibTeX XML Cite \textit{M. D. Moffitt}, Artif. Intell. 175, No. 7--8, 1390--1409 (2011; Zbl 1225.68245) Full Text: DOI OpenURL
Ligozat, Gérard Qualitative temporal and spatial reasoning. (Raisonnement qualitatif sur le temps et l’espace.) (French) Zbl 1230.68022 Collection Ingénierie des Langues. Paris: Hermes; Paris: Lavoisier (ISBN 978-2-7462-3117-7/pbk). 560 p. (2011). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 68-02 68T30 68T27 68T37 68T35 PDF BibTeX XML Cite \textit{G. Ligozat}, Raisonnement qualitatif sur le temps et l'espace. Paris: Hermes; Paris: Lavoisier (2011; Zbl 1230.68022) OpenURL
Dupin de Saint-Cyr, Florence; Lang, Jérôme Belief extrapolation (or how to reason about observations and unpredicted change). (English) Zbl 1216.68262 Artif. Intell. 175, No. 2, 760-790 (2011). MSC: 68T27 68T30 PDF BibTeX XML Cite \textit{F. Dupin de Saint-Cyr} and \textit{J. Lang}, Artif. Intell. 175, No. 2, 760--790 (2011; Zbl 1216.68262) Full Text: DOI OpenURL
Gerevini, Alfonso E.; Saetti, Alessandro Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure. (English) Zbl 1216.68266 Artif. Intell. 175, No. 2, 556-585 (2011). MSC: 68T27 PDF BibTeX XML Cite \textit{A. E. Gerevini} and \textit{A. Saetti}, Artif. Intell. 175, No. 2, 556--585 (2011; Zbl 1216.68266) Full Text: DOI OpenURL
Gordon, Michael J. C.; Kaufmann, Matt; Ray, Sandip The right tools for the job: correctness of cone of influence reduction proved using ACL2 and HOL4. (English) Zbl 1216.68233 J. Autom. Reasoning 47, No. 1, 1-16 (2011). MSC: 68T15 03B44 68Q60 PDF BibTeX XML Cite \textit{M. J. C. Gordon} et al., J. Autom. Reasoning 47, No. 1, 1--16 (2011; Zbl 1216.68233) Full Text: DOI OpenURL