Search Results for Reasoning.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

21 Results Found

000000000000000000000DEFAULT

Cover image for Graph-Based Representation and Reasoning 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings

Graph-Based Representation and Reasoning 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings

Author

Haemmerlé, Ollivier. editor. Stapleton, Gem. editor. Faron Zucker, Catherine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Generic Inference a Unifying Theory for Automated Reasoning

Author

Pouly, Marc, 1980- author. Kohlas, Jürg, 1939- author. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=698878
http://site.ebrary.com/lib/alltitles/Doc?id=10469758
Volltext http://proquest.tech.safaribooksonline.de/9781118010860

Format:

Availability

Online Library~1

Available:
Copies:

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

Author

Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-7956-0

Format:

Availability

Online Library~1

Available:
Copies:

Handling Uncertainty in Artificial Intelligence

Author

Chaki, Jyotismita. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-5333-2

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I

Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I

Author

Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-60042-0

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Multi-disciplinary Trends in Artificial Intelligence 11th International Workshop, MIWAI 2017, Gadong, Brunei, November 20-22, 2017, Proceedings

Multi-disciplinary Trends in Artificial Intelligence 11th International Workshop, MIWAI 2017, Gadong, Brunei, November 20-22, 2017, Proceedings

Author

Phon-Amnuaisuk, Somnuk. editor. Ang, Swee-Peng. editor. Lee, Soo-Young. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Author

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-63501-9

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Intelligent Information and Database Systems 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part II

Intelligent Information and Database Systems 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part II

Author

Nguyen, Ngoc Thanh. editor. Tojo, Satoshi. editor. Nguyen, Le Minh. editor. (orcid)0000-0002-2265-1010 Trawiński, Bogdan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Artificial Intelligence XXXIV 37th SGAI International Conference on Artificial Intelligence, AI 2017, Cambridge, UK, December 12-14, 2017, Proceedings

Artificial Intelligence XXXIV 37th SGAI International Conference on Artificial Intelligence, AI 2017, Cambridge, UK, December 12-14, 2017, Proceedings

Author

Bramer, Max. editor. Petridis, Miltos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-71078-5

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Advances in Soft Computing 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part II

Advances in Soft Computing 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part II

Author

Pichardo-Lagunas, Obdulia. editor. Miranda-Jiménez, Sabino. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-62428-0

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Advances in Computational Intelligence 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part I

Advances in Computational Intelligence 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part I

Author

Sidorov, Grigori. editor. Herrera-Alcántara, Oscar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-62434-1

Format:

Availability

Online Library~1

Available:
Copies:

12.

Intelligent Information and Database Systems 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part I

Author

Nguyen, Ngoc Thanh. editor. Tojo, Satoshi. editor. Nguyen, Le Minh. editor. (orcid)0000-0002-2265-1010 Trawiński, Bogdan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

Cover image for KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings.

KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings.

Author

Kern-Isberner, Gabriele. editor. Fürnkranz, Johannes. editor. (orcid)0000-0002-1207-0159 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67190-1

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Progress in Artificial Intelligence 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings

Progress in Artificial Intelligence 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings

Author

Oliveira, Eugénio. editor. Gama, João. editor. Vale, Zita. editor. Lopes Cardoso, Henrique. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Author

Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-60045-1

Format:

Availability

Online Library~1

Available:
Copies:

16.

Mathematical Software - ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

Author

Greuel, Gert-Martin. editor. Koch, Thorsten. editor. Paule, Peter. editor. Sommese, Andrew. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-42432-3

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Multi-disciplinary Trends in Artificial Intelligence 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings

Multi-disciplinary Trends in Artificial Intelligence 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings

Author

Sombattheera, Chattrakul. editor. Stolzenburg, Frieder. editor. Lin, Fangzhen. editor. Nayak, Abhaya. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings

Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings

Author

Kulikov, Alexander S. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for AI 2016: Advances in Artificial Intelligence 29th Australasian Joint Conference, Hobart, TAS, Australia, December 5-8, 2016, Proceedings

AI 2016: Advances in Artificial Intelligence 29th Australasian Joint Conference, Hobart, TAS, Australia, December 5-8, 2016, Proceedings

Author

Kang, Byeong Ho. editor. Bai, Quan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-50127-7

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Author

Väänänen, Jouko. editor. Hirvonen, Åsa. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-52921-8

Format:

Availability

Online Library~1

Available:
Copies:

21.

Scalable Uncertainty Management 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings

Author

Schockaert, Steven. editor. Senellart, Pierre. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

	{displayName}	{count}
{error}