Search Results for - Narrowed by: Information systems. - Logic design.

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

2024-06-20T05:20:15Z

by Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703
https://doi.org/10.1007/978-3-319-99960-9
Format: Electronic Resources

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

2024-06-20T05:20:15Z

by Benzmüller, Christoph. editor.
https://doi.org/10.1007/978-3-319-99906-7
Format: Electronic Resources

Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings

2024-06-20T05:20:15Z

by Chen, Liqun. editor. (orcid)0000-0003-2680-4907
https://doi.org/10.1007/978-3-319-99136-8
Format: Electronic Resources

Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

2024-06-20T05:20:15Z

by Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829
https://doi.org/10.1007/978-3-319-96983-1
Format: Electronic Resources

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

2024-06-20T05:20:15Z

by Yokota, Rio. editor. (orcid)0000-0001-7573-7873
https://doi.org/10.1007/978-3-319-69953-0
Format: Electronic Resources

Process Mining Data Science in Action

2024-06-20T05:20:15Z

by van der Aalst, Wil. author.
https://doi.org/10.1007/978-3-662-49851-4
Format: Electronic Resources

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

2024-06-20T05:20:15Z

by Cha, Sungdeok (Steve). editor.
http://dx.doi.org/10.1007/978-3-540-88387-6
Format: Electronic Resources

Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

2024-06-20T05:20:15Z

by Bassiliades, Nick. editor.
http://dx.doi.org/10.1007/978-3-540-88808-6
Format: Electronic Resources

Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings

2024-06-20T05:20:15Z

by Stuckey, Peter J. editor.
http://dx.doi.org/10.1007/978-3-540-85958-1
Format: Electronic Resources

The Semantic Web 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings.

2024-06-20T05:20:15Z

by Domingue, John. editor.
http://dx.doi.org/10.1007/978-3-540-89704-0
Format: Electronic Resources

Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures

2024-06-20T05:20:15Z

by Baroglio, Cristina. editor.
http://dx.doi.org/10.1007/978-3-540-85658-0
Format: Electronic Resources

The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings

2024-06-20T05:20:15Z

by Sheth, Amit. editor.
http://dx.doi.org/10.1007/978-3-540-88564-1
Format: Electronic Resources

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings

2024-06-20T05:20:15Z

by Namjoshi, Kedar S. editor.
http://dx.doi.org/10.1007/978-3-540-75596-8
Format: Electronic Resources

Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures

2024-06-20T05:20:15Z

by Antoniou, Grigoris. editor.
http://dx.doi.org/10.1007/978-3-540-74615-7
Format: Electronic Resources

Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings

2024-06-20T05:20:15Z

by Marchiori, Massimo. editor.
http://dx.doi.org/10.1007/978-3-540-72982-2
Format: Electronic Resources

Advances in Rule Interchange and Applications International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings

2024-06-20T05:20:15Z

by Paschke, Adrian. editor.
http://dx.doi.org/10.1007/978-3-540-75975-1
Format: Electronic Resources

The Semantic Web 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007. Proceedings

2024-06-20T05:20:15Z

by Aberer, Karl. editor.
http://dx.doi.org/10.1007/978-3-540-76298-0
Format: Electronic Resources

Principles and Practice of Constraint Programming – CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings

2024-06-20T05:20:15Z

by Bessière, Christian. editor.
http://dx.doi.org/10.1007/978-3-540-74970-7
Format: Electronic Resources

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows

2024-06-20T05:20:15Z

by Prodan, Radu. author.
http://dx.doi.org/10.1007/978-3-540-69262-1
Format: Electronic Resources

The Semantic Web – ASWC 2006 First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006. Proceedings

2024-06-20T05:20:15Z

by Mizoguchi, Riichiro. editor.
http://dx.doi.org/10.1007/11836025
Format: Electronic Resources

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings

2024-06-20T05:20:15Z

by Benhamou, Frédéric. editor.
http://dx.doi.org/10.1007/11889205
Format: Electronic Resources

Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings

2024-06-20T05:20:15Z

by Graf, Susanne. editor.
http://dx.doi.org/10.1007/11901914
Format: Electronic Resources

System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers

2024-06-20T05:20:15Z

by Gotzhein, Reinhard. editor.
http://dx.doi.org/10.1007/11951148
Format: Electronic Resources

The Semantic Web - ISWC 2006 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006. Proceedings

2024-06-20T05:20:15Z

by Cruz, Isabel. editor.
http://dx.doi.org/10.1007/11926078
Format: Electronic Resources

Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures

2024-06-20T05:20:15Z

by Eisinger, Norbert. editor.
http://dx.doi.org/10.1007/11526988
Format: Electronic Resources

Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings

2024-06-20T05:20:15Z

by Beek, Peter. editor.
http://dx.doi.org/10.1007/11564751
Format: Electronic Resources

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

2024-06-20T05:20:15Z

by Peled, Doron A. editor.
http://dx.doi.org/10.1007/11562948
Format: Electronic Resources

Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005. Proceedings

2024-06-20T05:20:15Z

by Adi, Asaf. editor.
http://dx.doi.org/10.1007/11580072
Format: Electronic Resources

The Semantic Web – ISWC 2005 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedings

2024-06-20T05:20:15Z

by Gil, Yolanda. editor.
http://dx.doi.org/10.1007/11574620
Format: Electronic Resources

Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports

2024-06-20T05:20:15Z

by Malenfant, Jacques. editor.
http://dx.doi.org/10.1007/b104146
Format: Electronic Resources

Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

2024-06-20T05:20:15Z

by Hinchey, Michael G. editor.
http://dx.doi.org/10.1007/b105317
Format: Electronic Resources