Breadcrumb Home Catalog Catalog Book Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III Publication date October 2018 Authors Steen, A. Subjects Computer Sciences, Artificial Intelligence Volume 345 of Dissertations in Artificial Intelligence more details Book Computational Models of Argument Proceedings of COMMA 2018 Publication date September 2018 Editors Modgil, S., Budzynska, K., Lawrence, J. Subjects Computer Sciences, Artificial Intelligence Volume 305 of Frontiers in Artificial Intelligence and Applications more details Book Formal Ontology in Information Systems Proceedings of the 10th International Conference (FOIS 2018) Publication date September 2018 Editors Borgo, S., Kutz, O., Hitzler, P. Subjects Computer Sciences, Neurosciences, Artificial Intelligence Volume 306 of Frontiers in Artificial Intelligence and Applications more details Book Human Language Technologies – The Baltic Perspective Proceedings of the Eighth International Conference Baltic HLT 2018 Publication date September 2018 Editors Muischnek, K., Müürisep, K. Subjects Computer Sciences, Mathematics & Statistics, Artificial Intelligence Volume 307 of Frontiers in Artificial Intelligence and Applications more details Book New Trends in Intelligent Software Methodologies, Tools and Techniques Proceedings of the 17th International Conference SoMeT_18 Publication date September 2018 Editors Fujita, H., Herrera-Viedma, E. Subjects Health Information Technology, Computer Sciences, Artificial Intelligence Volume 303 of Frontiers in Artificial Intelligence and Applications more details Book Transdisciplinary Engineering Methods for Social Innovation of Industry 4.0 Proceedings of the 25th ISPE Inc. International Conference on Transdisciplinary Engineering, July 3 – 6, 2018 Publication date September 2018 Editors Bil, C. , Stjepandić, J., Wognum, N., Peruzzini, M., Pellicciari, M. Subjects Engineering, Artificial Intelligence Volume 7 of Advances in Transdisciplinary Engineering more details Book From Logic Programming to Human Reasoning: How to be Artificially Human Publication date April 2018 Authors Dietz Saldanha, E.-A. Subjects Computer Sciences, Artificial Intelligence Volume 343 of Dissertations in Artificial Intelligence more details Book Self-Organizing Multiagent Negotiations Cooperation and Competition of Concurrently Acting Agents with Limited Knowledge Publication date March 2018 Authors Berndt, J.O. Subjects Computer Sciences, Artificial Intelligence Volume 344 of Dissertations in Artificial Intelligence more details Book Information Modelling and Knowledge Bases XXIX Publication date February 2018 Editors Jaakkola, H., Thalheim, B., Kiyoki, Y., Yoshida, N., Sornlertlamvanich, V., Chawakitchareon, P., Hansuebsai, A., Koopipat, C. Subjects Computer Sciences, Artificial Intelligence Volume 301 of Frontiers in Artificial Intelligence and Applications more details Book Legal Knowledge and Information Systems JURIX 2017: The Thirtieth Annual Conference Publication date December 2017 Editors Wyner, A., Casini, G. Subjects Computer Sciences, Artificial Intelligence Volume 302 of Frontiers in Artificial Intelligence and Applications more details Book Fuzzy Systems and Data Mining III Proceedings of FSDM 2017 Publication date November 2017 Editors Tallón-Ballesteros, A.J., Li, K. Subjects Computer Sciences, Artificial Intelligence Volume 299 of Frontiers in Artificial Intelligence and Applications more details Book State of the Art in AI Applied to Ambient Intelligence Publication date October 2017 Editors Augusto, J.C., Aztiria, A., Orlandini, A. Subjects Artificial Intelligence Volume 298 of Frontiers in Artificial Intelligence and Applications more details Pagination First page First Previous page Previous … Page 9 Page 10 Page 11 Page 12 Current page 13 Page 14 Page 15 Page 16 Page 17 … Next page Next Last page Last
Book Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III Publication date October 2018 Authors Steen, A. Subjects Computer Sciences, Artificial Intelligence Volume 345 of Dissertations in Artificial Intelligence more details
Book Computational Models of Argument Proceedings of COMMA 2018 Publication date September 2018 Editors Modgil, S., Budzynska, K., Lawrence, J. Subjects Computer Sciences, Artificial Intelligence Volume 305 of Frontiers in Artificial Intelligence and Applications more details
Book Formal Ontology in Information Systems Proceedings of the 10th International Conference (FOIS 2018) Publication date September 2018 Editors Borgo, S., Kutz, O., Hitzler, P. Subjects Computer Sciences, Neurosciences, Artificial Intelligence Volume 306 of Frontiers in Artificial Intelligence and Applications more details
Book Human Language Technologies – The Baltic Perspective Proceedings of the Eighth International Conference Baltic HLT 2018 Publication date September 2018 Editors Muischnek, K., Müürisep, K. Subjects Computer Sciences, Mathematics & Statistics, Artificial Intelligence Volume 307 of Frontiers in Artificial Intelligence and Applications more details
Book New Trends in Intelligent Software Methodologies, Tools and Techniques Proceedings of the 17th International Conference SoMeT_18 Publication date September 2018 Editors Fujita, H., Herrera-Viedma, E. Subjects Health Information Technology, Computer Sciences, Artificial Intelligence Volume 303 of Frontiers in Artificial Intelligence and Applications more details
Book Transdisciplinary Engineering Methods for Social Innovation of Industry 4.0 Proceedings of the 25th ISPE Inc. International Conference on Transdisciplinary Engineering, July 3 – 6, 2018 Publication date September 2018 Editors Bil, C. , Stjepandić, J., Wognum, N., Peruzzini, M., Pellicciari, M. Subjects Engineering, Artificial Intelligence Volume 7 of Advances in Transdisciplinary Engineering more details
Book From Logic Programming to Human Reasoning: How to be Artificially Human Publication date April 2018 Authors Dietz Saldanha, E.-A. Subjects Computer Sciences, Artificial Intelligence Volume 343 of Dissertations in Artificial Intelligence more details
Book Self-Organizing Multiagent Negotiations Cooperation and Competition of Concurrently Acting Agents with Limited Knowledge Publication date March 2018 Authors Berndt, J.O. Subjects Computer Sciences, Artificial Intelligence Volume 344 of Dissertations in Artificial Intelligence more details
Book Information Modelling and Knowledge Bases XXIX Publication date February 2018 Editors Jaakkola, H., Thalheim, B., Kiyoki, Y., Yoshida, N., Sornlertlamvanich, V., Chawakitchareon, P., Hansuebsai, A., Koopipat, C. Subjects Computer Sciences, Artificial Intelligence Volume 301 of Frontiers in Artificial Intelligence and Applications more details
Book Legal Knowledge and Information Systems JURIX 2017: The Thirtieth Annual Conference Publication date December 2017 Editors Wyner, A., Casini, G. Subjects Computer Sciences, Artificial Intelligence Volume 302 of Frontiers in Artificial Intelligence and Applications more details
Book Fuzzy Systems and Data Mining III Proceedings of FSDM 2017 Publication date November 2017 Editors Tallón-Ballesteros, A.J., Li, K. Subjects Computer Sciences, Artificial Intelligence Volume 299 of Frontiers in Artificial Intelligence and Applications more details
Book State of the Art in AI Applied to Ambient Intelligence Publication date October 2017 Editors Augusto, J.C., Aztiria, A., Orlandini, A. Subjects Artificial Intelligence Volume 298 of Frontiers in Artificial Intelligence and Applications more details
