1
Bridging the Gap Between AI and Reality [E-Book] : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings /
Subject (ZB): “...Artificial intelligence....”

Full text 
Favorites
Saved in:
2
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering [E-Book] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II /
Subject (ZB): “...Artificial intelligence....”

Full text 
Favorites
Saved in:
3
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning [E-Book] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III /
Subject (ZB): “...Artificial intelligence....”

Full text 
Favorites
Saved in:
4
Leveraging Applications of Formal Methods, Verification and Validation. Practice [E-Book] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV /
Subject (ZB): “...Artificial intelligence....”

Full text 
Favorites
Saved in:
5
Leveraging Applications of Formal Methods, Verification and Validation [E-Book] : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings /
Subject (ZB): “...Artificial intelligence....”

Full text 
Favorites
Saved in:
6
Model Checking, Synthesis, and Learning [E-Book] : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday /
Subject (ZB): “...Artificial intelligence....”

Full text 
Favorites
Saved in:
7
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques [E-Book] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I /
Subject (ZB): “...Artificial intelligence....”

Full text 
Favorites
Saved in:
8
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [E-Book] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /
Subject (ZB): “...Artificial intelligence....”

Full text 
Favorites
Saved in:
9
Advances in Information Retrieval [E-Book] : 31th European Conference on IR Research, ECIR 2009, Toulouse, France, April 6-9, 2009. Proceedings /
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:
10
Formal Concept Analysis [E-Book] : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:
11
Advances in Artificial Intelligence [E-Book] : 22nd Canadian Conference on Artificial Intelligence, Canadian AI 2009 Kelowna, Canada, May 25-27, 2009 Proceedings /
Gao, Yong
2009
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:
12
Model Checking and Artificial Intelligence [E-Book] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:
13
Multimodal Signals: Cognitive and Algorithmic Issues [E-Book] : COST Action 2102 and euCognition International School Vietri sul Mare, Italy, April 21-26, 2008 Revised Selected and Invited Papers /
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:
14
Agent and Multi-Agent Systems: Technologies and Applications [E-Book] : Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings /
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:
15
Multi-Agent-Based Simulation IX [E-Book] : International Workshop, MAPS 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers /
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:
16
Research in Computational Molecular Biology [E-Book] : 13th Annual International Conference, RECOMB 2009, Tucson, AZ, USA, May 18-21, 2009. Proceedings /
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:
17
Computer Vision and Graphics [E-Book] : International Conference, ICCVG 2008 Warsaw, Poland, November 10-12, 2008 Revised Papers /
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:
18
Agent-Oriented Software Engineering IX [E-Book] : 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers /
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:
19
Advances in Neural Networks – ISNN 2009 [E-Book] : 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part I /
He, Haibo
2009
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:
20
Advances in Neural Networks – ISNN 2009 [E-Book] : 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part II /
He, Haibo
2009
Subject (ZB): “...Artificial intelligence...”

Full text 
Favorites
Saved in:

Narrow Search Results