Search Results for - Narrowed by: Mathematical logic. - Artificial Intelligence (incl. Robotics).

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

2024-05-08T05:10:23Z

Yazar Foret, Annie. editor.
http://dx.doi.org/10.1007/978-3-662-53042-9
Format: Electronic Resources

Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings

2024-05-08T05:10:23Z

Yazar Amos, Martyn. editor.
http://dx.doi.org/10.1007/978-3-319-41312-9
Format: Electronic Resources

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

2024-05-08T05:10:23Z

Yazar Ábrahám, Erika. editor.
http://dx.doi.org/10.1007/978-3-319-30734-3
Format: Electronic Resources

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII Selected Papers from FDSE 2014

2024-05-08T05:10:23Z

Yazar Hameurlain, Abdelkader. editor.
http://dx.doi.org/10.1007/978-3-662-49175-1
Format: Electronic Resources

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

2024-05-08T05:10:23Z

Yazar Karydis, Ioannis. editor.
http://dx.doi.org/10.1007/978-3-319-29919-8
Format: Electronic Resources

Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, Proceedings, Part II

2024-05-08T05:10:23Z

Yazar Carvalho, Joao Paulo. editor.
http://dx.doi.org/10.1007/978-3-319-40581-0
Format: Electronic Resources

Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings, Part I

2024-05-08T05:10:23Z

Yazar Carvalho, Joao Paulo. editor.
http://dx.doi.org/10.1007/978-3-319-40596-4
Format: Electronic Resources

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papers

2024-05-08T05:10:23Z

Yazar Gurfinkel, Arie. editor.
http://dx.doi.org/10.1007/978-3-319-29613-5
Format: Electronic Resources

Semantic Technology 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers

2024-05-08T05:10:23Z

Yazar Qi, Guilin. editor.
http://dx.doi.org/10.1007/978-3-319-31676-5
Format: Electronic Resources

Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers

2024-05-08T05:10:23Z

Yazar Yakovyna, Vitaliy. editor.
http://dx.doi.org/10.1007/978-3-319-30246-1
Format: Electronic Resources

Statistical Language and Speech Processing 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings

2024-05-08T05:10:23Z

Yazar Král, Pavel. editor.
http://dx.doi.org/10.1007/978-3-319-45925-7
Format: Electronic Resources

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

2024-05-08T05:10:23Z

Yazar Väänänen, Jouko. editor.
http://dx.doi.org/10.1007/978-3-662-52921-8
Format: Electronic Resources

Computational Processing of the Portuguese Language 12th International Conference, PROPOR 2016, Tomar, Portugal, July 13-15, 2016, Proceedings

2024-05-08T05:10:23Z

Yazar Silva, João. editor.
http://dx.doi.org/10.1007/978-3-319-41552-9
Format: Electronic Resources

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 Papers

2024-05-08T05:10:23Z

Yazar Rovatsos, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-33509-4
Format: Electronic Resources

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

2024-05-08T05:10:23Z

Yazar Olivetti, Nicola. editor.
http://dx.doi.org/10.1007/978-3-319-40229-1
Format: Electronic Resources

PRIMA 2016: Princiles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

2024-05-08T05:10:23Z

Yazar Baldoni, Matteo. editor.
http://dx.doi.org/10.1007/978-3-319-44832-9
Format: Electronic Resources

Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

2024-05-08T05:10:23Z

Yazar Rueher, Michel. editor.
http://dx.doi.org/10.1007/978-3-319-44953-1
Format: Electronic Resources

Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

2024-05-08T05:10:23Z

Yazar Serrano, Manuel. editor.
http://dx.doi.org/10.1007/978-3-319-39110-6
Format: Electronic Resources

Scalable Uncertainty Management 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings

2024-05-08T05:10:23Z

Yazar Schockaert, Steven. editor.
http://dx.doi.org/10.1007/978-3-319-45856-4
Format: Electronic Resources

Towards Paraconsistent Engineering

2024-05-08T05:10:23Z

Yazar Akama, Seiki. editor.
http://dx.doi.org/10.1007/978-3-319-40418-9
Format: Electronic Resources

KI 2016: Advances in Artificial Intelligence 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings

2024-05-08T05:10:23Z

Yazar Friedrich, Gerhard. editor.
http://dx.doi.org/10.1007/978-3-319-46073-4
Format: Electronic Resources

Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

2024-05-08T05:10:23Z

Yazar Inoue, Katsumi. editor.
http://dx.doi.org/10.1007/978-3-319-40566-7
Format: Electronic Resources

Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

2024-05-08T05:10:23Z

Yazar Kohlhase, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-42547-4
Format: Electronic Resources

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

2024-05-08T05:10:23Z

Yazar Kiselyov, Oleg. editor.
http://dx.doi.org/10.1007/978-3-319-29604-3
Format: Electronic Resources

Foundations of Information and Knowledge Systems 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings

2024-05-08T05:10:23Z

Yazar Gyssens, Marc. editor.
http://dx.doi.org/10.1007/978-3-319-30024-5
Format: Electronic Resources

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, Proceedings

2024-05-08T05:10:23Z

Yazar Métais, Elisabeth. editor.
http://dx.doi.org/10.1007/978-3-319-41754-7
Format: Electronic Resources

Fuzziness in Information Systems How to Deal with Crisp and Fuzzy Data in Selection, Classification, and Summarization

2024-05-08T05:10:23Z

Yazar Hudec, Miroslav. author.
http://dx.doi.org/10.1007/978-3-319-42518-4
Format: Electronic Resources

Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

2024-05-08T05:10:23Z

Yazar Dediu, Adrian-Horia. editor.
http://dx.doi.org/10.1007/978-3-319-30000-9
Format: Electronic Resources

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 Papers

2024-05-08T05:10:23Z

Yazar Hasuo, Ichiro. editor.
http://dx.doi.org/10.1007/978-3-319-40370-0
Format: Electronic Resources

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

2024-05-08T05:10:23Z

Yazar Lecomte, Thierry. editor.
http://dx.doi.org/10.1007/978-3-319-33951-1
Format: Electronic Resources

Combinatorial Algorithms 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings

2024-05-08T05:10:23Z

Yazar Mäkinen, Veli. editor.
http://dx.doi.org/10.1007/978-3-319-44543-4
Format: Electronic Resources

Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings

2024-05-08T05:10:23Z

Yazar Blesa, Maria J. editor.
http://dx.doi.org/10.1007/978-3-319-39636-1
Format: Electronic Resources

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

2024-05-08T05:10:23Z

Yazar De Nicola, Rocco. editor.
http://dx.doi.org/10.1007/978-3-319-41591-8
Format: Electronic Resources

Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

2024-05-08T05:10:23Z

Yazar Alferes, Jose Julio. editor.
http://dx.doi.org/10.1007/978-3-319-42019-6
Format: Electronic Resources

Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings

2024-05-08T05:10:23Z

Yazar Dinh, Thang N. editor.
http://dx.doi.org/10.1007/978-3-319-42634-1
Format: Electronic Resources

Foundations of Biomedical Knowledge Representation Methods and Applications

2024-05-08T05:10:23Z

Yazar Hommersom, Arjen. editor.
http://dx.doi.org/10.1007/978-3-319-28007-3
Format: Electronic Resources

Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

2024-05-08T05:10:23Z

Yazar Piterman, Nir. editor.
http://dx.doi.org/10.1007/978-3-319-26287-1
Format: Electronic Resources

AI 2015: Advances in Artificial Intelligence 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 -- December 4, 2015, Proceedings

2024-05-08T05:10:23Z

Yazar Pfahringer, Bernhard. editor.
http://dx.doi.org/10.1007/978-3-319-26350-2
Format: Electronic Resources

New Frontiers in Artificial Intelligence JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers

2024-05-08T05:10:23Z

Yazar Murata, Tsuyoshi. editor.
http://dx.doi.org/10.1007/978-3-662-48119-6
Format: Electronic Resources

AI*IA 2015 Advances in Artificial Intelligence XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings

2024-05-08T05:10:23Z

Yazar Gavanelli, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-24309-2
Format: Electronic Resources

Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

2024-05-08T05:10:23Z

Yazar De Nivelle, Hans. editor.
http://dx.doi.org/10.1007/978-3-319-24312-2
Format: Electronic Resources

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

2024-05-08T05:10:23Z

Yazar Urban, Christian. editor.
http://dx.doi.org/10.1007/978-3-319-22102-1
Format: Electronic Resources

Formal Concept Analysis 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings

2024-05-08T05:10:23Z

Yazar Baixeries, Jaume. editor.
http://dx.doi.org/10.1007/978-3-319-19545-2
Format: Electronic Resources

KI 2015: Advances in Artificial Intelligence 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings

2024-05-08T05:10:23Z

Yazar Hölldobler, Steffen. editor.
http://dx.doi.org/10.1007/978-3-319-24489-1
Format: Electronic Resources

Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings

2024-05-08T05:10:23Z

Yazar Manea, Florin. editor.
http://dx.doi.org/10.1007/978-3-319-23660-5
Format: Electronic Resources

Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers

2024-05-08T05:10:23Z

Yazar Davis, Jesse. editor.
http://dx.doi.org/10.1007/978-3-319-23708-4
Format: Electronic Resources

Software Engineering for Collective Autonomic Systems The ASCENS Approach

2024-05-08T05:10:23Z

Yazar Wirsing, Martin. editor.
http://dx.doi.org/10.1007/978-3-319-16310-9
Format: Electronic Resources

Multi-Agent Systems 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers

2024-05-08T05:10:23Z

Yazar Bulling, Nils. editor.
http://dx.doi.org/10.1007/978-3-319-17130-2
Format: Electronic Resources

The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering

2024-05-08T05:10:23Z

Yazar Jureta, Ivan. author.
http://dx.doi.org/10.1007/978-3-319-18821-8
Format: Electronic Resources

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings

2024-05-08T05:10:23Z

Yazar Destercke, Sébastien. editor.
http://dx.doi.org/10.1007/978-3-319-20807-7
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

2024-05-08T05:10:23Z

Yazar Falaschi, Moreno. editor.
http://dx.doi.org/10.1007/978-3-319-27436-2
Format: Electronic Resources

Information Security 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings

2024-05-08T05:10:23Z

Yazar Desmedt, Yvo. editor.
http://dx.doi.org/10.1007/978-3-319-27659-5
Format: Electronic Resources

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

2024-05-08T05:10:23Z

Yazar de Paiva, Valeria. editor.
http://dx.doi.org/10.1007/978-3-662-47709-0
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

2024-05-08T05:10:23Z

Yazar Proietti, Maurizio. editor.
http://dx.doi.org/10.1007/978-3-319-17822-6
Format: Electronic Resources

Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.

2024-05-08T05:10:23Z

Yazar Kerber, Manfred. editor.
http://dx.doi.org/10.1007/978-3-319-20615-8
Format: Electronic Resources

Chinese Lexical Semantics 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, Revised Selected Papers

2024-05-08T05:10:23Z

Yazar Lu, Qin. editor.
http://dx.doi.org/10.1007/978-3-319-27194-1
Format: Electronic Resources

Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings

2024-05-08T05:10:23Z

Yazar Kahl, Wolfram. editor.
http://dx.doi.org/10.1007/978-3-319-24704-5
Format: Electronic Resources

Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings

2024-05-08T05:10:23Z

Yazar Banerjee, Mohua. editor.
http://dx.doi.org/10.1007/978-3-662-45824-2
Format: Electronic Resources

Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers

2024-05-08T05:10:23Z

Yazar Aher, Martin. editor.
http://dx.doi.org/10.1007/978-3-662-46906-4
Format: Electronic Resources

Transactions on Rough Sets XIX

2024-05-08T05:10:23Z

Yazar Peters, James F. editor.
http://dx.doi.org/10.1007/978-3-662-47815-8
Format: Electronic Resources

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII

2024-05-08T05:10:23Z

Yazar Hameurlain, Abdelkader. editor.
http://dx.doi.org/10.1007/978-3-662-48567-5
Format: Electronic Resources

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday

2024-05-08T05:10:23Z

Yazar Eiter, Thomas. editor.
http://dx.doi.org/10.1007/978-3-319-14726-0
Format: Electronic Resources

Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings

2024-05-08T05:10:23Z

Yazar Dediu, Adrian-Horia. editor.
http://dx.doi.org/10.1007/978-3-319-15579-1
Format: Electronic Resources

Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.

2024-05-08T05:10:23Z

Yazar Faber, Wolfgang. editor.
http://dx.doi.org/10.1007/978-3-319-21768-0
Format: Electronic Resources

Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering

2024-05-08T05:10:23Z

Yazar Nicola, Rocco De. editor.
http://dx.doi.org/10.1007/978-3-319-15545-6
Format: Electronic Resources

Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings

2024-05-08T05:10:23Z

Yazar Pesant, Gilles. editor.
http://dx.doi.org/10.1007/978-3-319-23219-5
Format: Electronic Resources

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

2024-05-08T05:10:23Z

Yazar Calimeri, Francesco. editor.
http://dx.doi.org/10.1007/978-3-319-23264-5
Format: Electronic Resources

Text Analysis Pipelines Towards Ad-hoc Large-Scale Text Mining

2024-05-08T05:10:23Z

Yazar Wachsmuth, Henning. author.
http://dx.doi.org/10.1007/978-3-319-25741-9
Format: Electronic Resources

Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

2024-05-08T05:10:23Z

Yazar Botana, Francisco. editor.
http://dx.doi.org/10.1007/978-3-319-21362-0
Format: Electronic Resources

Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

2024-05-08T05:10:23Z

Yazar Finkbeiner, Bernd. editor.
http://dx.doi.org/10.1007/978-3-319-24953-7
Format: Electronic Resources

Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

2024-05-08T05:10:23Z

Yazar Meyer, Roland. editor.
http://dx.doi.org/10.1007/978-3-319-23506-6
Format: Electronic Resources

Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings

2024-05-08T05:10:23Z

Yazar Bieger, Jordi. editor.
http://dx.doi.org/10.1007/978-3-319-21365-1
Format: Electronic Resources

Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

2024-05-08T05:10:23Z

Yazar Lutz, Carsten. editor.
http://dx.doi.org/10.1007/978-3-319-24246-0
Format: Electronic Resources

Graph Structures for Knowledge Representation and Reasoning 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers

2024-05-08T05:10:23Z

Yazar Croitoru, Madalina. editor.
http://dx.doi.org/10.1007/978-3-319-28702-7
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

2024-05-08T05:10:23Z

Yazar Davis, Martin. editor.
http://dx.doi.org/10.1007/978-3-662-48899-7
Format: Electronic Resources

Pristine Perspectives on Logic, Language, and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers

2024-05-08T05:10:23Z

Yazar Colinet, Margot. editor.
http://dx.doi.org/10.1007/978-3-662-44116-9
Format: Electronic Resources

Transactions on Rough Sets XVII

2024-05-08T05:10:23Z

Yazar Peters, James F. editor.
http://dx.doi.org/10.1007/978-3-642-54756-0
Format: Electronic Resources

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 II

2024-05-08T05:10:23Z

Yazar Margaria, Tiziana. editor.
http://dx.doi.org/10.1007/978-3-662-45231-8
Format: Electronic Resources

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 I

2024-05-08T05:10:23Z

Yazar Margaria, Tiziana. editor.
http://dx.doi.org/10.1007/978-3-662-45234-9
Format: Electronic Resources

Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings

2024-05-08T05:10:23Z

Yazar Dediu, Adrian-Horia. editor.
http://dx.doi.org/10.1007/978-3-319-04921-2
Format: Electronic Resources

Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings

2024-05-08T05:10:23Z

Yazar Bulling, Nils. editor.
http://dx.doi.org/10.1007/978-3-319-09764-0
Format: Electronic Resources

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. Proceedings

2024-05-08T05:10:23Z

Yazar Demri, Stéphane. editor.
http://dx.doi.org/10.1007/978-3-319-08587-6
Format: Electronic Resources

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

2024-05-08T05:10:23Z

Yazar Cariani, Fabrizio. editor.
http://dx.doi.org/10.1007/978-3-319-08615-6
Format: Electronic Resources

Rough Sets and Current Trends in Computing 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings

2024-05-08T05:10:23Z

Yazar Cornelis, Chris. editor.
http://dx.doi.org/10.1007/978-3-319-08644-6
Format: Electronic Resources

Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings

2024-05-08T05:10:23Z

Yazar Höfner, Peter. editor.
http://dx.doi.org/10.1007/978-3-319-06251-8
Format: Electronic Resources

New Frontiers in Artificial Intelligence JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers

2024-05-08T05:10:23Z

Yazar Nakano, Yukiko. editor.
http://dx.doi.org/10.1007/978-3-319-10061-6
Format: Electronic Resources

Information Processing and Management of Uncertainty in Knowledge-Based Systems 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part III

2024-05-08T05:10:23Z

Yazar Laurent, Anne. editor.
http://dx.doi.org/10.1007/978-3-319-08852-5
Format: Electronic Resources

Information Processing and Management of Uncertainty in Knowledge-Based Systems 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part II

2024-05-08T05:10:23Z

Yazar Laurent, Anne. editor.
http://dx.doi.org/10.1007/978-3-319-08855-6
Format: Electronic Resources

Reasoning Web. Reasoning on the Web in the Big Data Era 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings

2024-05-08T05:10:23Z

Yazar Koubarakis, Manolis. editor.
http://dx.doi.org/10.1007/978-3-319-10587-1
Format: Electronic Resources

Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings

2024-05-08T05:10:23Z

Yazar O’Sullivan, Barry. editor.
http://dx.doi.org/10.1007/978-3-319-10428-7
Format: Electronic Resources

Uncertainty Reasoning for the Semantic Web III ISWC International Workshops, URSW 2011-2013, Revised Selected Papers

2024-05-08T05:10:23Z

Yazar Bobillo, Fernando. editor.
http://dx.doi.org/10.1007/978-3-319-13413-0
Format: Electronic Resources

PRICAI 2014: Trends in Artificial Intelligence 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, QLD, Australia, December 1-5, 2014. Proceedings

2024-05-08T05:10:23Z

Yazar Pham, Duc-Nghia. editor.
http://dx.doi.org/10.1007/978-3-319-13560-1
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

2024-05-08T05:10:23Z

Yazar Gupta, Gopal. editor.
http://dx.doi.org/10.1007/978-3-319-14125-1
Format: Electronic Resources

Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings

2024-05-08T05:10:23Z

Yazar Shi, Zhongzhi. editor.
http://dx.doi.org/10.1007/978-3-662-44980-6
Format: Electronic Resources

Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings

2024-05-08T05:10:23Z

Yazar Beierle, Christoph. editor.
http://dx.doi.org/10.1007/978-3-319-04939-7
Format: Electronic Resources

Transactions on Rough Sets XVIII

2024-05-08T05:10:23Z

Yazar Peters, James F. editor.
http://dx.doi.org/10.1007/978-3-662-44680-5
Format: Electronic Resources

Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers

2024-05-08T05:10:23Z

Yazar Croitoru, Madalina. editor.
http://dx.doi.org/10.1007/978-3-319-04534-4
Format: Electronic Resources

Computational Processing of the Portuguese Language 11th International Conference, PROPOR 2014, São Carlos/SP, Brazil, October 6-8, 2014. Proceedings

2024-05-08T05:10:23Z

Yazar Baptista, Jorge. editor.
http://dx.doi.org/10.1007/978-3-319-09761-9
Format: Electronic Resources

Controlled Natural Language 4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014. Proceedings

2024-05-08T05:10:23Z

Yazar Davis, Brian. editor.
http://dx.doi.org/10.1007/978-3-319-10223-8
Format: Electronic Resources

Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers

2024-05-08T05:10:23Z

Yazar van den Herik, H. Jaap. editor.
http://dx.doi.org/10.1007/978-3-319-09165-5
Format: Electronic Resources

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

2024-05-08T05:10:23Z

Yazar Combemale, Benoît. editor.
http://dx.doi.org/10.1007/978-3-319-11245-9
Format: Electronic Resources

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

2024-05-08T05:10:23Z

Yazar Giannakopoulou, Dimitra. editor.
http://dx.doi.org/10.1007/978-3-319-12154-3
Format: Electronic Resources

Artificial Intelligence and Symbolic Computation 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings

2024-05-08T05:10:23Z

Yazar Aranda-Corral, Gonzalo A. editor.
http://dx.doi.org/10.1007/978-3-319-13770-4
Format: Electronic Resources

Advances in Natural Language Processing 9th International Conference on NLP, PolTAL 2014, Warsaw, Poland, September 17-19, 2014. Proceedings

2024-05-08T05:10:23Z

Yazar Przepiórkowski, Adam. editor.
http://dx.doi.org/10.1007/978-3-319-10888-9
Format: Electronic Resources

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings

2024-05-08T05:10:23Z

Yazar Fermé, Eduardo. editor.
http://dx.doi.org/10.1007/978-3-319-11558-0
Format: Electronic Resources

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings

2024-05-08T05:10:23Z

Yazar Yahav, Eran. editor.
http://dx.doi.org/10.1007/978-3-319-13338-6
Format: Electronic Resources

Formal Concept Analysis 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014. Proceedings

2024-05-08T05:10:23Z

Yazar Glodeanu, Cynthia Vera. editor.
http://dx.doi.org/10.1007/978-3-319-07248-7
Format: Electronic Resources

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. Proceedings

2024-05-08T05:10:23Z

Yazar Klein, Gerwin. editor.
http://dx.doi.org/10.1007/978-3-319-08970-6
Format: Electronic Resources

Intelligent Computer Mathematics International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings

2024-05-08T05:10:23Z

Yazar Watt, Stephen M. editor.
http://dx.doi.org/10.1007/978-3-319-08434-3
Format: Electronic Resources

KI 2014: Advances in Artificial Intelligence 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings

2024-05-08T05:10:23Z

Yazar Lutz, Carsten. editor.
http://dx.doi.org/10.1007/978-3-319-11206-0
Format: Electronic Resources

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. Proceedings

2024-05-08T05:10:23Z

Yazar Kryszkiewicz, Marzena. editor.
http://dx.doi.org/10.1007/978-3-319-08729-0
Format: Electronic Resources

Artificial General Intelligence 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014. Proceedings

2024-05-08T05:10:23Z

Yazar Goertzel, Ben. editor.
http://dx.doi.org/10.1007/978-3-319-09274-4
Format: Electronic Resources

Information Processing and Management of Uncertainty in Knowledge-Based Systems 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part I

2024-05-08T05:10:23Z

Yazar Laurent, Anne. editor.
http://dx.doi.org/10.1007/978-3-319-08795-5
Format: Electronic Resources

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

2024-05-08T05:10:23Z

Yazar Codish, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-07151-0
Format: Electronic Resources

Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

2024-05-08T05:10:23Z

Yazar Cohen, Ernie. editor.
http://dx.doi.org/10.1007/978-3-642-54108-7
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

2024-05-08T05:10:23Z

Yazar McMillan, Kenneth L. editor.
http://dx.doi.org/10.1007/978-3-642-54013-4
Format: Electronic Resources

Formal Grammar 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedings

2024-05-08T05:10:23Z

Yazar Morrill, Glyn. editor.
http://dx.doi.org/10.1007/978-3-662-44121-3
Format: Electronic Resources

Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

2024-05-08T05:10:23Z

Yazar Kohlenbach, Ulrich. editor.
http://dx.doi.org/10.1007/978-3-662-44145-9
Format: Electronic Resources

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

2024-05-08T05:10:23Z

Yazar Zaverucha, Gerson. editor.
http://dx.doi.org/10.1007/978-3-662-44923-3
Format: Electronic Resources

Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings

2024-05-08T05:10:23Z

Yazar Asher, Nicholas. editor.
http://dx.doi.org/10.1007/978-3-662-43742-1
Format: Electronic Resources