Search Results for Prediction (Logic)

24 Results Found

1 2

000000000000DEFAULT

13.

Cover image for Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Author

Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521275.1)

Electronic Access

https://doi.org/10.1007/978-3-031-47115-5

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for AIxIA 2023 - Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings

AIxIA 2023 - Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings

Author

Basili, Roberto. editor. Lembo, Domenico. editor. Limongelli, Carla. editor. Orlandini, Andrea. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521280.1)

Electronic Access

https://doi.org/10.1007/978-3-031-47546-7

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Advances in Information Retrieval 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part I

Advances in Information Retrieval 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part I

Author

Kamps, Jaap. editor. Goeuriot, Lorraine. editor. Crestani, Fabio. editor. Maistro, Maria. editor. Joho, Hideo. editor. (orcid)

Preferred Shelf Number

XX(521289.1)

Electronic Access

https://doi.org/10.1007/978-3-031-28244-7

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings

Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings

Author

García Bringas, Pablo. editor. Pérez García, Hilde. editor. Martínez de Pisón, Francisco Javier. editor. Martínez Álvarez, Francisco. editor. Troncoso Lora, Alicia. editor. (orcid)

Preferred Shelf Number

XX(521307.1)

Electronic Access

https://doi.org/10.1007/978-3-031-40725-3

Format:

Availability

Online Library~1

Available:
Copies:

17.

Flexible Query Answering Systems 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023, Proceedings

Author

Larsen, Henrik Legind. editor. Martin-Bautista, Maria J. editor. Ruiz, M. Dolores. editor. Andreasen, Troels. editor. Bordogna, Gloria. editor.

Preferred Shelf Number

XX(521126.1)

Electronic Access

https://doi.org/10.1007/978-3-031-42935-4

Format:

Availability

Online Library~1

Available:
Copies:

18.

Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings

Author

Katsaros, Panagiotis. editor. Nenzi, Laura. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521209.1)

Electronic Access

https://doi.org/10.1007/978-3-031-44267-4

Format:

Availability

Online Library~1

Available:
Copies:

19.

Discovery Science 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings

Author

Bifet, Albert. editor. Lorena, Ana Carolina. editor. Ribeiro, Rita P. editor. Gama, João. editor. Abreu, Pedro H. editor.

Preferred Shelf Number

XX(521228.1)

Electronic Access

https://doi.org/10.1007/978-3-031-45275-8

Format:

Availability

Online Library~1

Available:
Copies:

20.

Proceedings of the Fifth International Conference on Fuzzy and Neuro Computing (FANCCO - 2015)

Author

Ravi, V. editor. Panigrahi, Bijaya Ketan. editor. Das, Swagatam. editor. Suganthan, Ponnuthurai Nagaratnam. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518342.1)

Electronic Access

https://doi.org/10.1007/978-3-319-27212-2

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Nature of Computation and Communication International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

Nature of Computation and Communication International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

Author

Vinh, Phan Cong. editor. Vassev, Emil. editor. Hinchey, Mike. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518529.1)

Electronic Access

https://doi.org/10.1007/978-3-319-15392-6

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Web-Age Information Management WAIM 2015 International Workshops: HENA, HRSUNE, Qingdao, China, June 8-10, 2015, Revised Selected Papers

Web-Age Information Management WAIM 2015 International Workshops: HENA, HRSUNE, Qingdao, China, June 8-10, 2015, Revised Selected Papers

Author

Xiao, Xiaokui. editor. Zhang, Zhenjie. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519109.1)

Electronic Access

https://doi.org/10.1007/978-3-319-23531-8

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings

Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings

Author

Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518763.1)

Electronic Access

https://doi.org/10.1007/978-3-319-23485-4

Format:

Availability

Online Library~1

Available:
Copies:

24.

The art of causal conjecture

Author

Shafer, Glenn, 1946-

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267502

Format:

Availability

Online Library~1

Available:
Copies:

1 2

	{displayName}	{count}
{error}