Search Results for - Narrowed by: Information Systems Applications (incl. Internet). - Mathematical Logic and Formal Languages.

Database and Expert Systems Applications 29th International Conference, DEXA 2018, Regensburg, Germany, September 3–6, 2018, Proceedings, Part II

2024-05-26T21:15:11Z

by Hartmann, Sven. editor.
https://doi.org/10.1007/978-3-319-98812-2
Format: Electronic Resources

Big Data Analytics 6th International Conference, BDA 2018, Warangal, India, December 18–21, 2018, Proceedings

2024-05-26T21:15:11Z

by Mondal, Anirban. editor.
https://doi.org/10.1007/978-3-030-04780-1
Format: Electronic Resources

Web and Wireless Geographical Information Systems 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21–22, 2018, Proceedings

2024-05-26T21:15:11Z

by R. Luaces, Miguel. editor.
https://doi.org/10.1007/978-3-319-90053-7
Format: Electronic Resources

Artificial Intelligence and Symbolic Computation 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings

2024-05-26T21:15:11Z

by Fleuriot, Jacques. editor.
https://doi.org/10.1007/978-3-319-99957-9
Format: Electronic Resources

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 Papers

2024-05-26T21:15:11Z

by Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849
https://doi.org/10.1007/978-3-030-00178-0
Format: Electronic Resources

Graph Structures for Knowledge Representation and Reasoning 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers

2024-05-26T21:15:11Z

by Croitoru, Madalina. editor.
https://doi.org/10.1007/978-3-319-78102-0
Format: Electronic Resources

The Semantic Web – ISWC 2018 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018, Proceedings, Part II

2024-05-26T21:15:11Z

by Vrandečić, Denny. editor. (orcid)0000-0002-9593-2294
https://doi.org/10.1007/978-3-030-00668-6
Format: Electronic Resources

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 Papers

2024-05-26T21:15:11Z

by Garrigós, Irene. editor.
https://doi.org/10.1007/978-3-319-74433-9
Format: Electronic Resources

Diagrammatic Representation and Inference 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings

2024-05-26T21:15:11Z

by Chapman, Peter. editor. (orcid)0000-0002-5524-5780
https://doi.org/10.1007/978-3-319-91376-6
Format: Electronic Resources

Conceptual Modeling 37th International Conference, ER 2018, Xi'an, China, October 22–25, 2018, Proceedings

2024-05-26T21:15:11Z

by Trujillo, Juan C. editor. (orcid)0000-0003-0139-6724
https://doi.org/10.1007/978-3-030-00847-5
Format: Electronic Resources

Lifelong Technology-Enhanced Learning 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, Leeds, UK, September 3-5, 2018, Proceedings

2024-05-26T21:15:11Z

by Pammer-Schindler, Viktoria. editor. (orcid)0000-0001-7061-8947
https://doi.org/10.1007/978-3-319-98572-5
Format: Electronic Resources

Digital Libraries for Open Knowledge 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, Porto, Portugal, September 10–13, 2018, Proceedings

2024-05-26T21:15:11Z

by Méndez, Eva. editor. (orcid)0000-0002-5337-4722
https://doi.org/10.1007/978-3-030-00066-0
Format: Electronic Resources

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 II

2024-05-26T21:15:11Z

by Panetto, Hervé. editor.
https://doi.org/10.1007/978-3-030-02671-4
Format: Electronic Resources

The Semantic Web: ESWC 2018 Satellite Events ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers

2024-05-26T21:15:11Z

by Gangemi, Aldo. editor. (orcid)0000-0001-5568-2684
https://doi.org/10.1007/978-3-319-98192-5
Format: Electronic Resources

The Semantic Web 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3–7, 2018, Proceedings

2024-05-26T21:15:11Z

by Gangemi, Aldo. editor.
https://doi.org/10.1007/978-3-319-93417-4
Format: Electronic Resources

Advanced Computing Strategies for Engineering 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II

2024-05-26T21:15:11Z

by Smith, Ian F. C. editor.
https://doi.org/10.1007/978-3-319-91638-5
Format: Electronic Resources

Agents and Artificial Intelligence 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers

2024-05-26T21:15:11Z

by van den Herik, Jaap. editor.
https://doi.org/10.1007/978-3-319-93581-2
Format: Electronic Resources

Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

2024-05-26T21:15:11Z

by Abdelwahed, El Hassan. editor.
https://doi.org/10.1007/978-3-030-00856-7
Format: Electronic Resources

Semantic Technology 8th Joint International Conference, JIST 2018, Awaji, Japan, November 26–28, 2018, Proceedings

2024-05-26T21:15:11Z

by Ichise, Ryutaro. editor.
https://doi.org/10.1007/978-3-030-04284-4
Format: Electronic Resources

The Semantic Web – ISWC 2018 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018, Proceedings, Part I

2024-05-26T21:15:11Z

by Vrandečić, Denny. editor. (orcid)0000-0002-9593-2294
https://doi.org/10.1007/978-3-030-00671-6
Format: Electronic Resources

Product Lifecycle Management to Support Industry 4.0 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedings

2024-05-26T21:15:11Z

by Chiabert, Paolo. editor.
https://doi.org/10.1007/978-3-030-01614-2
Format: Electronic Resources

Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks

2024-05-26T21:15:11Z

by Usman, Muhammad. author.
https://doi.org/10.1007/978-981-10-7467-7
Format: Electronic Resources

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

2024-05-26T21:15:11Z

by Schockaert, Steven. editor.
https://doi.org/10.1007/978-3-319-45856-4
Format: Electronic Resources

Information Technology in Bio- and Medical Informatics 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings

2024-05-26T21:15:11Z

by Renda, M. Elena. editor.
https://doi.org/10.1007/978-3-319-43949-5
Format: Electronic Resources

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

2024-05-26T21:15:11Z

by Hameurlain, Abdelkader. editor.
https://doi.org/10.1007/978-3-662-49175-1
Format: Electronic Resources

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

2024-05-26T21:15:11Z

by Friedrich, Gerhard. editor.
https://doi.org/10.1007/978-3-319-46073-4
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-26T21:15:11Z

by Rovatsos, Michael. editor.
https://doi.org/10.1007/978-3-319-33509-4
Format: Electronic Resources

Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

2024-05-26T21:15:11Z

by Milazzo, Paolo. editor.
https://doi.org/10.1007/978-3-319-50230-4
Format: Electronic Resources

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

2024-05-26T21:15:11Z

by Qi, Guilin. editor.
https://doi.org/10.1007/978-3-319-31676-5
Format: Electronic Resources

Transactions on Rough Sets XX

2024-05-26T21:15:11Z

by Peters, James F. editor.
https://doi.org/10.1007/978-3-662-53611-7
Format: Electronic Resources

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

2024-05-26T21:15:11Z

by Probst, Christian W. editor.
https://doi.org/10.1007/978-3-319-27810-0
Format: Electronic Resources

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

2024-05-26T21:15:11Z

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

Trustworthy Global Computing 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers

2024-05-26T21:15:11Z

by Ganty, Pierre. editor.
https://doi.org/10.1007/978-3-319-28766-9
Format: Electronic Resources

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

2024-05-26T21:15:11Z

by Hudec, Miroslav. author.
https://doi.org/10.1007/978-3-319-42518-4
Format: Electronic Resources

Semantic Technology 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers

2024-05-26T21:15:11Z

by Li, Yuan-Fang. editor.
https://doi.org/10.1007/978-3-319-50112-3
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

2024-05-26T21:15:11Z

by Albert, Elvira. editor.
https://doi.org/10.1007/978-3-319-39570-8
Format: Electronic Resources

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

2024-05-26T21:15:11Z

by Baldoni, Matteo. editor.
https://doi.org/10.1007/978-3-319-44832-9
Format: Electronic Resources

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

2024-05-26T21:15:11Z

by Bernardo, Marco. editor.
https://doi.org/10.1007/978-3-319-34096-8
Format: Electronic Resources

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

2024-05-26T21:15:11Z

by Gyssens, Marc. editor.
https://doi.org/10.1007/978-3-319-30024-5
Format: Electronic Resources

Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

2024-05-26T21:15:11Z

by Michael, Loizos. editor.
https://doi.org/10.1007/978-3-319-48758-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-26T21:15:11Z

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

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

2024-05-26T21:15:11Z

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

Web Reasoning and Rule Systems 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings

2024-05-26T21:15:11Z

by Ortiz, Magdalena. editor.
https://doi.org/10.1007/978-3-319-45276-0
Format: Electronic Resources