2,332 results
Search Results
2. Tools and Methods of Program Analysis : 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers
3. Semantics, Analytics, Visualization : 3rd International Workshop, SAVE-SD 2017, Perth, Australia, April 3, 2017, and 4th International Workshop, SAVE-SD 2018, Lyon, France, April 24, 2018, Revised Selected Papers
4. New Frontiers in Artificial Intelligence : JSAI-isAI 2021 Workshops, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13–15, 2021, Revised Selected Papers
5. Artificial Intelligence and Natural Language : 11th Conference, AINL 2022, Saint Petersburg, Russia, April 14–15, 2022, Revised Selected Papers
6. Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers
7. From Data to Models and Back : 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers
8. Knowledge Graph and Semantic Computing: Knowledge Graph Empowers the Digital Economy : 7th China Conference, CCKS 2022, Qinhuangdao, China, August 24–27, 2022, Revised Selected Papers
9. Bio-Inspired Computing: Theories and Applications : 16th International Conference, BIC-TA 2021, Taiyuan, China, December 17–19, 2021, Revised Selected Papers, Part I
10. Agents and Artificial Intelligence : 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22–24, 2023, Revised Selected Papers
11. Dynamic Logic. New Trends and Applications : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers
12. AI Approaches to the Complexity of Legal Systems XI-XII : AICOL International Workshops 2018 and 2020: AICOL-XI@JURIX 2018, AICOL-XII@JURIX 2020, XAILA@JURIX 2020, Revised Selected Papers
13. Formal Methods – Fun for Everybody : First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers
14. Artificial Intelligence and Machine Learning : 32nd Benelux Conference, BNAIC/Benelearn 2020, Leiden, The Netherlands, November 19–20, 2020, Revised Selected Papers
15. Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers
16. Tools and Methods of Program Analysis : 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers
17. Engineering Multi-Agent Systems : 11th International Workshop, EMAS 2023, London, UK, May 29–30, 2023, Revised Selected Papers
18. New Frontiers in Artificial Intelligence : JSAI-isAI 2022 Workshop, JURISIN 2022, and JSAI 2022 International Session, Kyoto, Japan, June 12–17, 2022, Revised Selected Papers
19. Learning and Intelligent Optimization : 16th International Conference, LION 16, Milos Island, Greece, June 5–10, 2022, Revised Selected Papers
20. Artificial Life and Evolutionary Computation : 15th Italian Workshop, WIVACE 2021, Winterthur, Switzerland, September 15–17, 2021, Revised Selected Papers
21. Artificial Life and Evolutionary Computation : 16th Italian Workshop, WIVACE 2022, Gaeta, Italy, September 14–16, 2022, Revised Selected Papers
22. Measuring Ontologies for Value Enhancement: Aligning Computing Productivity with Human Creativity for Societal Adaptation : First International Workshop, MOVE 2020, Virtual Event, October 17–18, 2020, Revised Selected Papers
23. Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVI : 27th International Workshop, COINE 2023, London, UK, May 29, 2023, Revised Selected Papers
24. Explainable and Transparent AI and Multi-Agent Systems : 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023, Revised Selected Papers
25. Bio-Inspired Computing: Theories and Applications : 17th International Conference, BIC-TA 2022, Wuhan, China, December 16–18, 2022, Revised Selected Papers
26. Verified Software. Theories, Tools and Experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers
27. Evaluation of Novel Approaches to Software Engineering : 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4–5, 2019, Revised Selected Papers
28. New Frontiers in Artificial Intelligence : JSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November 10–12, 2019, Revised Selected Papers
29. Variable Neighborhood Search : 7th International Conference, ICVNS 2019, Rabat, Morocco, October 3–5, 2019, Revised Selected Papers
30. Technology-Inspired Smart Learning for Future Education : 29th National Conference on Computer Science Technology and Education, NCCSTE 2019, Kaifeng, China, October 9–11, 2019, Revised Selected Papers
31. Mobile Internet Security : 4th International Symposium, MobiSec 2019, Taichung, Taiwan, October 17–19, 2019, Revised Selected Papers
32. Advances in Computer Games : 16th International Conference, ACG 2019, Macao, China, August 11–13, 2019, Revised Selected Papers
33. Swarm, Evolutionary, and Memetic Computing and Fuzzy and Neural Computing : 7th International Conference, SEMCCO 2019, and 5th International Conference, FANCCO 2019, Maribor, Slovenia, July 10–12, 2019, Revised Selected Papers
34. Bio-inspired Computing: Theories and Applications : 14th International Conference, BIC-TA 2019, Zhengzhou, China, November 22–25, 2019, Revised Selected Papers, Part II
35. Autonomous Agents and Multiagent Systems : AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
36. Explainable and Transparent AI and Multi-Agent Systems : 4th International Workshop, EXTRAAMAS 2022, Virtual Event, May 9–10, 2022, Revised Selected Papers
37. Agents and Artificial Intelligence : 13th International Conference, ICAART 2021, Virtual Event, February 4–6, 2021, Revised Selected Papers
38. New Frontiers in Artificial Intelligence : JSAI-isAI 2018 Workshops, JURISIN, AI-Biz, SKL, LENLS, IDAA, Yokohama, Japan, November 12–14, 2018, Revised Selected Papers
39. Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
40. Artificial Intelligence in Health : First International Workshop, AIH 2018, Stockholm, Sweden, July 13-14, 2018, Revised Selected Papers
41. New Trends in Computer Technologies and Applications : 23rd International Computer Symposium, ICS 2018, Yunlin, Taiwan, December 20–22, 2018, Revised Selected Papers
42. Advances in Optimization and Applications : 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021, Revised Selected Papers
43. Formalising Natural Languages: Applications to Natural Language Processing and Digital Humanities : 14th International Conference, NooJ 2020, Zagreb, Croatia, June 5–7, 2020, Revised Selected Papers
44. Knowledge Discovery, Knowledge Engineering and Knowledge Management : 11th International Joint Conference, IC3K 2019, Vienna, Austria, September 17-19, 2019, Revised Selected Papers
45. From Data to Models and Back : 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers
46. Membrane Computing : 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers
47. Multi-Agent Systems : 18th European Conference, EUMAS 2021, Virtual Event, June 28–29, 2021, Revised Selected Papers
48. Modelling and Development of Intelligent Systems : 7th International Conference, MDIS 2020, Sibiu, Romania, October 22–24, 2020, Revised Selected Papers
49. Chatbot Research and Design : 4th International Workshop, CONVERSATIONS 2020, Virtual Event, November 23–24, 2020, Revised Selected Papers
50. New Frontiers in Artificial Intelligence : JSAI-isAI 2020 Workshops, JURISIN, LENLS 2020 Workshops, Virtual Event, November 15–17, 2020, Revised Selected Papers
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.