×

Found 2,139 Documents (Results 1–100)

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI arXiv

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: arXiv Link

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI Link

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
MSC:  68T27 68T30 68T35
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI Link

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
Full Text: DOI Link

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI Link

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: arXiv Link

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI Link

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI Link

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI Link

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: arXiv Link

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).
PDFBibTeX XMLCite
Full Text: DOI HAL

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
Full Text: arXiv Link

Filter Results by …

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software