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: 68T 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
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
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
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
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
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 (ISBN 978-3-030-29764-0/pbk; 978-3-030-29765-7/ebook). Lecture Notes in Computer Science 11726. Lecture Notes in Artificial Intelligence, 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
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 (ISBN 978-3-030-29764-0/pbk; 978-3-030-29765-7/ebook). Lecture Notes in Computer Science 11726. Lecture Notes in Artificial Intelligence, 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
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 (ISBN 978-3-030-29764-0/pbk; 978-3-030-29765-7/ebook). Lecture Notes in Computer Science 11726. Lecture Notes in Artificial Intelligence, 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
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 (ISBN 978-3-030-19569-4/pbk; 978-3-030-19570-0/ebook). Lecture Notes in Computer Science 11468. Lecture Notes in Artificial Intelligence, 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
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
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
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
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) (ISBN 978-1-4503-6282-5). 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Daykin, Jacqueline W.; Miller, Mirka; Ryan, Joe Trends in temporal reasoning: constraints, graphs and posets. (English) Zbl 06585033 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 (ISBN 978-3-319-32858-4/pbk; 978-3-319-32859-1/ebook). Lecture Notes in Computer Science 9582, 290-304 (2016). MSC: 68 65 PDF BibTeX XML Cite \textit{J. W. Daykin} et al., Lect. Notes Comput. Sci. 9582, 290--304 (2016; Zbl 06585033) 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 PDF BibTeX XML Cite \textit{B. O. Akinkunmi}, J. Appl. Log. 15, 46--68 (2016; Zbl 1436.03119) Full Text: DOI
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
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)
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
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., in: Facets of uncertainties and applications. ICFUA, Kolkata, India, December 2013. Proceedings of the conference. New Delhi: Springer. 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 PDF BibTeX XML Cite \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 PDF BibTeX XML Cite \textit{Y. Li} et al., Fuzzy Sets Syst. 262, 44--59 (2015; Zbl 1361.68148) Full Text: DOI
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
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
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
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
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
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
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
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
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
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) Full Text: DOI
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)
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
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) Full Text: DOI
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
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
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
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
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
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
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
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
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
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
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)
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
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
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
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
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
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
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
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
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)
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
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
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
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
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
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)
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
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
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
Bäumler, Simon; Schellhorn, Gerhard; Tofan, Bogdan; Reif, Wolfgang Proving linearizability with temporal logic. (English) Zbl 1214.68209 Formal Asp. Comput. 23, No. 1, 91-112 (2011). MSC: 68Q60 03B44 68Q85 PDF BibTeX XML Cite \textit{S. Bäumler} et al., Formal Asp. Comput. 23, No. 1, 91--112 (2011; Zbl 1214.68209) Full Text: DOI
de Roever, Willem-Paul; de Boer, Frank; Hannemann, Ulrich; Hooman, Jozef; Lakhnech, Yassine; Poel, Mannes; Zwiers, Job Concurrency verification. Introduction to compositional and noncompositional methods. Reprint of the 2001 hardback ed. (English) Zbl 1214.68125 Cambridge Tracts in Theoretical Computer Science 54. Cambridge: Cambridge University Press (ISBN 978-0-521-16932-5/pbk). xxii, 776 p. (2011). MSC: 68N19 68-01 68N30 68Q60 68Q85 PDF BibTeX XML Cite \textit{W.-P. de Roever} et al., Concurrency verification. Introduction to compositional and noncompositional methods. Reprint of the 2001 hardback ed. Cambridge: Cambridge University Press (2011; Zbl 1214.68125)
Heimbürger, A. (ed.); Kiyoki, Y. (ed.); Tokuda, T. (ed.); Jaakkola, H. (ed.); Yoshida, N. (ed.) Information modelling and knowledge bases XXII (EJC 2010). Papers based on the presentations at the European Japanese conference, Tallinn, Estonia, June 6–10, 2011. (English) Zbl 1208.68019 Frontiers in Artificial Intelligence and Applications 225. Amsterdam: IOS Press (ISBN 978-1-60750-689-8/hbk; 978-1-60750-690-4/ebook). x, 449 p. (2011). MSC: 68-06 68P15 68P20 68T30 68T35 00B25 PDF BibTeX XML Cite \textit{A. Heimbürger} (ed.) et al., Information modelling and knowledge bases XXII (EJC 2010). Papers based on the presentations at the European Japanese conference, Tallinn, Estonia, June 6--10, 2011. Amsterdam: IOS Press (2011; Zbl 1208.68019) Full Text: Link
Orłowska, Ewa; Golińska-Pilarek, Joanna Dual tableaux. Foundations, methodology, case studies. (English) Zbl 1210.03001 Trends in Logic–Studia Logica Library 33. Berlin: Springer (ISBN 978-94-007-0004-8/hbk; 978-94-007-0005-5/ebook). v, 562 p. (2011). Reviewer: Branislav Boričić (Beograd) MSC: 03-02 03Bxx 03F07 PDF BibTeX XML Cite \textit{E. Orłowska} and \textit{J. Golińska-Pilarek}, Dual tableaux. Foundations, methodology, case studies. Berlin: Springer (2011; Zbl 1210.03001) Full Text: DOI
Mazilescu, Vasile Characterizing an extended fuzzy logic system with temporal attributes for real-time expert systems. (English) Zbl 1339.68247 Mastorakis, N. (ed.) et al., New aspects of systems theory and scientific computation. 10th WSEAS international conference on systems theory and scientific computation (ISTASC ’10), Taipei, Taiwan, August 20–22, 2010. Athens: WSEAS Press (ISBN 978-960-474-218-9/hbk; 978-960-474-219-6/cd-rom). Mathematics and Computers in Science and Engineering, 159-165 (2010). MSC: 68T35 03B52 68T37 PDF BibTeX XML Cite \textit{V. Mazilescu}, in: New aspects of systems theory and scientific computation. 10th WSEAS international conference on systems theory and scientific computation (ISTASC '10), Taipei, Taiwan, August 20--22, 2010. Athens: WSEAS Press. 159--165 (2010; Zbl 1339.68247)
Bodirsky, Manuel; Kára, Jan A fast algorithm and Datalog inexpressibility for temporal reasoning. (English) Zbl 1351.68051 ACM Trans. Comput. Log. 11, No. 3, Article No. 15, 21 p. (2010). MSC: 68N17 68Q25 68T20 68T27 PDF BibTeX XML Cite \textit{M. Bodirsky} and \textit{J. Kára}, ACM Trans. Comput. Log. 11, No. 3, Article No. 15, 21 p. (2010; Zbl 1351.68051) Full Text: DOI
Cui, Mei-hua; Xu, Luo-shan Researches on \((n)\) truth degrees in modal logic. (English) Zbl 1260.03038 Cao, Bing-Yuan (ed.) et al., Quantitative logic and soft computing 2010. Vol. 2. Proceedings of the 2nd international conference (QL & SC 2010), Xiamen, China, October 22–25, 2010. Berlin: Springer (ISBN 978-3-642-15659-5/pbk; 978-3-642-15660-1/ebook). Advances in Intelligent and Soft Computing 82, 321-330 (2010). MSC: 03B45 03B44 68T37 PDF BibTeX XML Cite \textit{M.-h. Cui} and \textit{L.-s. Xu}, Adv. Intell. Soft Comput. 82, 321--330 (2010; Zbl 1260.03038) Full Text: DOI
Jiao, Wenpin Multi-agent cooperation via reasoning about the behavior of others. (English) Zbl 1235.68238 Comput. Intell. 26, No. 1, 57-83 (2010). MSC: 68T42 68T27 68T37 PDF BibTeX XML Cite \textit{W. Jiao}, Comput. Intell. 26, No. 1, 57--83 (2010; Zbl 1235.68238) Full Text: DOI
Mazilescu, Vasile; Afanase, Constantin; Bărbută-Mişu, Nicoleta Dynamic aspects for virtual organizations based on intelligent agent technology. (English) Zbl 1231.68253 Kallel, Ali (ed.) et al., Mathematical methods, computational techniques, intelligent systems. 12th WSEAS international conference (MAMECTIS ’10), Kantaoui, Sousse, Tunia, May 3–6, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-191-5/CD-ROM; 978-960-474-188-5/hbk). Electrical and Computer Engineering Series. A Series of Reference Books and Textbooks, 61-66 (2010). MSC: 68T35 68T37 68T42 PDF BibTeX XML Cite \textit{V. Mazilescu} et al., in: Mathematical methods, computational techniques, intelligent systems. 12th WSEAS international conference (MAMECTIS '10), Kantaoui, Sousse, Tunia, May 3--6, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS). 61--66 (2010; Zbl 1231.68253)
Guerram, Tahar; Maamri, Ramdane; Sahnoun, Zaidi A multi agent based architecture to qualitative temporal constraint reasoning. (English) Zbl 1231.68036 Grigoriu, Mircea (ed.) et al., European computing conference. Proceedings of the 4th European computing conference (ECC’10), Bucarest, Romania, April 20–22, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-183-0/CD-ROM; 978-960-474-178-6/hbk). Electrical and Computer Engineering Series. A Series of Reference Books and Textbooks., 249-259 (2010). MSC: 68M07 PDF BibTeX XML Cite \textit{T. Guerram} et al., in: European computing conference. Proceedings of the 4th European computing conference (ECC'10), Bucarest, Romania, April 20--22, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS). 249--259 (2010; Zbl 1231.68036)
Lu, Zhirui; Liu, Jun; Augusto, Juan C.; Wang, Hui A many-valued temporal logic and reasoning framework for decision making. (English) Zbl 1216.68248 Ruan, Da (ed.), Computational intelligence in complex decision systems. Amsterdam: Atlantis Press; Hackensack, NJ: World Scientific (ISBN 978-90-78677-27-7/hbk). Atlantis Computational Intelligence Systems 2, 125-146 (2010). MSC: 68T20 68T27 68T37 PDF BibTeX XML Cite \textit{Z. Lu} et al., Atlantis Comput. Intell. Syst. 2, 125--146 (2010; Zbl 1216.68248)
Hoshi, Tomohiro Merging DEL and ETL. (English) Zbl 1216.03031 J. Logic Lang. Inf. 19, No. 4, 413-430 (2010). MSC: 03B42 03B44 PDF BibTeX XML Cite \textit{T. Hoshi}, J. Logic Lang. Inf. 19, No. 4, 413--430 (2010; Zbl 1216.03031) Full Text: DOI
Haddad, Hedi; Moulin, Bernard A framework to support qualitative reasoning about COAs in a dynamic spatial environment. (English) Zbl 1207.68375 J. Exp. Theor. Artif. Intell. 22, No. 4, 341-380 (2010). MSC: 68T30 68T35 68T42 PDF BibTeX XML Cite \textit{H. Haddad} and \textit{B. Moulin}, J. Exp. Theor. Artif. Intell. 22, No. 4, 341--380 (2010; Zbl 1207.68375) Full Text: DOI