Search Results for - Narrowed by: Electronic Resources - Artificial Intelligence (incl. Robotics). - Mathematical Logic and Formal Languages.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dFORMAT$002509Format$002509ER$002509Electronic$002bResources$0026qf$003dSUBJECT$002509Konu$002509Artificial$002bIntelligence$002b$002528incl.$002bRobotics$002529.$002509Artificial$002bIntelligence$002b$002528incl.$002bRobotics$002529.$0026qf$003dSUBJECT$002509Konu$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026ps$003d300?2024-09-23T16:35:50ZFunctional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:173862024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Kiselyov, Oleg. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29604-3">http://dx.doi.org/10.1007/978-3-319-29604-3</a><br/>Format: Electronic Resources<br/>Semantic Technology 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:176592024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Qi, Guilin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-31676-5">http://dx.doi.org/10.1007/978-3-319-31676-5</a><br/>Format: Electronic Resources<br/>Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:175492024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Ábrahám, Erika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30734-3">http://dx.doi.org/10.1007/978-3-319-30734-3</a><br/>Format: Electronic Resources<br/>Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedingsent://SD_ILS/0/SD_ILS:180682024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Olivetti, Nicola. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40229-1">http://dx.doi.org/10.1007/978-3-319-40229-1</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181672024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar De Nicola, Rocco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41591-8">http://dx.doi.org/10.1007/978-3-319-41591-8</a><br/>Format: Electronic Resources<br/>Combinatorial Algorithms 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182832024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Mäkinen, Veli. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44543-4">http://dx.doi.org/10.1007/978-3-319-44543-4</a><br/>Format: Electronic Resources<br/>Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183072024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Rueher, Michel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44953-1">http://dx.doi.org/10.1007/978-3-319-44953-1</a><br/>Format: Electronic Resources<br/>Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:178572024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Rovatsos, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33509-4">http://dx.doi.org/10.1007/978-3-319-33509-4</a><br/>Format: Electronic Resources<br/>Computational Processing of the Portuguese Language 12th International Conference, PROPOR 2016, Tomar, Portugal, July 13-15, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181622024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Silva, João. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41552-9">http://dx.doi.org/10.1007/978-3-319-41552-9</a><br/>Format: Electronic Resources<br/>Natural Language Processing and Information Systems 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181712024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Métais, Elisabeth. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41754-7">http://dx.doi.org/10.1007/978-3-319-41754-7</a><br/>Format: Electronic Resources<br/>Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedingsent://SD_ILS/0/SD_ILS:181832024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Alferes, Jose Julio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42019-6">http://dx.doi.org/10.1007/978-3-319-42019-6</a><br/>Format: Electronic Resources<br/>Statistical Language and Speech Processing 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183582024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Král, Pavel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45925-7">http://dx.doi.org/10.1007/978-3-319-45925-7</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:181092024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Inoue, Katsumi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40566-7">http://dx.doi.org/10.1007/978-3-319-40566-7</a><br/>Format: Electronic Resources<br/>PRIMA 2016: Princiles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183002024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Baldoni, Matteo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44832-9">http://dx.doi.org/10.1007/978-3-319-44832-9</a><br/>Format: Electronic Resources<br/>Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:181142024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Carvalho, Joao Paulo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40596-4">http://dx.doi.org/10.1007/978-3-319-40596-4</a><br/>Format: Electronic Resources<br/>Fuzziness in Information Systems How to Deal with Crisp and Fuzzy Data in Selection, Classification, and Summarizationent://SD_ILS/0/SD_ILS:182122024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Hudec, Miroslav. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42518-4">http://dx.doi.org/10.1007/978-3-319-42518-4</a><br/>Format: Electronic Resources<br/>Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182162024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Dinh, Thang N. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42634-1">http://dx.doi.org/10.1007/978-3-319-42634-1</a><br/>Format: Electronic Resources<br/>Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:174772024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Yakovyna, Vitaliy. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30246-1">http://dx.doi.org/10.1007/978-3-319-30246-1</a><br/>Format: Electronic Resources<br/>Scalable Uncertainty Management 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183512024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Schockaert, Steven. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45856-4">http://dx.doi.org/10.1007/978-3-319-45856-4</a><br/>Format: Electronic Resources<br/>Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII Selected Papers from FDSE 2014ent://SD_ILS/0/SD_ILS:186252024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Hameurlain, Abdelkader. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49175-1">http://dx.doi.org/10.1007/978-3-662-49175-1</a><br/>Format: Electronic Resources<br/>KI 2016: Advances in Artificial Intelligence 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183652024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Friedrich, Gerhard. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46073-4">http://dx.doi.org/10.1007/978-3-319-46073-4</a><br/>Format: Electronic Resources<br/>Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182132024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Kohlhase, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42547-4">http://dx.doi.org/10.1007/978-3-319-42547-4</a><br/>Format: Electronic Resources<br/>Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedingsent://SD_ILS/0/SD_ILS:180172024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Blesa, Maria J. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39636-1">http://dx.doi.org/10.1007/978-3-319-39636-1</a><br/>Format: Electronic Resources<br/>Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedingsent://SD_ILS/0/SD_ILS:186812024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Foret, Annie. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-53042-9">http://dx.doi.org/10.1007/978-3-662-53042-9</a><br/>Format: Electronic Resources<br/>Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedingsent://SD_ILS/0/SD_ILS:174382024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Dediu, Adrian-Horia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30000-9">http://dx.doi.org/10.1007/978-3-319-30000-9</a><br/>Format: Electronic Resources<br/>Foundations of Information and Knowledge Systems 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedingsent://SD_ILS/0/SD_ILS:174412024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Gyssens, Marc. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30024-5">http://dx.doi.org/10.1007/978-3-319-30024-5</a><br/>Format: Electronic Resources<br/>Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:179632024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Serrano, Manuel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39110-6">http://dx.doi.org/10.1007/978-3-319-39110-6</a><br/>Format: Electronic Resources<br/>Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:181122024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Carvalho, Joao Paulo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40581-0">http://dx.doi.org/10.1007/978-3-319-40581-0</a><br/>Format: Electronic Resources<br/>Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181482024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Amos, Martyn. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41312-9">http://dx.doi.org/10.1007/978-3-319-41312-9</a><br/>Format: Electronic Resources<br/>Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedingsent://SD_ILS/0/SD_ILS:186752024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Väänänen, Jouko. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-52921-8">http://dx.doi.org/10.1007/978-3-662-52921-8</a><br/>Format: Electronic Resources<br/>Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:173882024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Gurfinkel, Arie. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29613-5">http://dx.doi.org/10.1007/978-3-319-29613-5</a><br/>Format: Electronic Resources<br/>Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:174262024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Karydis, Ioannis. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29919-8">http://dx.doi.org/10.1007/978-3-319-29919-8</a><br/>Format: Electronic Resources<br/>Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:179042024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Lecomte, Thierry. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33951-1">http://dx.doi.org/10.1007/978-3-319-33951-1</a><br/>Format: Electronic Resources<br/>Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:180862024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Hasuo, Ichiro. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40370-0">http://dx.doi.org/10.1007/978-3-319-40370-0</a><br/>Format: Electronic Resources<br/>Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:222802024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Eiter, Thomas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14726-0">http://dx.doi.org/10.1007/978-3-319-14726-0</a><br/>Format: Electronic Resources<br/>Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineeringent://SD_ILS/0/SD_ILS:223942024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Nicola, Rocco De. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15545-6">http://dx.doi.org/10.1007/978-3-319-15545-6</a><br/>Format: Electronic Resources<br/>Software Engineering for Collective Autonomic Systems The ASCENS Approachent://SD_ILS/0/SD_ILS:225342024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Wirsing, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-16310-9">http://dx.doi.org/10.1007/978-3-319-16310-9</a><br/>Format: Electronic Resources<br/>Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233052024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Manea, Florin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23660-5">http://dx.doi.org/10.1007/978-3-319-23660-5</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:233072024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Davis, Jesse. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23708-4">http://dx.doi.org/10.1007/978-3-319-23708-4</a><br/>Format: Electronic Resources<br/>Graph Structures for Knowledge Representation and Reasoning 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:236252024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Croitoru, Madalina. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28702-7">http://dx.doi.org/10.1007/978-3-319-28702-7</a><br/>Format: Electronic Resources<br/>Transactions on Rough Sets XIXent://SD_ILS/0/SD_ILS:248412024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Peters, James F. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-47815-8">http://dx.doi.org/10.1007/978-3-662-47815-8</a><br/>Format: Electronic Resources<br/>KI 2015: Advances in Artificial Intelligence 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233702024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Hölldobler, Steffen. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24489-1">http://dx.doi.org/10.1007/978-3-319-24489-1</a><br/>Format: Electronic Resources<br/>Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:231302024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Botana, Francisco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21362-0">http://dx.doi.org/10.1007/978-3-319-21362-0</a><br/>Format: Electronic Resources<br/>Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedingsent://SD_ILS/0/SD_ILS:231312024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Bieger, Jordi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21365-1">http://dx.doi.org/10.1007/978-3-319-21365-1</a><br/>Format: Electronic Resources<br/>Formal Concept Analysis 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedingsent://SD_ILS/0/SD_ILS:229482024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Baixeries, Jaume. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19545-2">http://dx.doi.org/10.1007/978-3-319-19545-2</a><br/>Format: Electronic Resources<br/>Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233472024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Lutz, Carsten. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24246-0">http://dx.doi.org/10.1007/978-3-319-24246-0</a><br/>Format: Electronic Resources<br/>AI 2015: Advances in Artificial Intelligence 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 -- December 4, 2015, Proceedingsent://SD_ILS/0/SD_ILS:235192024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Pfahringer, Bernhard. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26350-2">http://dx.doi.org/10.1007/978-3-319-26350-2</a><br/>Format: Electronic Resources<br/>Chinese Lexical Semantics 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:235722024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Lu, Qin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27194-1">http://dx.doi.org/10.1007/978-3-319-27194-1</a><br/>Format: Electronic Resources<br/>Foundations of Biomedical Knowledge Representation Methods and Applicationsent://SD_ILS/0/SD_ILS:236102024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Hommersom, Arjen. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28007-3">http://dx.doi.org/10.1007/978-3-319-28007-3</a><br/>Format: Electronic Resources<br/>New Frontiers in Artificial Intelligence JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:248582024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Murata, Tsuyoshi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48119-6">http://dx.doi.org/10.1007/978-3-662-48119-6</a><br/>Format: Electronic Resources<br/>Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedingsent://SD_ILS/0/SD_ILS:232822024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Calimeri, Francesco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23264-5">http://dx.doi.org/10.1007/978-3-319-23264-5</a><br/>Format: Electronic Resources<br/>Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedingsent://SD_ILS/0/SD_ILS:248352024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar de Paiva, Valeria. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-47709-0">http://dx.doi.org/10.1007/978-3-662-47709-0</a><br/>Format: Electronic Resources<br/>Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233592024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar De Nivelle, Hans. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24312-2">http://dx.doi.org/10.1007/978-3-319-24312-2</a><br/>Format: Electronic Resources<br/>Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papersent://SD_ILS/0/SD_ILS:227422024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Proietti, Maurizio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17822-6">http://dx.doi.org/10.1007/978-3-319-17822-6</a><br/>Format: Electronic Resources<br/>Text Analysis Pipelines Towards Ad-hoc Large-Scale Text Miningent://SD_ILS/0/SD_ILS:234752024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Wachsmuth, Henning. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25741-9">http://dx.doi.org/10.1007/978-3-319-25741-9</a><br/>Format: Electronic Resources<br/>Multi-Agent Systems 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:226412024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Bulling, Nils. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17130-2">http://dx.doi.org/10.1007/978-3-319-17130-2</a><br/>Format: Electronic Resources<br/>Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedingsent://SD_ILS/0/SD_ILS:246832024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Banerjee, Mohua. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45824-2">http://dx.doi.org/10.1007/978-3-662-45824-2</a><br/>Format: Electronic Resources<br/>Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIIent://SD_ILS/0/SD_ILS:248772024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Hameurlain, Abdelkader. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48567-5">http://dx.doi.org/10.1007/978-3-662-48567-5</a><br/>Format: Electronic Resources<br/>Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedingsent://SD_ILS/0/SD_ILS:248882024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Davis, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48899-7">http://dx.doi.org/10.1007/978-3-662-48899-7</a><br/>Format: Electronic Resources<br/>The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineeringent://SD_ILS/0/SD_ILS:228622024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Jureta, Ivan. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-18821-8">http://dx.doi.org/10.1007/978-3-319-18821-8</a><br/>Format: Electronic Resources<br/>Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedingsent://SD_ILS/0/SD_ILS:230752024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Destercke, Sébastien. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20807-7">http://dx.doi.org/10.1007/978-3-319-20807-7</a><br/>Format: Electronic Resources<br/>Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232762024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Pesant, Gilles. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23219-5">http://dx.doi.org/10.1007/978-3-319-23219-5</a><br/>Format: Electronic Resources<br/>Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedingsent://SD_ILS/0/SD_ILS:231922024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Urban, Christian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22102-1">http://dx.doi.org/10.1007/978-3-319-22102-1</a><br/>Format: Electronic Resources<br/>AI*IA 2015 Advances in Artificial Intelligence XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233582024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Gavanelli, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24309-2">http://dx.doi.org/10.1007/978-3-319-24309-2</a><br/>Format: Electronic Resources<br/>Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedingsent://SD_ILS/0/SD_ILS:234072024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Finkbeiner, Bernd. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24953-7">http://dx.doi.org/10.1007/978-3-319-24953-7</a><br/>Format: Electronic Resources<br/>Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:235862024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Falaschi, Moreno. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27436-2">http://dx.doi.org/10.1007/978-3-319-27436-2</a><br/>Format: Electronic Resources<br/>Information Security 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedingsent://SD_ILS/0/SD_ILS:235912024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Desmedt, Yvo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27659-5">http://dx.doi.org/10.1007/978-3-319-27659-5</a><br/>Format: Electronic Resources<br/>Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedingsent://SD_ILS/0/SD_ILS:235172024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Piterman, Nir. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26287-1">http://dx.doi.org/10.1007/978-3-319-26287-1</a><br/>Format: Electronic Resources<br/>Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.ent://SD_ILS/0/SD_ILS:230632024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Kerber, Manfred. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20615-8">http://dx.doi.org/10.1007/978-3-319-20615-8</a><br/>Format: Electronic Resources<br/>Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.ent://SD_ILS/0/SD_ILS:231612024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Faber, Wolfgang. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21768-0">http://dx.doi.org/10.1007/978-3-319-21768-0</a><br/>Format: Electronic Resources<br/>Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedingsent://SD_ILS/0/SD_ILS:224022024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Dediu, Adrian-Horia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15579-1">http://dx.doi.org/10.1007/978-3-319-15579-1</a><br/>Format: Electronic Resources<br/>Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232952024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Meyer, Roland. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23506-6">http://dx.doi.org/10.1007/978-3-319-23506-6</a><br/>Format: Electronic Resources<br/>Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233892024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Kahl, Wolfram. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24704-5">http://dx.doi.org/10.1007/978-3-319-24704-5</a><br/>Format: Electronic Resources<br/>Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papersent://SD_ILS/0/SD_ILS:247912024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Aher, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-46906-4">http://dx.doi.org/10.1007/978-3-662-46906-4</a><br/>Format: Electronic Resources<br/>Uncertainty Reasoning for the Semantic Web III ISWC International Workshops, URSW 2011-2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:220772024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Bobillo, Fernando. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13413-0">http://dx.doi.org/10.1007/978-3-319-13413-0</a><br/>Format: Electronic Resources<br/>Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedingsent://SD_ILS/0/SD_ILS:244162024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Asher, Nicholas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43742-1">http://dx.doi.org/10.1007/978-3-662-43742-1</a><br/>Format: Electronic Resources<br/>Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:239552024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Cohen, Ernie. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54108-7">http://dx.doi.org/10.1007/978-3-642-54108-7</a><br/>Format: Electronic Resources<br/>Pristine Perspectives on Logic, Language, and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papersent://SD_ILS/0/SD_ILS:244622024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Colinet, Margot. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44116-9">http://dx.doi.org/10.1007/978-3-662-44116-9</a><br/>Format: Electronic Resources<br/>Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedingsent://SD_ILS/0/SD_ILS:205682024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Dediu, Adrian-Horia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04921-2">http://dx.doi.org/10.1007/978-3-319-04921-2</a><br/>Format: Electronic Resources<br/>Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedingsent://SD_ILS/0/SD_ILS:220662024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Yahav, Eran. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13338-6">http://dx.doi.org/10.1007/978-3-319-13338-6</a><br/>Format: Electronic Resources<br/>Reasoning Web. Reasoning on the Web in the Big Data Era 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215442024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Koubarakis, Manolis. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10587-1">http://dx.doi.org/10.1007/978-3-319-10587-1</a><br/>Format: Electronic Resources<br/>Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217312024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Fermé, Eduardo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11558-0">http://dx.doi.org/10.1007/978-3-319-11558-0</a><br/>Format: Electronic Resources<br/>Formal Concept Analysis 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:209642024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Glodeanu, Cynthia Vera. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07248-7">http://dx.doi.org/10.1007/978-3-319-07248-7</a><br/>Format: Electronic Resources<br/>Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedingsent://SD_ILS/0/SD_ILS:211972024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Demri, Stéphane. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08587-6">http://dx.doi.org/10.1007/978-3-319-08587-6</a><br/>Format: Electronic Resources<br/>Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:212982024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar van den Herik, H. Jaap. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09165-5">http://dx.doi.org/10.1007/978-3-319-09165-5</a><br/>Format: Electronic Resources<br/>Computational Processing of the Portuguese Language 11th International Conference, PROPOR 2014, São Carlos/SP, Brazil, October 6-8, 2014. Proceedingsent://SD_ILS/0/SD_ILS:213812024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Baptista, Jorge. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09761-9">http://dx.doi.org/10.1007/978-3-319-09761-9</a><br/>Format: Electronic Resources<br/>Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedingsent://SD_ILS/0/SD_ILS:213822024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Bulling, Nils. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09764-0">http://dx.doi.org/10.1007/978-3-319-09764-0</a><br/>Format: Electronic Resources<br/>Controlled Natural Language 4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014. Proceedingsent://SD_ILS/0/SD_ILS:214722024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Davis, Brian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10223-8">http://dx.doi.org/10.1007/978-3-319-10223-8</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:245792024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Zaverucha, Gerson. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44923-3">http://dx.doi.org/10.1007/978-3-662-44923-3</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part IIent://SD_ILS/0/SD_ILS:246102024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Margaria, Tiziana. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45231-8">http://dx.doi.org/10.1007/978-3-662-45231-8</a><br/>Format: Electronic Resources<br/>Transactions on Rough Sets XVIIIent://SD_ILS/0/SD_ILS:245382024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Peters, James F. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44680-5">http://dx.doi.org/10.1007/978-3-662-44680-5</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedingsent://SD_ILS/0/SD_ILS:239462024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar McMillan, Kenneth L. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54013-4">http://dx.doi.org/10.1007/978-3-642-54013-4</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part Ient://SD_ILS/0/SD_ILS:246112024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Margaria, Tiziana. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45234-9">http://dx.doi.org/10.1007/978-3-662-45234-9</a><br/>Format: Electronic Resources<br/>Rough Sets and Intelligent Systems Paradigms Second International Conference, RSEISP 2014, Held as Part of JRS 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212262024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Kryszkiewicz, Marzena. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08729-0">http://dx.doi.org/10.1007/978-3-319-08729-0</a><br/>Format: Electronic Resources<br/>Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:207962024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Höfner, Peter. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06251-8">http://dx.doi.org/10.1007/978-3-319-06251-8</a><br/>Format: Electronic Resources<br/>Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:209462024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Codish, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07151-0">http://dx.doi.org/10.1007/978-3-319-07151-0</a><br/>Format: Electronic Resources<br/>Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:218552024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Giannakopoulou, Dimitra. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12154-3">http://dx.doi.org/10.1007/978-3-319-12154-3</a><br/>Format: Electronic Resources<br/>Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216682024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Combemale, Benoît. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11245-9">http://dx.doi.org/10.1007/978-3-319-11245-9</a><br/>Format: Electronic Resources<br/>Information Processing and Management of Uncertainty in Knowledge-Based Systems 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part Ient://SD_ILS/0/SD_ILS:212392024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Laurent, Anne. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08795-5">http://dx.doi.org/10.1007/978-3-319-08795-5</a><br/>Format: Electronic Resources<br/>Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215112024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar O’Sullivan, Barry. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10428-7">http://dx.doi.org/10.1007/978-3-319-10428-7</a><br/>Format: Electronic Resources<br/>Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:221902024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Gupta, Gopal. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14125-1">http://dx.doi.org/10.1007/978-3-319-14125-1</a><br/>Format: Electronic Resources<br/>Artificial Intelligence and Symbolic Computation 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:221392024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Aranda-Corral, Gonzalo A. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13770-4">http://dx.doi.org/10.1007/978-3-319-13770-4</a><br/>Format: Electronic Resources<br/>PRICAI 2014: Trends in Artificial Intelligence 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, QLD, Australia, December 1-5, 2014. Proceedingsent://SD_ILS/0/SD_ILS:221042024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Pham, Duc-Nghia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13560-1">http://dx.doi.org/10.1007/978-3-319-13560-1</a><br/>Format: Electronic Resources<br/>New Frontiers in Artificial Intelligence JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:214422024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Nakano, Yukiko. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10061-6">http://dx.doi.org/10.1007/978-3-319-10061-6</a><br/>Format: Electronic Resources<br/>Formal Grammar 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedingsent://SD_ILS/0/SD_ILS:244632024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Morrill, Glyn. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44121-3">http://dx.doi.org/10.1007/978-3-662-44121-3</a><br/>Format: Electronic Resources<br/>Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedingsent://SD_ILS/0/SD_ILS:244662024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Kohlenbach, Ulrich. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44145-9">http://dx.doi.org/10.1007/978-3-662-44145-9</a><br/>Format: Electronic Resources<br/>Transactions on Rough Sets XVIIent://SD_ILS/0/SD_ILS:240392024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Peters, James F. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54756-0">http://dx.doi.org/10.1007/978-3-642-54756-0</a><br/>Format: Electronic Resources<br/>Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedingsent://SD_ILS/0/SD_ILS:245862024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Shi, Zhongzhi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44980-6">http://dx.doi.org/10.1007/978-3-662-44980-6</a><br/>Format: Electronic Resources<br/>Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedingsent://SD_ILS/0/SD_ILS:205732024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Beierle, Christoph. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04939-7">http://dx.doi.org/10.1007/978-3-319-04939-7</a><br/>Format: Electronic Resources<br/>Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papersent://SD_ILS/0/SD_ILS:204932024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Croitoru, Madalina. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04534-4">http://dx.doi.org/10.1007/978-3-319-04534-4</a><br/>Format: Electronic Resources<br/>Intelligent Computer Mathematics International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedingsent://SD_ILS/0/SD_ILS:211762024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Watt, Stephen M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08434-3">http://dx.doi.org/10.1007/978-3-319-08434-3</a><br/>Format: Electronic Resources<br/>Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212672024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Klein, Gerwin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08970-6">http://dx.doi.org/10.1007/978-3-319-08970-6</a><br/>Format: Electronic Resources<br/>Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212052024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Cariani, Fabrizio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08615-6">http://dx.doi.org/10.1007/978-3-319-08615-6</a><br/>Format: Electronic Resources<br/>Artificial General Intelligence 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014. Proceedingsent://SD_ILS/0/SD_ILS:213132024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Goertzel, Ben. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09274-4">http://dx.doi.org/10.1007/978-3-319-09274-4</a><br/>Format: Electronic Resources<br/>Rough Sets and Current Trends in Computing 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212112024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Cornelis, Chris. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08644-6">http://dx.doi.org/10.1007/978-3-319-08644-6</a><br/>Format: Electronic Resources<br/>KI 2014: Advances in Artificial Intelligence 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216572024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Lutz, Carsten. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11206-0">http://dx.doi.org/10.1007/978-3-319-11206-0</a><br/>Format: Electronic Resources<br/>Advances in Natural Language Processing 9th International Conference on NLP, PolTAL 2014, Warsaw, Poland, September 17-19, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216012024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Przepiórkowski, Adam. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10888-9">http://dx.doi.org/10.1007/978-3-319-10888-9</a><br/>Format: Electronic Resources<br/>Information Processing and Management of Uncertainty in Knowledge-Based Systems 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:212452024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Laurent, Anne. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08852-5">http://dx.doi.org/10.1007/978-3-319-08852-5</a><br/>Format: Electronic Resources<br/>Information Processing and Management of Uncertainty in Knowledge-Based Systems 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part IIent://SD_ILS/0/SD_ILS:212462024-09-23T16:35:50Z2024-09-23T16:35:50ZYazar Laurent, Anne. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08855-6">http://dx.doi.org/10.1007/978-3-319-08855-6</a><br/>Format: Electronic Resources<br/>