Alexei Lisitsa – författare

This book constitutes the refereed proceedings of the First International Conference on Applied Computing to Support Industry: Innovation and Technology, ACRIT 2019, held in Ramadi, Iraq, in September 2019. The papers of this volume are organized in topical sections on theory, methods and tools to support computer science;

This book constitutes the refereed proceedings of the First International Conference on Applied Computing to Support Industry: Innovation and Technology, ACRIT 2019, held in Ramadi, Iraq, in September 2019. The 38 revised full papers and 1 short paper were carefully reviewed and selected from 159 submissions. The papers of this volume are organized in topical sections on theory, methods and tools to support computer science; computer security and cryptography; computer network and communication; real world application in information science and technology.

This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA 2006. The 34 revised full papers and 12 revised tool description papers presented together with 3 invited talks were carefully reviewed and selected from 96 submissions. The papers cover a range of topics within the remit of the Conference, such as logic programming, description logics, non-monotonic reasoning, agent theories, automated reasoning, and machine learning.