Search Results for - Narrowed by: 2018 - Mathematical Logic and Formal Languages.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dPUBDATE$002509Publication$002bDate$0025092018$0025092018$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026ps$003d300?2024-06-03T13:28:51ZThe Semantic Web: ESWC 2018 Satellite Events ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:20851762024-06-03T13:28:51Z2024-06-03T13:28:51Zby Gangemi, Aldo. editor. (orcid)0000-0001-5568-2684<br/><a href="https://doi.org/10.1007/978-3-319-98192-5">https://doi.org/10.1007/978-3-319-98192-5</a><br/>Format: Electronic Resources<br/>Agents and Artificial Intelligence 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20851192024-06-03T13:28:51Z2024-06-03T13:28:51Zby van den Herik, Jaap. editor.<br/><a href="https://doi.org/10.1007/978-3-319-93581-2">https://doi.org/10.1007/978-3-319-93581-2</a><br/>Format: Electronic Resources<br/>Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:20851232024-06-03T13:28:51Z2024-06-03T13:28:51Zby Chockler, Hana. editor. (orcid)0000-0003-1219-0713<br/><a href="https://doi.org/10.1007/978-3-319-96145-3">https://doi.org/10.1007/978-3-319-96145-3</a><br/>Format: Electronic Resources<br/>Formal Grammar 2018 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20850262024-06-03T13:28:51Z2024-06-03T13:28:51Zby Foret, Annie. editor.<br/><a href="https://doi.org/10.1007/978-3-662-57784-4">https://doi.org/10.1007/978-3-662-57784-4</a><br/>Format: Electronic Resources<br/>Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20840792024-06-03T13:28:51Z2024-06-03T13:28:51Zby Li, Lian. editor.<br/><a href="https://doi.org/10.1007/978-981-13-2712-4">https://doi.org/10.1007/978-981-13-2712-4</a><br/>Format: Electronic Resources<br/>Product Lifecycle Management to Support Industry 4.0 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20843532024-06-03T13:28:51Z2024-06-03T13:28:51Zby Chiabert, Paolo. editor.<br/><a href="https://doi.org/10.1007/978-3-030-01614-2">https://doi.org/10.1007/978-3-030-01614-2</a><br/>Format: Electronic Resources<br/>Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20842902024-06-03T13:28:51Z2024-06-03T13:28:51Zby Pelillo, Marcello. editor. (orcid)0000-0001-8992-9243<br/><a href="https://doi.org/10.1007/978-3-319-78658-2">https://doi.org/10.1007/978-3-319-78658-2</a><br/>Format: Electronic Resources<br/>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 Ient://SD_ILS/0/SD_ILS:20842912024-06-03T13:28:51Z2024-06-03T13:28:51Zby Medina, Jesús. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91473-2">https://doi.org/10.1007/978-3-319-91473-2</a><br/>Format: Electronic Resources<br/>Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20851282024-06-03T13:28:51Z2024-06-03T13:28:51Zby Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829<br/><a href="https://doi.org/10.1007/978-3-319-94460-9">https://doi.org/10.1007/978-3-319-94460-9</a><br/>Format: Electronic Resources<br/>Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20851302024-06-03T13:28:51Z2024-06-03T13:28:51Zby Chockler, Hana. editor. (orcid)0000-0003-1219-0713<br/><a href="https://doi.org/10.1007/978-3-319-96142-2">https://doi.org/10.1007/978-3-319-96142-2</a><br/>Format: Electronic Resources<br/>Artificial Intelligence and Symbolic Computation 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851422024-06-03T13:28:51Z2024-06-03T13:28:51Zby Fleuriot, Jacques. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99957-9">https://doi.org/10.1007/978-3-319-99957-9</a><br/>Format: Electronic Resources<br/>AI*IA 2018 – Advances in Artificial Intelligence XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20–23, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855392024-06-03T13:28:51Z2024-06-03T13:28:51Zby Ghidini, Chiara. editor. (orcid)0000-0003-1563-4965<br/><a href="https://doi.org/10.1007/978-3-030-03840-3">https://doi.org/10.1007/978-3-030-03840-3</a><br/>Format: Electronic Resources<br/>Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851582024-06-03T13:28:51Z2024-06-03T13:28:51Zby Lahiri, Shuvendu K. editor.<br/><a href="https://doi.org/10.1007/978-3-030-01090-4">https://doi.org/10.1007/978-3-030-01090-4</a><br/>Format: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852702024-06-03T13:28:51Z2024-06-03T13:28:51Zby Jansen, David N. editor. (orcid)0000-0002-6636-3301<br/><a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format: Electronic Resources<br/>Chinese Lexical Semantics 18th Workshop, CLSW 2017, Leshan, China, May 18–20, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20856392024-06-03T13:28:51Z2024-06-03T13:28:51Zby Wu, Yunfang. editor.<br/><a href="https://doi.org/10.1007/978-3-319-73573-3">https://doi.org/10.1007/978-3-319-73573-3</a><br/>Format: Electronic Resources<br/>Graph Structures for Knowledge Representation and Reasoning 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20856422024-06-03T13:28:51Z2024-06-03T13:28:51Zby Croitoru, Madalina. editor.<br/><a href="https://doi.org/10.1007/978-3-319-78102-0">https://doi.org/10.1007/978-3-319-78102-0</a><br/>Format: Electronic Resources<br/>Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20859542024-06-03T13:28:51Z2024-06-03T13:28:51Zby Moss, Lawrence S. editor.<br/><a href="https://doi.org/10.1007/978-3-662-57669-4">https://doi.org/10.1007/978-3-662-57669-4</a><br/>Format: Electronic Resources<br/>It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbabent://SD_ILS/0/SD_ILS:20857712024-06-03T13:28:51Z2024-06-03T13:28:51Zby de Boer, Frank. editor.<br/><a href="https://doi.org/10.1007/978-3-319-90089-6">https://doi.org/10.1007/978-3-319-90089-6</a><br/>Format: Electronic Resources<br/>Diagrammatic Representation and Inference 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20857732024-06-03T13:28:51Z2024-06-03T13:28:51Zby Chapman, Peter. editor. (orcid)0000-0002-5524-5780<br/><a href="https://doi.org/10.1007/978-3-319-91376-6">https://doi.org/10.1007/978-3-319-91376-6</a><br/>Format: Electronic Resources<br/>Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20842612024-06-03T13:28:51Z2024-06-03T13:28:51Zby Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001<br/><a href="https://doi.org/10.1007/978-3-030-00617-4">https://doi.org/10.1007/978-3-030-00617-4</a><br/>Format: Electronic Resources<br/>Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:20842752024-06-03T13:28:51Z2024-06-03T13:28:51Zby Medina, Jesús. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91479-4">https://doi.org/10.1007/978-3-319-91479-4</a><br/>Format: Electronic Resources<br/>Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthdayent://SD_ILS/0/SD_ILS:20843022024-06-03T13:28:51Z2024-06-03T13:28:51Zby Müller, Peter. editor.<br/><a href="https://doi.org/10.1007/978-3-319-98047-8">https://doi.org/10.1007/978-3-319-98047-8</a><br/>Format: Electronic Resources<br/>Data Management Technologies and Applications 6th International Conference, DATA 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20848812024-06-03T13:28:51Z2024-06-03T13:28:51Zby Filipe, Joaquim. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94809-6">https://doi.org/10.1007/978-3-319-94809-6</a><br/>Format: Electronic Resources<br/>Current Trends in Web Engineering ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20854552024-06-03T13:28:51Z2024-06-03T13:28:51Zby Garrigós, Irene. editor.<br/><a href="https://doi.org/10.1007/978-3-319-74433-9">https://doi.org/10.1007/978-3-319-74433-9</a><br/>Format: Electronic Resources<br/>Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851792024-06-03T13:28:51Z2024-06-03T13:28:51Zby Desharnais, Jules. editor. (orcid)0000-0002-4780-2698<br/><a href="https://doi.org/10.1007/978-3-030-02149-8">https://doi.org/10.1007/978-3-030-02149-8</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20860292024-06-03T13:28:51Z2024-06-03T13:28:51Zby Lachiche, Nicolas. editor.<br/><a href="https://doi.org/10.1007/978-3-319-78090-0">https://doi.org/10.1007/978-3-319-78090-0</a><br/>Format: Electronic Resources<br/>Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networksent://SD_ILS/0/SD_ILS:20841552024-06-03T13:28:51Z2024-06-03T13:28:51Zby Usman, Muhammad. author.<br/><a href="https://doi.org/10.1007/978-981-10-7467-7">https://doi.org/10.1007/978-981-10-7467-7</a><br/>Format: Electronic Resources<br/>An Introduction to the Technique of Formative Processes in Set Theoryent://SD_ILS/0/SD_ILS:20847622024-06-03T13:28:51Z2024-06-03T13:28:51Zby Cantone, Domenico. author.<br/><a href="https://doi.org/10.1007/978-3-319-74778-1">https://doi.org/10.1007/978-3-319-74778-1</a><br/>Format: Electronic Resources<br/>Modelling and Verification of Secure Examsent://SD_ILS/0/SD_ILS:20846812024-06-03T13:28:51Z2024-06-03T13:28:51Zby Giustolisi, Rosario. author.<br/><a href="https://doi.org/10.1007/978-3-319-67107-9">https://doi.org/10.1007/978-3-319-67107-9</a><br/>Format: Electronic Resources<br/>Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20850432024-06-03T13:28:51Z2024-06-03T13:28:51Zby Hoshi, Mizuho. editor.<br/><a href="https://doi.org/10.1007/978-3-319-98654-8">https://doi.org/10.1007/978-3-319-98654-8</a><br/>Format: Electronic Resources<br/>Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20850462024-06-03T13:28:51Z2024-06-03T13:28:51Zby Artemov, Sergei. editor.<br/><a href="https://doi.org/10.1007/978-3-319-72056-2">https://doi.org/10.1007/978-3-319-72056-2</a><br/>Format: Electronic Resources<br/>Advances in Computational Intelligence 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20855332024-06-03T13:28:51Z2024-06-03T13:28:51Zby Castro, Félix. editor.<br/><a href="https://doi.org/10.1007/978-3-030-02840-4">https://doi.org/10.1007/978-3-030-02840-4</a><br/>Format: Electronic Resources<br/>Advances in Soft Computing 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:20855342024-06-03T13:28:51Z2024-06-03T13:28:51Zby Castro, Félix. editor.<br/><a href="https://doi.org/10.1007/978-3-030-02837-4">https://doi.org/10.1007/978-3-030-02837-4</a><br/>Format: Electronic Resources<br/>Big Data Analytics 6th International Conference, BDA 2018, Warangal, India, December 18–21, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855442024-06-03T13:28:51Z2024-06-03T13:28:51Zby Mondal, Anirban. editor.<br/><a href="https://doi.org/10.1007/978-3-030-04780-1">https://doi.org/10.1007/978-3-030-04780-1</a><br/>Format: Electronic Resources<br/>Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853562024-06-03T13:28:51Z2024-06-03T13:28:51Zby Benzmüller, Christoph. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99906-7">https://doi.org/10.1007/978-3-319-99906-7</a><br/>Format: Electronic Resources<br/>The Semantic Web – ISWC 2018 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20853742024-06-03T13:28:51Z2024-06-03T13:28:51Zby Vrandečić, Denny. editor. (orcid)0000-0002-9593-2294<br/><a href="https://doi.org/10.1007/978-3-030-00668-6">https://doi.org/10.1007/978-3-030-00668-6</a><br/>Format: Electronic Resources<br/>Lifelong Technology-Enhanced Learning 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, Leeds, UK, September 3-5, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853752024-06-03T13:28:51Z2024-06-03T13:28:51Zby Pammer-Schindler, Viktoria. editor. (orcid)0000-0001-7061-8947<br/><a href="https://doi.org/10.1007/978-3-319-98572-5">https://doi.org/10.1007/978-3-319-98572-5</a><br/>Format: Electronic Resources<br/>Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Sizeent://SD_ILS/0/SD_ILS:20842322024-06-03T13:28:51Z2024-06-03T13:28:51Zby Schlechta, Karl. author.<br/><a href="https://doi.org/10.1007/978-3-319-89653-3">https://doi.org/10.1007/978-3-319-89653-3</a><br/>Format: Electronic Resources<br/>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 IIent://SD_ILS/0/SD_ILS:20843872024-06-03T13:28:51Z2024-06-03T13:28:51Zby Medina, Jesús. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91476-3">https://doi.org/10.1007/978-3-319-91476-3</a><br/>Format: Electronic Resources<br/>Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20850302024-06-03T13:28:51Z2024-06-03T13:28:51Zby Cox, Michael T. editor.<br/><a href="https://doi.org/10.1007/978-3-030-01081-2">https://doi.org/10.1007/978-3-030-01081-2</a><br/>Format: Electronic Resources<br/>Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20850472024-06-03T13:28:51Z2024-06-03T13:28:51Zby Butler, Michael. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91271-4">https://doi.org/10.1007/978-3-319-91271-4</a><br/>Format: Electronic Resources<br/>Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:20850572024-06-03T13:28:51Z2024-06-03T13:28:51Zby Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678<br/><a href="https://doi.org/10.1007/978-3-030-00389-0">https://doi.org/10.1007/978-3-030-00389-0</a><br/>Format: Electronic Resources<br/>Conceptual Modeling 37th International Conference, ER 2018, Xi'an, China, October 22–25, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853662024-06-03T13:28:51Z2024-06-03T13:28:51Zby Trujillo, Juan C. editor. (orcid)0000-0003-0139-6724<br/><a href="https://doi.org/10.1007/978-3-030-00847-5">https://doi.org/10.1007/978-3-030-00847-5</a><br/>Format: Electronic Resources<br/>Engineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20853552024-06-03T13:28:51Z2024-06-03T13:28:51Zby El Fallah-Seghrouchni, Amal. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91899-0">https://doi.org/10.1007/978-3-319-91899-0</a><br/>Format: Electronic Resources<br/>Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853612024-06-03T13:28:51Z2024-06-03T13:28:51Zby Ciucci, Davide. editor. (orcid)0000-0002-8083-7809<br/><a href="https://doi.org/10.1007/978-3-030-00461-3">https://doi.org/10.1007/978-3-030-00461-3</a><br/>Format: Electronic Resources<br/>Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854212024-06-03T13:28:51Z2024-06-03T13:28:51Zby Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175<br/><a href="https://doi.org/10.1007/978-3-030-02146-7">https://doi.org/10.1007/978-3-030-02146-7</a><br/>Format: Electronic Resources<br/>Nonsymmetric Operads in Combinatoricsent://SD_ILS/0/SD_ILS:20840532024-06-03T13:28:51Z2024-06-03T13:28:51Zby Giraudo, Samuele. author.<br/><a href="https://doi.org/10.1007/978-3-030-02074-3">https://doi.org/10.1007/978-3-030-02074-3</a><br/>Format: Electronic Resources<br/>Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20858632024-06-03T13:28:51Z2024-06-03T13:28:51Zby Baetens, Jan M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-92675-9">https://doi.org/10.1007/978-3-319-92675-9</a><br/>Format: Electronic Resources<br/>New Frontiers in Artificial Intelligence JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20860412024-06-03T13:28:51Z2024-06-03T13:28:51Zby Arai, Sachiyo. editor.<br/><a href="https://doi.org/10.1007/978-3-319-93794-6">https://doi.org/10.1007/978-3-319-93794-6</a><br/>Format: Electronic Resources<br/>Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855702024-06-03T13:28:51Z2024-06-03T13:28:51Zby Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X<br/><a href="https://doi.org/10.1007/978-3-319-92402-1">https://doi.org/10.1007/978-3-319-92402-1</a><br/>Format: Electronic Resources<br/>Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855772024-06-03T13:28:51Z2024-06-03T13:28:51Zby Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834<br/><a href="https://doi.org/10.1007/978-3-319-73305-0">https://doi.org/10.1007/978-3-319-73305-0</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855782024-06-03T13:28:51Z2024-06-03T13:28:51Zby Dillig, Isil. editor.<br/><a href="https://doi.org/10.1007/978-3-319-73721-8">https://doi.org/10.1007/978-3-319-73721-8</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855192024-06-03T13:28:51Z2024-06-03T13:28:51Zby Fischer, Bernd. editor. (orcid)0000-0002-1815-218X<br/><a href="https://doi.org/10.1007/978-3-030-02508-3">https://doi.org/10.1007/978-3-030-02508-3</a><br/>Format: Electronic Resources<br/>Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20861132024-06-03T13:28:51Z2024-06-03T13:28:51Zby Avigad, Jeremy. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94821-8">https://doi.org/10.1007/978-3-319-94821-8</a><br/>Format: Electronic Resources<br/>AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20851522024-06-03T13:28:51Z2024-06-03T13:28:51Zby Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849<br/><a href="https://doi.org/10.1007/978-3-030-00178-0">https://doi.org/10.1007/978-3-030-00178-0</a><br/>Format: Electronic Resources<br/>Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852682024-06-03T13:28:51Z2024-06-03T13:28:51Zby Hooker, John. editor. (orcid)0000-0003-3169-1871<br/><a href="https://doi.org/10.1007/978-3-319-98334-9">https://doi.org/10.1007/978-3-319-98334-9</a><br/>Format: Electronic Resources<br/>Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851642024-06-03T13:28:51Z2024-06-03T13:28:51Zby Abdelwahed, El Hassan. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00856-7">https://doi.org/10.1007/978-3-030-00856-7</a><br/>Format: Electronic Resources<br/>Modeling Companion for Software Practitionersent://SD_ILS/0/SD_ILS:20850012024-06-03T13:28:51Z2024-06-03T13:28:51Zby Börger, Egon. author.<br/><a href="https://doi.org/10.1007/978-3-662-56641-1">https://doi.org/10.1007/978-3-662-56641-1</a><br/>Format: Electronic Resources<br/>Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854622024-06-03T13:28:51Z2024-06-03T13:28:51Zby Feng, Xinyu. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99933-3">https://doi.org/10.1007/978-3-319-99933-3</a><br/>Format: Electronic Resources<br/>The Semantic Web 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3–7, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851162024-06-03T13:28:51Z2024-06-03T13:28:51Zby Gangemi, Aldo. editor.<br/><a href="https://doi.org/10.1007/978-3-319-93417-4">https://doi.org/10.1007/978-3-319-93417-4</a><br/>Format: Electronic Resources<br/>Advanced Computing Strategies for Engineering 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20851172024-06-03T13:28:51Z2024-06-03T13:28:51Zby Smith, Ian F. C. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91638-5">https://doi.org/10.1007/978-3-319-91638-5</a><br/>Format: Electronic Resources<br/>Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20858492024-06-03T13:28:51Z2024-06-03T13:28:51Zby Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303<br/><a href="https://doi.org/10.1007/978-3-319-77313-1">https://doi.org/10.1007/978-3-319-77313-1</a><br/>Format: Electronic Resources<br/>On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20854922024-06-03T13:28:51Z2024-06-03T13:28:51Zby Panetto, Hervé. editor.<br/><a href="https://doi.org/10.1007/978-3-030-02671-4">https://doi.org/10.1007/978-3-030-02671-4</a><br/>Format: Electronic Resources<br/>Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852092024-06-03T13:28:51Z2024-06-03T13:28:51Zby Massoni, Tiago. editor. (orcid)0000-0002-9423-7556<br/><a href="https://doi.org/10.1007/978-3-030-03044-5">https://doi.org/10.1007/978-3-030-03044-5</a><br/>Format: Electronic Resources<br/>Semantic Technology 8th Joint International Conference, JIST 2018, Awaji, Japan, November 26–28, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852102024-06-03T13:28:51Z2024-06-03T13:28:51Zby Ichise, Ryutaro. editor.<br/><a href="https://doi.org/10.1007/978-3-030-04284-4">https://doi.org/10.1007/978-3-030-04284-4</a><br/>Format: Electronic Resources<br/>Human Language Technology. Challenges for Computer Science and Linguistics 7th Language and Technology Conference, LTC 2015, Poznań, Poland, November 27-29, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20858702024-06-03T13:28:51Z2024-06-03T13:28:51Zby Vetulani, Zygmunt. editor.<br/><a href="https://doi.org/10.1007/978-3-319-93782-3">https://doi.org/10.1007/978-3-319-93782-3</a><br/>Format: Electronic Resources<br/>Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20858712024-06-03T13:28:51Z2024-06-03T13:28:51Zby Gallardo, María del Mar. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94111-0">https://doi.org/10.1007/978-3-319-94111-0</a><br/>Format: Electronic Resources<br/>Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20858802024-06-03T13:28:51Z2024-06-03T13:28:51Zby Lambers, Leen. editor. (orcid)0000-0001-6937-5167<br/><a href="https://doi.org/10.1007/978-3-319-92991-0">https://doi.org/10.1007/978-3-319-92991-0</a><br/>Format: Electronic Resources<br/>Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855832024-06-03T13:28:51Z2024-06-03T13:28:51Zby McIver, Annabelle. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99154-2">https://doi.org/10.1007/978-3-319-99154-2</a><br/>Format: Electronic Resources<br/>Understanding and Interpreting Machine Learning in Medical Image Computing Applications First International Workshops, MLCN 2018, DLF 2018, and iMIMIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855212024-06-03T13:28:51Z2024-06-03T13:28:51Zby Stoyanov, Danail. editor.<br/><a href="https://doi.org/10.1007/978-3-030-02628-8">https://doi.org/10.1007/978-3-030-02628-8</a><br/>Format: Electronic Resources<br/>Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853572024-06-03T13:28:51Z2024-06-03T13:28:51Zby Rusu, Vlad. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99840-4">https://doi.org/10.1007/978-3-319-99840-4</a><br/>Format: Electronic Resources<br/>Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853362024-06-03T13:28:51Z2024-06-03T13:28:51Zby Furia, Carlo A. editor.<br/><a href="https://doi.org/10.1007/978-3-319-98938-9">https://doi.org/10.1007/978-3-319-98938-9</a><br/>Format: Electronic Resources<br/>Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Propertiesent://SD_ILS/0/SD_ILS:20842312024-06-03T13:28:51Z2024-06-03T13:28:51Zby Schlechta, Karl. author.<br/><a href="https://doi.org/10.1007/978-3-319-89650-2">https://doi.org/10.1007/978-3-319-89650-2</a><br/>Format: Electronic Resources<br/>Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851802024-06-03T13:28:51Z2024-06-03T13:28:51Zby Sun, Jing. editor.<br/><a href="https://doi.org/10.1007/978-3-030-02450-5">https://doi.org/10.1007/978-3-030-02450-5</a><br/>Format: Electronic Resources<br/>Digital Libraries for Open Knowledge 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, Porto, Portugal, September 10–13, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854752024-06-03T13:28:51Z2024-06-03T13:28:51Zby Méndez, Eva. editor. (orcid)0000-0002-5337-4722<br/><a href="https://doi.org/10.1007/978-3-030-00066-0">https://doi.org/10.1007/978-3-030-00066-0</a><br/>Format: Electronic Resources<br/>Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854772024-06-03T13:28:51Z2024-06-03T13:28:51Zby Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481<br/><a href="https://doi.org/10.1007/978-3-030-00359-3">https://doi.org/10.1007/978-3-030-00359-3</a><br/>Format: Electronic Resources<br/>Foundations of Information and Knowledge Systems 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20856642024-06-03T13:28:51Z2024-06-03T13:28:51Zby Ferrarotti, Flavio. editor.<br/><a href="https://doi.org/10.1007/978-3-319-90050-6">https://doi.org/10.1007/978-3-319-90050-6</a><br/>Format: Electronic Resources<br/>Web and Wireless Geographical Information Systems 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21–22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20856842024-06-03T13:28:51Z2024-06-03T13:28:51Zby R. Luaces, Miguel. editor.<br/><a href="https://doi.org/10.1007/978-3-319-90053-7">https://doi.org/10.1007/978-3-319-90053-7</a><br/>Format: Electronic Resources<br/>The Semantic Web – ISWC 2018 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:20855112024-06-03T13:28:51Z2024-06-03T13:28:51Zby Vrandečić, Denny. editor. (orcid)0000-0002-9593-2294<br/><a href="https://doi.org/10.1007/978-3-030-00671-6">https://doi.org/10.1007/978-3-030-00671-6</a><br/>Format: Electronic Resources<br/>Formal Grammar 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20855862024-06-03T13:28:51Z2024-06-03T13:28:51Zby Foret, Annie. editor.<br/><a href="https://doi.org/10.1007/978-3-662-56343-4">https://doi.org/10.1007/978-3-662-56343-4</a><br/>Format: Electronic Resources<br/>Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20859132024-06-03T13:28:51Z2024-06-03T13:28:51Zby Dubois, Catherine. editor.<br/><a href="https://doi.org/10.1007/978-3-319-92994-1">https://doi.org/10.1007/978-3-319-92994-1</a><br/>Format: Electronic Resources<br/>Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedingsent://SD_ILS/0/SD_ILS:20861022024-06-03T13:28:51Z2024-06-03T13:28:51Zby Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017<br/><a href="https://doi.org/10.1007/978-3-319-73579-5">https://doi.org/10.1007/978-3-319-73579-5</a><br/>Format: Electronic Resources<br/>Rough Sets International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 20-24, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853452024-06-03T13:28:51Z2024-06-03T13:28:51Zby Nguyen, Hung Son. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99368-3">https://doi.org/10.1007/978-3-319-99368-3</a><br/>Format: Electronic Resources<br/>Logical Foundations of Cyber-Physical Systemsent://SD_ILS/0/SD_ILS:20842152024-06-03T13:28:51Z2024-06-03T13:28:51Zby Platzer, André. author.<br/><a href="https://doi.org/10.1007/978-3-319-63588-0">https://doi.org/10.1007/978-3-319-63588-0</a><br/>Format: Electronic Resources<br/>Modeling Decisions for Artificial Intelligence 15th International Conference, MDAI 2018, Mallorca, Spain, October 15–18, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20850592024-06-03T13:28:51Z2024-06-03T13:28:51Zby Torra, Vicenç. editor. (orcid)0000-0002-0368-8037<br/><a href="https://doi.org/10.1007/978-3-030-00202-2">https://doi.org/10.1007/978-3-030-00202-2</a><br/>Format: Electronic Resources<br/>Database and Expert Systems Applications 29th International Conference, DEXA 2018, Regensburg, Germany, September 3–6, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20851382024-06-03T13:28:51Z2024-06-03T13:28:51Zby Hartmann, Sven. editor.<br/><a href="https://doi.org/10.1007/978-3-319-98812-2">https://doi.org/10.1007/978-3-319-98812-2</a><br/>Format: Electronic Resources<br/>Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851412024-06-03T13:28:51Z2024-06-03T13:28:51Zby Češka, Milan. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99429-1">https://doi.org/10.1007/978-3-319-99429-1</a><br/>Format: Electronic Resources<br/>Computational Processing of the Portuguese Language 13th International Conference, PROPOR 2018, Canela, Brazil, September 24–26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851432024-06-03T13:28:51Z2024-06-03T13:28:51Zby Villavicencio, Aline. editor. (orcid)0000-0002-3731-9168<br/><a href="https://doi.org/10.1007/978-3-319-99722-3">https://doi.org/10.1007/978-3-319-99722-3</a><br/>Format: Electronic Resources<br/>Multi-Agent Systems and Agreement Technologies 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20850702024-06-03T13:28:51Z2024-06-03T13:28:51Zby Belardinelli, Francesco. editor. (orcid)0000-0002-7768-1794<br/><a href="https://doi.org/10.1007/978-3-030-01713-2">https://doi.org/10.1007/978-3-030-01713-2</a><br/>Format: Electronic Resources<br/>Reasoning Web. Learning, Uncertainty, Streaming, and Scalability 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22–26, 2018, Tutorial Lecturesent://SD_ILS/0/SD_ILS:20851472024-06-03T13:28:51Z2024-06-03T13:28:51Zby d’Amato, Claudia. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00338-8">https://doi.org/10.1007/978-3-030-00338-8</a><br/>Format: Electronic Resources<br/>Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20850742024-06-03T13:28:51Z2024-06-03T13:28:51Zby Colombo, Christian. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03769-7">https://doi.org/10.1007/978-3-030-03769-7</a><br/>Format: Electronic Resources<br/>Data Analytics and Management in Data Intensive Domains XIX International Conference, DAMDID/RCDL 2017, Moscow, Russia, October 10–13, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20849882024-06-03T13:28:51Z2024-06-03T13:28:51Zby Kalinichenko, Leonid. editor.<br/><a href="https://doi.org/10.1007/978-3-319-96553-6">https://doi.org/10.1007/978-3-319-96553-6</a><br/>Format: Electronic Resources<br/>Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852962024-06-03T13:28:51Z2024-06-03T13:28:51Zby Câmpeanu, Cezar. editor. (orcid)0000-0002-9777-3012<br/><a href="https://doi.org/10.1007/978-3-319-94812-6">https://doi.org/10.1007/978-3-319-94812-6</a><br/>Format: Electronic Resources<br/>Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853062024-06-03T13:28:51Z2024-06-03T13:28:51Zby Rabe, Florian. editor.<br/><a href="https://doi.org/10.1007/978-3-319-96812-4">https://doi.org/10.1007/978-3-319-96812-4</a><br/>Format: Electronic Resources<br/>Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20861332024-06-03T13:28:51Z2024-06-03T13:28:51Zby Galmiche, Didier. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94205-6">https://doi.org/10.1007/978-3-319-94205-6</a><br/>Format: Electronic Resources<br/>