172 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. 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
4. Artificial Intelligence and Natural Language : 11th Conference, AINL 2022, Saint Petersburg, Russia, April 14–15, 2022, Revised Selected Papers
5. Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers
6. From Data to Models and Back : 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers
7. 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
8. Bio-Inspired Computing: Theories and Applications : 16th International Conference, BIC-TA 2021, Taiyuan, China, December 17–19, 2021, Revised Selected Papers, Part I
9. Agents and Artificial Intelligence : 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22–24, 2023, Revised Selected Papers
10. Dynamic Logic. New Trends and Applications : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers
11. Engineering Multi-Agent Systems : 11th International Workshop, EMAS 2023, London, UK, May 29–30, 2023, Revised Selected Papers
12. 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
13. Learning and Intelligent Optimization : 16th International Conference, LION 16, Milos Island, Greece, June 5–10, 2022, Revised Selected Papers
14. Artificial Life and Evolutionary Computation : 15th Italian Workshop, WIVACE 2021, Winterthur, Switzerland, September 15–17, 2021, Revised Selected Papers
15. Artificial Life and Evolutionary Computation : 16th Italian Workshop, WIVACE 2022, Gaeta, Italy, September 14–16, 2022, Revised Selected Papers
16. 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
17. 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
18. Explainable and Transparent AI and Multi-Agent Systems : 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023, Revised Selected Papers
19. Bio-Inspired Computing: Theories and Applications : 17th International Conference, BIC-TA 2022, Wuhan, China, December 16–18, 2022, Revised Selected Papers
20. Verified Software. Theories, Tools and Experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers
21. Explainable and Transparent AI and Multi-Agent Systems : 4th International Workshop, EXTRAAMAS 2022, Virtual Event, May 9–10, 2022, Revised Selected Papers
22. Agents and Artificial Intelligence : 13th International Conference, ICAART 2021, Virtual Event, February 4–6, 2021, Revised Selected Papers
23. Advances in Computer Games : 18th International Conference, ACG 2023, Virtual Event, November 28–30, 2023, Revised Selected Papers
24. Advances in Optimization and Applications : 13th International Conference, OPTIMA 2022, Petrovac, Montenegro, September 26–30, 2022, Revised Selected Papers
25. Advances in Optimization and Applications : 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18–22, 2023, Revised Selected Papers
26. Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XV : International Workshop, COINE 2022, Virtual Event, May 9, 2022, Revised Selected Papers
27. Advances in Computer Games : 17th International Conference, ACG 2021, Virtual Event, November 23–25, 2021, Revised Selected Papers
28. Language, Logic, and Computation : 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers
29. Computational Science and Its Applications – ICCSA 2023 Workshops : Athens, Greece, July 3–6, 2023, Proceedings, Part IX
30. New Trends in Computer Technologies and Applications : 25th International Computer Symposium, ICS 2022, Taoyuan, Taiwan, December 15–17, 2022, Proceedings
31. Graph-Based Representation and Reasoning : 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11–13, 2023, Proceedings
32. Artificial Intelligence Logic and Applications : The 3rd International Conference, AILA 2023, Changchun, China, August 5–6, 2023, Proceedings
33. Advances in Swarm Intelligence : 14th International Conference, ICSI 2023, Shenzhen, China, July 14–18, 2023, Proceedings, Part I
34. Formal Concept Analysis : 17th International Conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023, Proceedings
35. Knowledge Science, Engineering and Management : 16th International Conference, KSEM 2023, Guangzhou, China, August 16–18, 2023, Proceedings, Part II
36. Parallel and Distributed Computing, Applications and Technologies : 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7–9, 2022, Proceedings
37. Logic and Argumentation : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings
38. Web and Big Data. APWeb-WAIM 2022 International Workshops : KGMA 2022, SemiBDMA 2022, DeepLUDA 2022, Nanjing, China, November 25-27, 2022, Proceedings
39. Advances in Swarm Intelligence : 13th International Conference, ICSI 2022, Xi'an, China, July 15–19, 2022, Proceedings, Part II
40. Knowledge Science, Engineering and Management : 15th International Conference, KSEM 2022, Singapore, August 6–8, 2022, Proceedings, Part I
41. Graph-Based Representation and Reasoning : 27th International Conference on Conceptual Structures, ICCS 2022, Münster, Germany, September 12–15, 2022, Proceedings
42. Implementation and Application of Automata : 26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings
43. Parallel and Distributed Computing, Applications and Technologies : 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17–19, 2021, Proceedings
44. Inductive Logic Programming : 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings
45. Proceedings of the 2023 International Conference on Data Science, Advanced Algorithm and Intelligent Computing (DAI 2023)
46. Graphs in Biomedical Image Analysis, and Overlapped Cell on Tissue Dataset for Histopathology : 5th MICCAI Workshop, GRAIL 2023 and 1st MICCAI Challenge, OCELOT 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, September 23, and October 4, 2023, Proceedings
47. Advanced Computational Applications of Geometric Algebra : First International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022, Proceedings
48. Human and Artificial Rationalities : Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings
49. SOFSEM 2024: Theory and Practice of Computer Science : 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19–23, 2024, Proceedings
50. Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.