Rajaona, Fortunat; Boureanu, Ioana; Malvone, Vadim; Belardinelli, Francesco Program semantics and verification technique for AI-centred programs. (English) Zbl 07728858 Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 473-491 (2023). MSC: 68N30 68N15 68Q55 68Q60 68T27 PDFBibTeX XMLCite \textit{F. Rajaona} et al., Lect. Notes Comput. Sci. 14000, 473--491 (2023; Zbl 07728858) Full Text: DOI
Blahoudek, František; Chen, Yu-Fang; Chocholatý, David; Havlena, Vojtěch; Holík, Lukáš; Lengál, Ondřej; Síč, Juraj Word equations in synergy with regular constraints. (English) Zbl 07728854 Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 403-423 (2023). MSC: 68W32 68Q45 68T20 PDFBibTeX XMLCite \textit{F. Blahoudek} et al., Lect. Notes Comput. Sci. 14000, 403--423 (2023; Zbl 07728854) Full Text: DOI arXiv
Cruttwell, Geoffrey S. H.; Gavranović, Bruno; Ghani, Neil; Wilson, Paul; Zanasi, Fabio Categorical foundations of gradient-based learning. (English) Zbl 1528.68339 Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 1-28 (2022). MSC: 68T05 18C50 PDFBibTeX XMLCite \textit{G. S. H. Cruttwell} et al., Lect. Notes Comput. Sci. 13240, 1--28 (2022; Zbl 1528.68339) Full Text: DOI arXiv
Bollig, Benedikt; Leucker, Martin; Neider, Daniel A survey of model learning techniques for recurrent neural networks. (English) Zbl 1524.68309 Jansen, Nils (ed.) et al., A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13560, 81-97 (2022). MSC: 68T07 68Q45 PDFBibTeX XMLCite \textit{B. Bollig} et al., Lect. Notes Comput. Sci. 13560, 81--97 (2022; Zbl 1524.68309) Full Text: DOI
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik An impossibility result in automata-theoretic reinforcement learning. (English) Zbl 1522.68269 Bouajjani, Ahmed (ed.) et al., Automated technology for verification and analysis. 20th international symposium, ATVA 2022, virtual event, October 25–28, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13505, 42-57 (2022). MSC: 68Q45 68Q32 68T05 68Q60 93C30 PDFBibTeX XMLCite \textit{E. M. Hahn} et al., Lect. Notes Comput. Sci. 13505, 42--57 (2022; Zbl 1522.68269) Full Text: DOI
Waga, Masaki; Castellano, Ezequiel; Pruekprasert, Sasinee; Klikovits, Stefan; Takisaka, Toru; Hasuo, Ichiro Dynamic shielding for reinforcement learning in black-box environments. (English) Zbl 1522.68351 Bouajjani, Ahmed (ed.) et al., Automated technology for verification and analysis. 20th international symposium, ATVA 2022, virtual event, October 25–28, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13505, 25-41 (2022). MSC: 68Q60 68Q32 68Q45 68T05 90C40 93C30 PDFBibTeX XMLCite \textit{M. Waga} et al., Lect. Notes Comput. Sci. 13505, 25--41 (2022; Zbl 1522.68351) Full Text: DOI arXiv
Jensen, Peter Gjøl; Kiviriga, Andrej; Guldstrand Larsen, Kim; Nyman, Ulrik; Mijačika, Adriana; Høiriis Mortensen, Jeppe Monte Carlo tree search for priced timed automata. (English) Zbl 1522.68273 Ábrahám, Erika (ed.) et al., Quantitative evaluation of systems. 19th international conference, QEST 2022, Warsaw, Poland, September 12–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13479, 381-398 (2022). MSC: 68Q45 68T20 90B35 PDFBibTeX XMLCite \textit{P. G. Jensen} et al., Lect. Notes Comput. Sci. 13479, 381--398 (2022; Zbl 1522.68273) Full Text: DOI
Knorr, Matthias; Damásio, Carlos Viegas; Gonçalves, Ricardo; Leite, João Towards provenance in heterogeneous knowledge bases. (English) Zbl 1515.68317 Gottlob, Georg (ed.) et al., Logic programming and nonmonotonic reasoning. 16th international conference, LPNMR 2022, Genova, Italy, September 5–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13416, 287-300 (2022). MSC: 68T30 68T35 PDFBibTeX XMLCite \textit{M. Knorr} et al., Lect. Notes Comput. Sci. 13416, 287--300 (2022; Zbl 1515.68317) Full Text: DOI
Brännström, Andreas; Nieves, Juan Carlos Emotional reasoning in an action language for emotion-aware planning. (English) Zbl 07671882 Gottlob, Georg (ed.) et al., Logic programming and nonmonotonic reasoning. 16th international conference, LPNMR 2022, Genova, Italy, September 5–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13416, 103-116 (2022). MSC: 68T20 PDFBibTeX XMLCite \textit{A. Brännström} and \textit{J. C. Nieves}, Lect. Notes Comput. Sci. 13416, 103--116 (2022; Zbl 07671882) Full Text: DOI
Schwartz, Tobias; Boockmann, Jan H.; Martin, Leon Towards the evaluation of action reversibility in STRIPS using domain generators. (English) Zbl 07630648 Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 226-236 (2022). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{T. Schwartz} et al., Lect. Notes Comput. Sci. 13388, 226--236 (2022; Zbl 07630648) Full Text: DOI
Haldimann, Jonas; Beierle, Christoph Properties of system W and its relationships to other inductive inference operators. (English) Zbl 07630647 Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 206-225 (2022). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{J. Haldimann} and \textit{C. Beierle}, Lect. Notes Comput. Sci. 13388, 206--225 (2022; Zbl 07630647) Full Text: DOI
Hellings, Jelle; Sadoghi, Mohammad The fault-tolerant cluster-sending problem. (English) Zbl 07630645 Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 168-186 (2022). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{J. Hellings} and \textit{M. Sadoghi}, Lect. Notes Comput. Sci. 13388, 168--186 (2022; Zbl 07630645) Full Text: DOI arXiv
Al-atar, Munqath; Sali, Attila Approximate keys and functional dependencies in incomplete databases with limited domains. (English) Zbl 07630644 Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 147-167 (2022). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{M. Al-atar} and \textit{A. Sali}, Lect. Notes Comput. Sci. 13388, 147--167 (2022; Zbl 07630644) Full Text: DOI
Hirvonen, Minna The implication problem for functional dependencies and variants of marginal distribution equivalences. (English) Zbl 07630643 Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 130-146 (2022). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{M. Hirvonen}, Lect. Notes Comput. Sci. 13388, 130--146 (2022; Zbl 07630643) Full Text: DOI
Cruz-Filipe, Luís; Gaspar, Graça; Nunes, Isabel Can you answer while you wait? (English) Zbl 07630642 Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 111-129 (2022). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{L. Cruz-Filipe} et al., Lect. Notes Comput. Sci. 13388, 111--129 (2022; Zbl 07630642) Full Text: DOI
Savnik, Iztok; Nitta, Kiyoshi; Skrekovski, Riste; Augsten, Nikolaus Statistics of RDF store for querying knowledge graphs. (English) Zbl 07630641 Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 93-110 (2022). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{I. Savnik} et al., Lect. Notes Comput. Sci. 13388, 93--110 (2022; Zbl 07630641) Full Text: DOI
Feuillade, Guillaume; Herzig, Andreas; Rantsoudis, Christos Database repair via event-condition-action rules in dynamic logic. (English) Zbl 07630640 Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 75-92 (2022). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{G. Feuillade} et al., Lect. Notes Comput. Sci. 13388, 75--92 (2022; Zbl 07630640) Full Text: DOI
Sfar, Aziz; Irofti, Dina; Croitoru, Madalina A graph based semantics for logical functional diagrams in power plant controllers. (English) Zbl 07630639 Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 55-74 (2022). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{A. Sfar} et al., Lect. Notes Comput. Sci. 13388, 55--74 (2022; Zbl 07630639) Full Text: DOI
Wakaki, Toshiko Assumption-based argumentation for extended disjunctive logic programming. (English) Zbl 07630638 Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 35-54 (2022). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{T. Wakaki}, Lect. Notes Comput. Sci. 13388, 35--54 (2022; Zbl 07630638) Full Text: DOI
Geerts, Floris; Steegmans, Jasper; Van den Bussche, Jan On the expressive power of message-passing neural networks as global feature map transformers. (English) Zbl 07630637 Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 20-34 (2022). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{F. Geerts} et al., Lect. Notes Comput. Sci. 13388, 20--34 (2022; Zbl 07630637) Full Text: DOI arXiv
Berens, Maximilian; Biskup, Joachim On sampling representatives of relational schemas with a functional dependency. (English) Zbl 07630636 Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 1-19 (2022). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{M. Berens} and \textit{J. Biskup}, Lect. Notes Comput. Sci. 13388, 1--19 (2022; Zbl 07630636) Full Text: DOI
Gittis, Andreas; Vin, Eric; Fremont, Daniel J. Randomized synthesis for diversity and cost constraints with control improvisation. (English) Zbl 1514.68134 Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13372, 526-546 (2022). MSC: 68Q60 68Q45 68T20 68W20 68T40 PDFBibTeX XMLCite \textit{A. Gittis} et al., Lect. Notes Comput. Sci. 13372, 526--546 (2022; Zbl 1514.68134) Full Text: DOI arXiv
Stuckey, Peter J.; Tack, Guido Enumerated types and type extensions for MiniZinc. (English) Zbl 1502.68280 Schaus, Pierre (ed.), Integration of constraint programming, artificial intelligence, and operations research. 19th international conference, CPAIOR 2022, Los Angeles, CA, USA, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13292, 374-389 (2022). MSC: 68T20 68N15 90C27 PDFBibTeX XMLCite \textit{P. J. Stuckey} and \textit{G. Tack}, Lect. Notes Comput. Sci. 13292, 374--389 (2022; Zbl 1502.68280) Full Text: DOI
Muškardin, Edi; Aichernig, Bernhard K.; Pill, Ingo; Tappler, Martin Learning finite state models from recurrent neural networks. (English) Zbl 1502.68263 ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 229-248 (2022). MSC: 68T05 68Q32 68Q45 PDFBibTeX XMLCite \textit{E. Muškardin} et al., Lect. Notes Comput. Sci. 13274, 229--248 (2022; Zbl 1502.68263) Full Text: DOI
Hunt, Nathan; Fulton, Nathan; Magliacane, Sara; Hoang, Trong Nghia; Das, Subhro; Solar-Lezama, Armando Verifiably safe exploration for end-to-end reinforcement learning. (English) Zbl 07807687 Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 14, 11 p. (2021). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{N. Hunt} et al., in: Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19--21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 14, 11 p. (2021; Zbl 07807687) Full Text: DOI arXiv
Gnad, Daniel; Eisenhut, Jan; Lluch Lafuente, Alberto; Hoffmann, Jörg Model checking \(\omega \)-regular properties with decoupled search. (English) Zbl 1493.68208 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 411-434 (2021). MSC: 68Q60 68Q45 68T20 PDFBibTeX XMLCite \textit{D. Gnad} et al., Lect. Notes Comput. Sci. 12760, 411--434 (2021; Zbl 1493.68208) Full Text: DOI
Berzish, Murphy; Kulczynski, Mitja; Mora, Federico; Manea, Florin; Day, Joel D.; Nowotka, Dirk; Ganesh, Vijay An SMT solver for regular expressions and linear arithmetic over string length. (English) Zbl 1493.68182 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 289-312 (2021). MSC: 68Q45 68T20 68V20 68W32 PDFBibTeX XMLCite \textit{M. Berzish} et al., Lect. Notes Comput. Sci. 12760, 289--312 (2021; Zbl 1493.68182) Full Text: DOI arXiv
Kordestani, Javidan Kazemi; Mirsaleh, Mehdi Razapoor; Rezvanian, Alireza; Meybodi, Mohammad Reza Function management in multi-population methods with a variable number of populations: a variable action learning automaton approach. (English) Zbl 1485.68325 Kordestani, Javidan Kazemi (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer. Intell. Syst. Ref. Libr. 208, 323-340 (2021). MSC: 68W50 68Q45 68T05 68T20 90C59 PDFBibTeX XMLCite \textit{J. K. Kordestani} et al., Intell. Syst. Ref. Libr. 208, 323--340 (2021; Zbl 1485.68325) Full Text: DOI
Kordestani, Javidan Kazemi; Mirsaleh, Mehdi Razapoor; Rezvanian, Alireza; Meybodi, Mohammad Reza Learning automata for online function evaluation management in evolutionary multi-population methods for dynamic optimization problems. (English) Zbl 1485.68324 Kordestani, Javidan Kazemi (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer. Intell. Syst. Ref. Libr. 208, 287-321 (2021). MSC: 68W50 68Q45 68T05 68T20 90C59 PDFBibTeX XMLCite \textit{J. K. Kordestani} et al., Intell. Syst. Ref. Libr. 208, 287--321 (2021; Zbl 1485.68324) Full Text: DOI
Kordestani, Javidan Kazemi; Mirsaleh, Mehdi Razapoor; Rezvanian, Alireza; Meybodi, Mohammad Reza The applications of object migration automaton (OMA)-memetic algorithm for solving NP-hard problems. (English) Zbl 1485.68221 Kordestani, Javidan Kazemi (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer. Intell. Syst. Ref. Libr. 208, 195-252 (2021). MSC: 68T05 68Q17 68Q45 68R10 68T20 68W50 PDFBibTeX XMLCite \textit{J. K. Kordestani} et al., Intell. Syst. Ref. Libr. 208, 195--252 (2021; Zbl 1485.68221) Full Text: DOI
Kordestani, Javidan Kazemi; Mirsaleh, Mehdi Razapoor; Rezvanian, Alireza; Meybodi, Mohammad Reza A memetic model based on fixed structure learning automata for solving NP-hard problems. (English) Zbl 1485.68220 Kordestani, Javidan Kazemi (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer. Intell. Syst. Ref. Libr. 208, 159-193 (2021). MSC: 68T05 68Q17 68Q45 68T20 68W50 PDFBibTeX XMLCite \textit{J. K. Kordestani} et al., Intell. Syst. Ref. Libr. 208, 159--193 (2021; Zbl 1485.68220) Full Text: DOI
Kordestani, Javidan Kazemi; Mirsaleh, Mehdi Razapoor; Rezvanian, Alireza; Meybodi, Mohammad Reza Learning automata for behavior control in evolutionary computation. (English) Zbl 1485.68219 Kordestani, Javidan Kazemi (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer. Intell. Syst. Ref. Libr. 208, 127-157 (2021). MSC: 68T05 68Q45 68W50 90C59 PDFBibTeX XMLCite \textit{J. K. Kordestani} et al., Intell. Syst. Ref. Libr. 208, 127--157 (2021; Zbl 1485.68219) Full Text: DOI
Kordestani, Javidan Kazemi; Mirsaleh, Mehdi Razapoor; Rezvanian, Alireza; Meybodi, Mohammad Reza Cellular automata, learning automata, and cellular learning automata for optimization. (English) Zbl 1485.68218 Kordestani, Javidan Kazemi (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer. Intell. Syst. Ref. Libr. 208, 75-125 (2021). MSC: 68T05 68Q45 68Q80 90C59 PDFBibTeX XMLCite \textit{J. K. Kordestani} et al., Intell. Syst. Ref. Libr. 208, 75--125 (2021; Zbl 1485.68218) Full Text: DOI
Kordestani, Javidan Kazemi; Mirsaleh, Mehdi Razapoor; Rezvanian, Alireza; Meybodi, Mohammad Reza Learning automaton and its variants for optimization: a bibliometric analysis. (English) Zbl 1485.68217 Kordestani, Javidan Kazemi (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer. Intell. Syst. Ref. Libr. 208, 51-73 (2021). MSC: 68T05 01A90 68Q45 90C59 PDFBibTeX XMLCite \textit{J. K. Kordestani} et al., Intell. Syst. Ref. Libr. 208, 51--73 (2021; Zbl 1485.68217) Full Text: DOI
Kordestani, Javidan Kazemi; Mirsaleh, Mehdi Razapoor; Rezvanian, Alireza; Meybodi, Mohammad Reza An introduction to learning automata and optimization. (English) Zbl 1485.68216 Kordestani, Javidan Kazemi (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer. Intell. Syst. Ref. Libr. 208, 1-50 (2021). MSC: 68T05 68Q45 68Q80 90C59 PDFBibTeX XMLCite \textit{J. K. Kordestani} et al., Intell. Syst. Ref. Libr. 208, 1--50 (2021; Zbl 1485.68216) Full Text: DOI
Cruttwell, Geoffrey; Gallagher, Jonathan; Pronk, Dorette Categorical semantics of a simple differential programming language. (English) Zbl 1477.68262 Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 289-310 (2021). MSC: 68T05 18C50 18F40 68N15 68Q55 PDFBibTeX XMLCite \textit{G. Cruttwell} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 289--310 (2021; Zbl 1477.68262) Full Text: arXiv Link
Bistarelli, Stefano; Taticchi, Carlo Introducing a tool for concurrent argumentation. (English) Zbl 07437030 Faber, Wolfgang (ed.) et al., Logics in artificial intelligence. 17th European conference, JELIA 2021, virtual event, May 17–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12678, 18-24 (2021). MSC: 68T27 PDFBibTeX XMLCite \textit{S. Bistarelli} and \textit{C. Taticchi}, Lect. Notes Comput. Sci. 12678, 18--24 (2021; Zbl 07437030) Full Text: DOI
Lundén, Daniel; Borgström, Johannes; Broman, David Correctness of sequential Monte Carlo inference for probabilistic programming languages. (English) Zbl 1473.68038 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 404-431 (2021). MSC: 68N15 68N18 68N19 68Q55 68Q87 68T37 PDFBibTeX XMLCite \textit{D. Lundén} et al., Lect. Notes Comput. Sci. 12648, 404--431 (2021; Zbl 1473.68038) Full Text: DOI arXiv
Yellin, Daniel M.; Weiss, Gail Synthesizing context-free grammars from recurrent neural networks. (English) Zbl 1467.68077 Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 351-369 (2021). MSC: 68Q32 68Q42 68Q45 68T05 PDFBibTeX XMLCite \textit{D. M. Yellin} and \textit{G. Weiss}, Lect. Notes Comput. Sci. 12651, 351--369 (2021; Zbl 1467.68077) Full Text: DOI arXiv
Bansal, Suguman; Chatterjee, Krishnendu; Vardi, Moshe Y. On satisficing in quantitative games. (English) Zbl 1467.68161 Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 20-37 (2021). MSC: 68T20 68Q45 90C35 91A43 91A80 PDFBibTeX XMLCite \textit{S. Bansal} et al., Lect. Notes Comput. Sci. 12651, 20--37 (2021; Zbl 1467.68161) Full Text: DOI arXiv
Prajna, K.; Manikanthababu, N. Bat algorithm with applications to signal, speech, and image processing – a review. (English) Zbl 1459.94042 Dey, Nilanjan (ed.) et al., Applications of bat algorithm and its variants. Singapore: Springer. Springer Tracts Nat.-Inspir. Comput., 133-153 (2021). MSC: 94A12 94A08 90C59 68T35 PDFBibTeX XMLCite \textit{K. Prajna} and \textit{N. Manikanthababu}, in: Applications of bat algorithm and its variants. Singapore: Springer. 133--153 (2021; Zbl 1459.94042) Full Text: DOI
Culer, Łukasz; Unold, Olgierd Visualization of membership distribution in strings using heat maps. (English) Zbl 1515.68154 Rutkowski, Leszek (ed.) et al., Artificial intelligence and soft computing. 19th international conference, ICAISC 2020, Zakopane, Poland, October 12–14, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12415, 503-513 (2020). MSC: 68Q32 68Q42 68Q45 68T37 PDFBibTeX XMLCite \textit{Ł. Culer} and \textit{O. Unold}, Lect. Notes Comput. Sci. 12415, 503--513 (2020; Zbl 1515.68154) Full Text: DOI
Kiviriga, Andrej; Larsen, Kim Guldstrand; Nyman, Ulrik Randomized refinement checking of timed I/O automata. (English) Zbl 1502.68184 Pang, Jun (ed.) et al., Dependable software engineering. Theories, tools, and applications. 6th international symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12153, 70-88 (2020). MSC: 68Q60 05C81 68Q45 68T20 PDFBibTeX XMLCite \textit{A. Kiviriga} et al., Lect. Notes Comput. Sci. 12153, 70--88 (2020; Zbl 1502.68184) Full Text: DOI
Markgraf, Oliver; Hong, Chih-Duo; Lin, Anthony W.; Najib, Muhammad; Neider, Daniel Parameterized synthesis with safety properties. (English) Zbl 1476.68154 Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 273-292 (2020). MSC: 68Q60 68Q32 68Q45 68Q85 68T40 91A80 PDFBibTeX XMLCite \textit{O. Markgraf} et al., Lect. Notes Comput. Sci. 12470, 273--292 (2020; Zbl 1476.68154) Full Text: DOI arXiv
Mittelmann, Munyque; Perrussel, Laurent Auction description language (ADL): general framework for representing auction-based markets. (English) Zbl 1464.68388 De Giacomo, Giuseppe (ed.) et al., ECAI 2020. 24th European conference on artificial intelligence, August 29 – September 8, 2020, Santiago de Compostela, Spain. Including 10th conference on prestigious applications of artificial intelligence, PAIS 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 325, 825-832 (2020). MSC: 68T35 91B26 PDFBibTeX XMLCite \textit{M. Mittelmann} and \textit{L. Perrussel}, Front. Artif. Intell. Appl. 325, 825--832 (2020; Zbl 1464.68388) Full Text: DOI
Bouraoui, Zied; Lagniez, Jean-Marie; Marquis, Pierre; Montmirail, Valentin Consolidating modal knowledge bases. (English) Zbl 1464.68386 De Giacomo, Giuseppe (ed.) et al., ECAI 2020. 24th European conference on artificial intelligence, August 29 – September 8, 2020, Santiago de Compostela, Spain. Including 10th conference on prestigious applications of artificial intelligence, PAIS 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 325, 648-655 (2020). MSC: 68T35 03B45 68T27 PDFBibTeX XMLCite \textit{Z. Bouraoui} et al., Front. Artif. Intell. Appl. 325, 648--655 (2020; Zbl 1464.68386) Full Text: DOI
Zhang, Junjie Development of customized scripts. (English) Zbl 07364705 Cheng, Zhiguang (ed.) et al., Modeling and application of electromagnetic and thermal field in electrical engineering. Beijing: Science Press; Singapore: Springer. 139-174 (2020). MSC: 68T35 78A55 PDFBibTeX XMLCite \textit{J. Zhang}, in: Modeling and application of electromagnetic and thermal field in electrical engineering. Beijing: Science Press; Singapore: Springer. 139--174 (2020; Zbl 07364705) Full Text: DOI
Kushner, Taisa; Sankaranarayanan, Sriram; Breton, Marc Conformance verification for neural network models of glucose-insulin dynamics. (English) Zbl 07300854 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 13, 12 p. (2020). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{T. Kushner} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 13, 12 p. (2020; Zbl 07300854) Full Text: DOI
Zhan, Xianglin; Lu, Cai; Hu, Guangmin Event sequence interpretation of structural geomodels: a knowledge-based approach for extracting tectonic sequences. (English) Zbl 07266060 Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 318-333 (2020). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{X. Zhan} et al., Lect. Notes Comput. Sci. 12012, 318--333 (2020; Zbl 07266060) Full Text: DOI
Xia, Daniel; Simpson, Michael; Srinivasan, Venkatesh; Thomo, Alex Strongly minimal MapReduce algorithms: a terasort case study. (English) Zbl 07266059 Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 301-317 (2020). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{D. Xia} et al., Lect. Notes Comput. Sci. 12012, 301--317 (2020; Zbl 07266059) Full Text: DOI
Ravve, Elena V. Logic-based approach to incremental monitoring and optimization on strongly distributed data streams. (English) Zbl 07266056 Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 242-262 (2020). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{E. V. Ravve}, Lect. Notes Comput. Sci. 12012, 242--262 (2020; Zbl 07266056) Full Text: DOI
Pandžić, Stipe On the dynamics of structured argumentation: modeling changes in default justification logic. (English) Zbl 07266055 Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 222-241 (2020). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{S. Pandžić}, Lect. Notes Comput. Sci. 12012, 222--241 (2020; Zbl 07266055) Full Text: DOI
Mittelmann, Munyque; Perrussel, Laurent Game Description Logic with Integers: a GDL numerical extension. (English) Zbl 07266053 Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 191-210 (2020). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{M. Mittelmann} and \textit{L. Perrussel}, Lect. Notes Comput. Sci. 12012, 191--210 (2020; Zbl 07266053) Full Text: DOI arXiv
Mahmood, Yasir; Meier, Arne Parameterised complexity of model checking and satisfiability in propositional dependence logic. (English) Zbl 07266051 Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 157-174 (2020). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{Y. Mahmood} and \textit{A. Meier}, Lect. Notes Comput. Sci. 12012, 157--174 (2020; Zbl 07266051) Full Text: DOI
Grant, John; Parisi, Francesco Measuring inconsistency in a general information space. (English) Zbl 07266050 Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 140-156 (2020). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{J. Grant} and \textit{F. Parisi}, Lect. Notes Comput. Sci. 12012, 140--156 (2020; Zbl 07266050) Full Text: DOI
Ghilezan, Silvia; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran; Savić, Nenad Towards probabilistic reasoning in type theory – the intersection type case. (English) Zbl 07266049 Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 122-139 (2020). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{S. Ghilezan} et al., Lect. Notes Comput. Sci. 12012, 122--139 (2020; Zbl 07266049) Full Text: DOI
Galliani, Pietro; Väänänen, Jouko Diversity, dependence and independence. (English) Zbl 07266048 Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 106-121 (2020). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{P. Galliani} and \textit{J. Väänänen}, Lect. Notes Comput. Sci. 12012, 106--121 (2020; Zbl 07266048) Full Text: DOI arXiv
Ferrarotti, Flavio; González, Senén; Schewe, Klaus-Dieter; Turull-Torres, José María Proper hierarchies in polylogarithmic time and absence of complete problems. (English) Zbl 07266047 Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 90-105 (2020). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{F. Ferrarotti} et al., Lect. Notes Comput. Sci. 12012, 90--105 (2020; Zbl 07266047) Full Text: DOI arXiv
Dvořák, Wolfgang; Rapberger, Anna; Wallner, Johannes P.; Woltran, Stefan ASPARTIX-V19 – an answer-set programming based system for abstract argumentation. (English) Zbl 07266046 Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 79-89 (2020). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{W. Dvořák} et al., Lect. Notes Comput. Sci. 12012, 79--89 (2020; Zbl 07266046) Full Text: DOI Link
Santos, Yuri David Social consolidations: rational belief in a many-valued logic of evidence and peerhood. (English) Zbl 07266045 Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 58-78 (2020). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{Y. D. Santos}, Lect. Notes Comput. Sci. 12012, 58--78 (2020; Zbl 07266045) Full Text: DOI
Brijder, Robert; Gyssens, Marc; Van den Bussche, Jan On matrices and \(K\)-relations. (English) Zbl 07266044 Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 42-57 (2020). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{R. Brijder} et al., Lect. Notes Comput. Sci. 12012, 42--57 (2020; Zbl 07266044) Full Text: DOI
Beierle, Christoph; Haldimann, Jonas Normal forms of conditional knowledge bases respecting entailments and renamings. (English) Zbl 1456.68184 Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 22-41 (2020). Reviewer: Neli Zlatareva (New Britain) MSC: 68T27 68T30 68T35 PDFBibTeX XMLCite \textit{C. Beierle} and \textit{J. Haldimann}, Lect. Notes Comput. Sci. 12012, 22--41 (2020; Zbl 1456.68184) Full Text: DOI
Alattar, Munqath; Sali, Attila Functional dependencies in incomplete databases with limited domains. (English) Zbl 1456.68028 Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 1-21 (2020). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{M. Alattar} and \textit{A. Sali}, Lect. Notes Comput. Sci. 12012, 1--21 (2020; Zbl 1456.68028) Full Text: DOI
Evans, Richard; Berger, Martin Cathoristic logic. A logic for capturing inferences between atomic sentences. (English) Zbl 1440.03042 Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 17-85 (2020). MSC: 03B45 03B65 68T27 68T30 PDFBibTeX XMLCite \textit{R. Evans} and \textit{M. Berger}, Lect. Notes Comput. Sci. 12065, 17--85 (2020; Zbl 1440.03042) Full Text: DOI
Perkov, Tin The McCulloch-Pitts paper from the perspective of mathematical logic. (English) Zbl 1446.03040 Skansi, Sandro (ed.), Guide to deep learning basics. Logical, historical and philosophical perspectives. Cham: Springer. 7-12 (2020). MSC: 03B44 92B20 92C20 PDFBibTeX XMLCite \textit{T. Perkov}, in: Guide to deep learning basics. Logical, historical and philosophical perspectives. Cham: Springer. 7--12 (2020; Zbl 1446.03040) Full Text: DOI
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik Omega-regular objectives in model-free reinforcement learning. (English) Zbl 1527.68177 Vojnar, Tomáš (ed.) et al., Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 11427, 395-412 (2019). MSC: 68T05 68Q45 90C40 PDFBibTeX XMLCite \textit{E. M. Hahn} et al., Lect. Notes Comput. Sci. 11427, 395--412 (2019; Zbl 1527.68177) Full Text: DOI arXiv
Bozzelli, Laura; Montanari, Angelo; Peron, Adriano Taming the complexity of timeline-based planning over dense temporal domains. (English) Zbl 1528.68359 Chattopadhyay, Arkadev (ed.) et al., 39th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2019, Bombay, India, December 11–13, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 150, Article 34, 14 p. (2019). MSC: 68T20 68Q17 68Q25 68Q45 PDFBibTeX XMLCite \textit{L. Bozzelli} et al., LIPIcs -- Leibniz Int. Proc. Inform. 150, Article 34, 14 p. (2019; Zbl 1528.68359) Full Text: DOI
Das, Shantanu; Giachoudis, Nikos; Luccio, Flaminia L.; Markou, Euripides Gathering of robots in a grid with mobile faults. (English) Zbl 1444.68017 Catania, Barbara (ed.) et al., SOFSEM 2019: theory and practice of computer science. 45th international conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11376, 164-178 (2019). MSC: 68M14 68M15 68Q45 68R10 68T40 PDFBibTeX XMLCite \textit{S. Das} et al., Lect. Notes Comput. Sci. 11376, 164--178 (2019; Zbl 1444.68017) Full Text: DOI Link
Borgida, Alexander Initial steps towards a family of regular-like plan description logics. (English) Zbl 1443.68170 Lutz, Carsten (ed.) et al., Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11560, 90-109 (2019). MSC: 68T27 68Q45 68T30 PDFBibTeX XMLCite \textit{A. Borgida}, Lect. Notes Comput. Sci. 11560, 90--109 (2019; Zbl 1443.68170) Full Text: DOI
Tang, Ewin A quantum-inspired classical algorithm for recommendation systems. (English) Zbl 1433.68436 Charikar, Moses (ed.) et al., Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC ’19, Phoenix, AZ, USA, June 23–26, 2019. New York, NY: Association for Computing Machinery (ACM). 217-228 (2019). MSC: 68T35 68P05 68Q12 68T05 68W40 PDFBibTeX XMLCite \textit{E. Tang}, in: Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC '19, Phoenix, AZ, USA, June 23--26, 2019. New York, NY: Association for Computing Machinery (ACM). 217--228 (2019; Zbl 1433.68436) Full Text: DOI arXiv
Raggi, Daniel; Stockdill, Aaron; Jamnik, Mateja; Garcia Garcia, Grecia; Sutherland, Holly E. A.; Cheng, Peter C.-H. Inspection and selection of representations. (English) Zbl 1428.68293 Kaliszyk, Cezary (ed.) et al., Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11617, 227-242 (2019). MSC: 68T35 68T30 PDFBibTeX XMLCite \textit{D. Raggi} et al., Lect. Notes Comput. Sci. 11617, 227--242 (2019; Zbl 1428.68293) Full Text: DOI Link
Zakirzyanov, Ilya; Morgado, Antonio; Ignatiev, Alexey; Ulyantsev, Vladimir; Marques-Silva, Joao Efficient symmetry breaking for SAT-based minimum DFA inference. (English) Zbl 1425.68240 Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 159-173 (2019). MSC: 68Q45 68Q32 68T20 PDFBibTeX XMLCite \textit{I. Zakirzyanov} et al., Lect. Notes Comput. Sci. 11417, 159--173 (2019; Zbl 1425.68240) Full Text: DOI
Aladova, E.; Plotkin, T. Syntax versus semantics in knowledge bases. II. (English) Zbl 1528.68366 Plotkin, Eugene (ed.), Groups, algebras and identities. Research workshop of the Israel Science Foundation ‘Groups, algebras and identities’. In honor of Boris Plotkin’s 90th birthday, Bar-Ilan University and The Hebrew University of Jerusalem, Israel, March 20–24, 2016. Providence, RI: American Mathematical Society (AMS); Ramat Gan: Bar-Ilan University. Contemp. Math. 726, 87-98 (2019). MSC: 68T30 08A70 68T35 PDFBibTeX XMLCite \textit{E. Aladova} and \textit{T. Plotkin}, Contemp. Math. 726, 87--98 (2019; Zbl 1528.68366) Full Text: DOI
Gąsior, Jakub; Seredyński, Franciszek; Hoffmann, Rolf Towards self-organizing sensor networks: game-theoretic \(\epsilon\)-learning automata-based approach. (English) Zbl 1515.68083 Mauri, Giancarlo (ed.) et al., Cellular automata. 13th international conference on cellular automata for research and industry, ACRI 2018, Como, Italy, September 17–21, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11115, 125-136 (2018). MSC: 68M18 68Q45 68T42 91A12 91A80 PDFBibTeX XMLCite \textit{J. Gąsior} et al., Lect. Notes Comput. Sci. 11115, 125--136 (2018; Zbl 1515.68083) Full Text: DOI
Cheng, Zheng; Royer, Jean-Claude; Tisi, Massimo Efficiently characterizing the undefined requests of a rule-based system. (English) Zbl 1514.68282 Furia, Carlo A. (ed.) et al., Integrated formal methods. 14th international conference, IFM 2018, Maynooth, Ireland, September 5–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11023, 69-88 (2018). MSC: 68T35 PDFBibTeX XMLCite \textit{Z. Cheng} et al., Lect. Notes Comput. Sci. 11023, 69--88 (2018; Zbl 1514.68282) Full Text: DOI
Ben Ayed, Safa; Elouedi, Zied; Lefevre, Eric DETD: dynamic policy for case base maintenance based on \(\mathrm{E}K\)-\(\mathrm{NNclus}\) algorithm and case types detection. (English) Zbl 1512.68328 Medina, Jesús (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Theory and foundations. 17th international conference, IPMU 2018, Cádiz, Spain, June 11–15, 2018, Proceedings. Part I. Cham: Springer. Commun. Comput. Inf. Sci. 853, 370-382 (2018). MSC: 68T35 68T20 68T37 PDFBibTeX XMLCite \textit{S. Ben Ayed} et al., Commun. Comput. Inf. Sci. 853, 370--382 (2018; Zbl 1512.68328) Full Text: DOI
Brandt, Sebastian; Uitto, Jara; Wattenhofer, Roger A tight lower bound for semi-synchronous collaborative grid exploration. (English) Zbl 1497.68037 Schmid, Ulrich (ed.) et al., 32nd international symposium on distributed computing, DISC 2018, New Orleans, Louisiana, USA, October 15–19, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 121, Article 13, 17 p. (2018). MSC: 68M14 68Q45 68R10 68T42 PDFBibTeX XMLCite \textit{S. Brandt} et al., LIPIcs -- Leibniz Int. Proc. Inform. 121, Article 13, 17 p. (2018; Zbl 1497.68037) Full Text: DOI
Tolonen, Lewis; French, Tim; Reynolds, Mark Population based methods for optimising infinite behaviours of timed automata. (English) Zbl 1487.68217 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 22, 22 p. (2018). MSC: 68T20 68Q45 90C59 PDFBibTeX XMLCite \textit{L. Tolonen} et al., LIPIcs -- Leibniz Int. Proc. Inform. 120, Article 22, 22 p. (2018; Zbl 1487.68217) Full Text: DOI
Gmyr, Robert; Hinnenthal, Kristian; Kostitsyna, Irina; Kuhn, Fabian; Rudolph, Dorian; Scheideler, Christian Shape recognition by a finite automaton robot. (English) Zbl 1512.68140 Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 52, 15 p. (2018). MSC: 68Q45 68U05 68T40 PDFBibTeX XMLCite \textit{R. Gmyr} et al., LIPIcs -- Leibniz Int. Proc. Inform. 117, Article 52, 15 p. (2018; Zbl 1512.68140) Full Text: DOI
Ben-Sasson, Eli; Saig, Eden Brief announcement: Towards an abstract model of user retention dynamics. (English) Zbl 1499.68340 Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 164, 4 p. (2018). MSC: 68T35 68U35 PDFBibTeX XMLCite \textit{E. Ben-Sasson} and \textit{E. Saig}, LIPIcs -- Leibniz Int. Proc. Inform. 107, Article 164, 4 p. (2018; Zbl 1499.68340) Full Text: DOI
Braun, Tanya; Möller, Ralf Counting and conjunctive queries in the lifted junction tree algorithm. (English) Zbl 1462.68135 Croitoru, Madalina (ed.) et al., Graph structures for knowledge representation and reasoning. 5th international workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10775, 54-72 (2018). MSC: 68R10 68T35 68W40 PDFBibTeX XMLCite \textit{T. Braun} and \textit{R. Möller}, Lect. Notes Comput. Sci. 10775, 54--72 (2018; Zbl 1462.68135) Full Text: DOI
Muroya, Koko; Cheung, Steven W. T.; Ghica, Dan R. The geometry of computation-graph abstraction. (English) Zbl 1497.68119 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 749-758 (2018). MSC: 68N30 03B40 03B70 68N15 68Q55 68T05 PDFBibTeX XMLCite \textit{K. Muroya} et al., in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 749--758 (2018; Zbl 1497.68119) Full Text: DOI Link
Pill, Ingo; Wotawa, Franz Fault detection and localization using Modelica and abductive reasoning. (English) Zbl 1455.68227 Sayed-Mouchaweh, Moamar (ed.), Diagnosability, security and safety of hybrid dynamic and cyber-physical systems. Cham: Springer. 45-72 (2018). MSC: 68T99 68N15 93-10 93C30 PDFBibTeX XMLCite \textit{I. Pill} and \textit{F. Wotawa}, in: Diagnosability, security and safety of hybrid dynamic and cyber-physical systems. Cham: Springer. 45--72 (2018; Zbl 1455.68227) Full Text: DOI
Gajane, Pratik; Urvoy, Tanguy; Kaufmann, Emilie Corrupt bandits for preserving local privacy. (English) Zbl 1407.62297 Janoos, Firdaus (ed.) et al., Algorithmic learning theory 2018. Proceedings of the 29th international conference (ALT 2018), Lanzarote, Spain, April 7–9, 2018. Proceedings of Machine Learning Research (PMLR) 83. [s.l.]: Proceedings of Machine Learning Research PMLR. 387-412 (2018). MSC: 62L10 62L15 68T05 68T35 PDFBibTeX XMLCite \textit{P. Gajane} et al., Proc. Mach. Learn. Res. (PMLR) 83, 387--412 (2018; Zbl 1407.62297) Full Text: arXiv Link
Nguena Timo, Omer; Petrenko, Alexandre; Ramesh, S. Checking sequence generation for symbolic input/output FSMs by constraint solving. (English) Zbl 1518.68349 Fischer, Bernd (ed.) et al., Theoretical aspects of computing – ICTAC 2018. 15th international colloquium, Stellenbosch, South Africa, October 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11187, 354-375 (2018). MSC: 68T20 68M15 68Q45 PDFBibTeX XMLCite \textit{O. Nguena Timo} et al., Lect. Notes Comput. Sci. 11187, 354--375 (2018; Zbl 1518.68349) Full Text: DOI
Khong, Minh Thanh; Lecoutre, Christophe; Schaus, Pierre; Deville, Yves Soft-regular with a prefix-size violation measure. (English) Zbl 1508.68337 van Hoeve, Willem-Jan (ed.), Integration of constraint programming, artificial intelligence, and operations research. 15th international conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10848, 333-343 (2018). MSC: 68T20 68Q45 PDFBibTeX XMLCite \textit{M. T. Khong} et al., Lect. Notes Comput. Sci. 10848, 333--343 (2018; Zbl 1508.68337) Full Text: DOI
Atkinson, Timothy; Plump, Detlef; Stepney, Susan Probabilistic graph programs for randomised and evolutionary algorithms. (English) Zbl 1394.68050 Lambers, Leen (ed.) et al., Graph transformation. 11th international conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25–26, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-92990-3/pbk; 978-3-319-92991-0/ebook). Lecture Notes in Computer Science 10887, 63-78 (2018). MSC: 68N15 68N19 68T20 68W20 PDFBibTeX XMLCite \textit{T. Atkinson} et al., Lect. Notes Comput. Sci. 10887, 63--78 (2018; Zbl 1394.68050) Full Text: DOI Link
Silvestre-Ryan, Jordi; Holmes, Ian Consensus decoding of recurrent neural network basecallers. (English) Zbl 1392.92008 Jansson, Jesper (ed.) et al., Algorithms for computational biology. 5th international conference, ALCoB 2018, Hong Kong, China, June 25–26, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-91937-9/pbk; 978-3-319-91938-6/ebook). Lecture Notes in Computer Science 10849. Lecture Notes in Bioinformatics, 128-139 (2018). MSC: 92B20 92C40 68Q45 68T05 PDFBibTeX XMLCite \textit{J. Silvestre-Ryan} and \textit{I. Holmes}, Lect. Notes Comput. Sci. 10849, 128--139 (2018; Zbl 1392.92008) Full Text: DOI
Cheung, Steven; Darvariu, Victor; Ghica, Dan R.; Muroya, Koko; Rowe, Reuben N. S. A functional perspective on machine learning via programmable induction and abduction. (English) Zbl 1507.68241 Gallagher, John P. (ed.) et al., Functional and logic programming. 14th international symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10818, 84-98 (2018). MSC: 68T05 68N15 68N18 PDFBibTeX XMLCite \textit{S. Cheung} et al., Lect. Notes Comput. Sci. 10818, 84--98 (2018; Zbl 1507.68241) Full Text: DOI Link
Smetsers, Rick; Fiterău-Broştean, Paul; Vaandrager, Frits Model learning as a satisfiability modulo theories problem. (English) Zbl 1504.68087 Klein, Shmuel Tomi (ed.) et al., Language and automata theory and applications. 12th international conference, LATA 2018, Ramat Gan, Israel, April 9–11, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10792, 182-194 (2018). MSC: 68Q32 03D05 68Q45 68T20 PDFBibTeX XMLCite \textit{R. Smetsers} et al., Lect. Notes Comput. Sci. 10792, 182--194 (2018; Zbl 1504.68087) Full Text: DOI
Aamer, Heba; Ismail, Haythem O. Concatenation, separation, and other properties of variably polyadic relations. (English) Zbl 1508.03080 Ferrarotti, Flavio (ed.) et al., Foundations of information and knowledge systems. 10th international symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10833, 17-33 (2018). MSC: 03E20 03B65 68T27 PDFBibTeX XMLCite \textit{H. Aamer} and \textit{H. O. Ismail}, Lect. Notes Comput. Sci. 10833, 17--33 (2018; Zbl 1508.03080) Full Text: DOI
Petersen, Niklas Christoffer; Villadsen, Jørgen Logical entity level sentiment analysis. (English) Zbl 1497.68503 Foret, Annie (ed.) et al., Formal grammar. 22nd international conference, FG 2017, Toulouse, France, July 22–23, 2017. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 10686, 54-71 (2018). MSC: 68T50 03B65 68T05 PDFBibTeX XMLCite \textit{N. C. Petersen} and \textit{J. Villadsen}, Lect. Notes Comput. Sci. 10686, 54--71 (2018; Zbl 1497.68503) Full Text: DOI Link
Boubekki, Ahcène; Brefeld, Ulf; Lucchesi, Cláudio Leonardo; Stille, Wolfgang Propagating maximum capacities for recommendation. (English) Zbl 1498.68310 Kern-Isberner, Gabriele (ed.) et al., KI 2017: advances in artificial intelligence. 40th annual German conference on AI, Dortmund, Germany, September 25–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10505, 72-84 (2017). MSC: 68T35 68R10 68W27 PDFBibTeX XMLCite \textit{A. Boubekki} et al., Lect. Notes Comput. Sci. 10505, 72--84 (2017; Zbl 1498.68310) Full Text: DOI
Dan, Andrei Marian; Sridharan, Manu; Chandra, Satish; Jeannin, Jean-Baptiste; Vechev, Martin Finding fix locations for CFL-reachability analyses via minimum cuts. (English) Zbl 1494.68054 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 521-541 (2017). MSC: 68N30 68Q45 68T20 PDFBibTeX XMLCite \textit{A. M. Dan} et al., Lect. Notes Comput. Sci. 10427, 521--541 (2017; Zbl 1494.68054) Full Text: DOI
De Angelis, Francesco Luca; Di Marzo Serugendo, Giovanna; Dunin-Kęplicz, Barbara; Szałas, Andrzej Heterogeneous approximate reasoning with graded truth values. (English) Zbl 1489.68281 Polkowski, Lech (ed.) et al., Rough sets. International joint conference, IJCRS 2017, Olsztyn, Poland, July 3–7, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10313, 61-82 (2017). MSC: 68T37 68T27 PDFBibTeX XMLCite \textit{F. L. De Angelis} et al., Lect. Notes Comput. Sci. 10313, 61--82 (2017; Zbl 1489.68281) Full Text: DOI
Lev, Omer; Tennenholtz, Moshe Group recommendations: axioms, impossibilities, and random walks. (English) Zbl 1483.68397 Lang, Jérôme (ed.), Proceedings of the sixteenth conference on theoretical aspects of rationality and knowledge, TARK 2017, Liverpool, UK, July 24–26, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 251, 382-397 (2017). MSC: 68T35 91B14 91D30 PDFBibTeX XMLCite \textit{O. Lev} and \textit{M. Tennenholtz}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 251, 382--397 (2017; Zbl 1483.68397) Full Text: arXiv Link
Dietenbeck, Thomas; Torkhani, Fakhri; Othmani, Ahlem; Attene, Marco; Favreau, Jean-Marie Multi-layer ontologies for integrated 3D shape segmentation and annotation. (English) Zbl 1477.68302 Guillet, Fabrice (ed.) et al., Advances in knowledge discovery and management. Volume 6. Selected papers based on the presentations at the “Extraction et gestion des connaissances” conferences, EGC 2014 and EGC 2015, Rennes, France in January 2014 and Luxembourg in January 2015. Cham: Springer. Stud. Comput. Intell. 665, 181-206 (2017). MSC: 68T35 68T30 68U05 68U10 PDFBibTeX XMLCite \textit{T. Dietenbeck} et al., Stud. Comput. Intell. 665, 181--206 (2017; Zbl 1477.68302) Full Text: DOI HAL
Białek, Łukasz; Dunin-Kęplicz, Barbara; Szałas, Andrzej Rule-based reasoning with belief structures. (English) Zbl 1461.68220 Kryszkiewicz, Marzena (ed.) et al., Foundations of intelligent systems. 23rd international symposium, ISMIS 2017, Warsaw, Poland, June 26–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10352, 229-239 (2017). MSC: 68T27 PDFBibTeX XMLCite \textit{Ł. Białek} et al., Lect. Notes Comput. Sci. 10352, 229--239 (2017; Zbl 1461.68220) Full Text: DOI
Bertrand, Nathalie; Dewaskar, Miheer; Genest, Blaise; Gimbert, Hugo Controlling a population. (English) Zbl 1437.68175 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 12, 16 p. (2017). MSC: 68T42 68Q17 68Q45 68Q60 68Q85 91A80 93A16 PDFBibTeX XMLCite \textit{N. Bertrand} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 12, 16 p. (2017; Zbl 1437.68175) Full Text: DOI arXiv
Ghica, Dan R.; Alyahya, Khulood On the learnability of programming language semantics. (English) Zbl 1433.68077 Bartoletti, Massimo (ed.) et al., Proceedings of the 10th interaction and concurrency experience workshop, ICE’17, Neuchâtel, Switzerland, June 21–22, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 261, 57-75 (2017). MSC: 68N15 68Q55 68T05 PDFBibTeX XMLCite \textit{D. R. Ghica} and \textit{K. Alyahya}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 261, 57--75 (2017; Zbl 1433.68077) Full Text: arXiv Link