Proceedings of the Sixth International Joint Conference on Artificial Intelligence, Tokyo, August 20-23, 1979
Title | Proceedings of the Sixth International Joint Conference on Artificial Intelligence, Tokyo, August 20-23, 1979 PDF eBook |
Author | |
Publisher | |
Pages | 566 |
Release | 1979 |
Genre | Artificial intelligence |
ISBN |
IJCAI Proceedings 1979
Title | IJCAI Proceedings 1979 PDF eBook |
Author | Ijcai |
Publisher | Elsevier |
Pages | 1196 |
Release | 1979 |
Genre | Computers |
ISBN | 9780934613477 |
IJCAI-83
Title | IJCAI-83 PDF eBook |
Author | Alan Bundy |
Publisher | Joint Conferences |
Pages | 652 |
Release | 1983 |
Genre | Computers |
ISBN | 9780865760646 |
Proceedings of the Sixth International Joint Conference on Artificial Intelligence
Title | Proceedings of the Sixth International Joint Conference on Artificial Intelligence PDF eBook |
Author | |
Publisher | |
Pages | |
Release | 1979 |
Genre | |
ISBN |
Proceedings of the Ninth International Joint Conference on Artificial Intelligence
Title | Proceedings of the Ninth International Joint Conference on Artificial Intelligence PDF eBook |
Author | International Joint Conferences on Artificial Intelligence |
Publisher | Elsevier |
Pages | 1368 |
Release | 1985 |
Genre | Artificial Intelligence |
ISBN | 9780934613026 |
IJCAI-79
Title | IJCAI-79 PDF eBook |
Author | International Joint Conferences on Artificial Intelligence |
Publisher | |
Pages | 1131 |
Release | 1979 |
Genre | |
ISBN |
Logics in Artificial Intelligence
Title | Logics in Artificial Intelligence PDF eBook |
Author | Eduardo Fermé |
Publisher | Springer |
Pages | 719 |
Release | 2014-09-16 |
Genre | Computers |
ISBN | 3319115588 |
This book constitutes the proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, held in Funchal, Madeira, Portugal, in September 2014. The 35 full papers and 14 short papers included in this volume were carefully reviewed and selected from 121 submissions. They are organized in topical sections named: description logics; automated reasoning; logics for uncertain reasoning; non-classical logics; answer-set programming; belief revision; dealing with inconsistency in ASP and DL; reason about actions and causality; system descriptions; short system descriptions; and short papers. The book also contains 4 full paper invited talks.