Search Results for - Narrowed by: Mathematical logic. - Application software.

Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers

2024-05-08T15:22:14Z

Yazar Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329
https://doi.org/10.1007/978-3-030-23584-0
Format: Electronic Resources

The Semantic Web 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings

2024-05-08T15:22:14Z

Yazar Hitzler, Pascal. editor. (orcid)0000-0001-6192-3472
https://doi.org/10.1007/978-3-030-21348-0
Format: Electronic Resources

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

2024-05-08T15:22:14Z

Yazar Lutz, Carsten. editor.
https://doi.org/10.1007/978-3-030-22102-7
Format: Electronic Resources

On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

2024-05-08T15:22:14Z

Yazar Panetto, Hervé. editor. (orcid)0000-0002-5537-2261
https://doi.org/10.1007/978-3-030-33246-4
Format: Electronic Resources

Formal Concept Analysis 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019, Proceedings

2024-05-08T15:22:14Z

Yazar Cristea, Diana. editor. (orcid)0000-0003-1440-3786
https://doi.org/10.1007/978-3-030-21462-3
Format: Electronic Resources

Data Integration in the Life Sciences 13th International Conference, DILS 2018, Hannover, Germany, November 20-21, 2018, Proceedings

2024-05-08T15:22:14Z

Yazar Auer, Sören. editor.
https://doi.org/10.1007/978-3-030-06016-9
Format: Electronic Resources

Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers

2024-05-08T15:22:14Z

Yazar Sun, Xiaoming. editor.
https://doi.org/10.1007/978-981-15-0105-0
Format: Electronic Resources

Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding Third China Conference, CCKS 2018, Tianjin, China, August 14–17, 2018, Revised Selected Papers

2024-05-08T15:22:14Z

Yazar Zhao, Jun. editor.
https://doi.org/10.1007/978-981-13-3146-6
Format: Electronic Resources

Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

2024-05-08T15:22:14Z

Yazar Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834
https://doi.org/10.1007/978-3-030-19570-0
Format: Electronic Resources

Natural Language Processing and Chinese Computing 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9–14, 2019, Proceedings, Part I

2024-05-08T15:22:14Z

Yazar Tang, Jie. editor.
https://doi.org/10.1007/978-3-030-32233-5
Format: Electronic Resources

The Semantic Web – ISWC 2019 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings, Part I

2024-05-08T15:22:14Z

Yazar Ghidini, Chiara. editor. (orcid)0000-0003-1563-4965
https://doi.org/10.1007/978-3-030-30793-6
Format: Electronic Resources

The Semantic Web – ISWC 2019 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings, Part II

2024-05-08T15:22:14Z

Yazar Ghidini, Chiara. editor. (orcid)0000-0003-1563-4965
https://doi.org/10.1007/978-3-030-30796-7
Format: Electronic Resources

AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings

2024-05-08T15:22:14Z

Yazar Alviano, Mario. editor. (orcid)0000-0002-2052-2063
https://doi.org/10.1007/978-3-030-35166-3
Format: Electronic Resources

Metadata and Semantic Research 13th International Conference, MTSR 2019, Rome, Italy, October 28–31, 2019, Revised Selected Papers

2024-05-08T15:22:14Z

Yazar Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634
https://doi.org/10.1007/978-3-030-36599-8
Format: Electronic Resources

Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

2024-05-08T15:22:14Z

Yazar Fodor, Paul. editor. (orcid)0000-0002-2978-676X
https://doi.org/10.1007/978-3-030-31095-0
Format: Electronic Resources

Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings

2024-05-08T15:22:14Z

Yazar Uden, Lorna. editor.
https://doi.org/10.1007/978-3-030-21451-7
Format: Electronic Resources

Graph-Based Representation and Reasoning 24th International Conference on Conceptual Structures, ICCS 2019, Marburg, Germany, July 1–4, 2019, Proceedings

2024-05-08T15:22:14Z

Yazar Endres, Dominik. editor. (orcid)0000-0001-9756-9655
https://doi.org/10.1007/978-3-030-23182-8
Format: Electronic Resources

Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings

2024-05-08T15:22:14Z

Yazar Cuzzocrea, Alfredo. editor.
https://doi.org/10.1007/978-3-030-27629-4
Format: Electronic Resources

Knowledge Discovery, Knowledge Engineering and Knowledge Management 9th International Joint Conference, IC3K 2017, Funchal, Madeira, Portugal, November 1-3, 2017, Revised Selected Papers

2024-05-08T15:22:14Z

Yazar Fred, Ana. editor.
https://doi.org/10.1007/978-3-030-15640-4
Format: Electronic Resources

New Trends in Databases and Information Systems ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8–11, 2019, Proceedings

2024-05-08T15:22:14Z

Yazar Welzer, Tatjana. editor. (orcid)0000-0002-6865-4946
https://doi.org/10.1007/978-3-030-30278-8
Format: Electronic Resources

Artificial Intelligence Applications and Innovations 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings

2024-05-08T15:22:14Z

Yazar MacIntyre, John. editor.
https://doi.org/10.1007/978-3-030-19823-7
Format: Electronic Resources

Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings

2024-05-08T15:22:14Z

Yazar Guizzardi, Giancarlo. editor.
https://doi.org/10.1007/978-3-030-34146-6
Format: Electronic Resources

Natural Language Processing and Chinese Computing 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9–14, 2019, Proceedings, Part II

2024-05-08T15:22:14Z

Yazar Tang, Jie. editor.
https://doi.org/10.1007/978-3-030-32236-6
Format: Electronic Resources

Advanced Information Systems Engineering 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings

2024-05-08T15:22:14Z

Yazar Giorgini, Paolo. editor.
https://doi.org/10.1007/978-3-030-21290-2
Format: Electronic Resources

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

2024-05-08T15:22:14Z

Yazar Blackburn, Patrick. editor.
https://doi.org/10.1007/978-3-662-60292-8
Format: Electronic Resources

Reasoning Web. Explainable Artificial Intelligence 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures

2024-05-08T15:22:14Z

Yazar Krötzsch, Markus. editor. (orcid)0000-0002-9172-2601
https://doi.org/10.1007/978-3-030-31423-1
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

2024-05-08T15:22:14Z

Yazar Fränzle, Martin. editor.
http://dx.doi.org/10.1007/978-3-319-44878-7
Format: Electronic Resources

Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

2024-05-08T15:22:14Z

Yazar Skavhaug, Amund. editor.
http://dx.doi.org/10.1007/978-3-319-45480-1
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-08T15:22:14Z

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

Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

2024-05-08T15:22:14Z

Yazar Sankaranarayanan, Sriram. editor.
http://dx.doi.org/10.1007/978-3-319-22975-1
Format: Electronic Resources

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

2024-05-08T15:22:14Z

Yazar Cariani, Fabrizio. editor.
http://dx.doi.org/10.1007/978-3-319-08615-6
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-08T15:22:14Z

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