Boris Konev - Böcker
Visar alla böcker från författaren Boris Konev. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
Del 12941 - Lecture Notes in Computer Science
Frontiers of Combining Systems
13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings
Häftad, Engelska, 2021
827 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 13th International Symposium on Frontiers of Combining Systems, FroCoS 2021, held in Birmingham, UK, in September 2021.
Del 15400 - Lecture Notes in Computer Science
Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic
19th International Summer School 2023 Oslo, Norway, September 21–24, 2023, Tutorial Lectures
Häftad, Engelska, 2025
718 kr
Skickas inom 10-15 vardagar
The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications.
Logics in Artificial Intelligence
10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings
Häftad, Engelska, 2006
554 kr
Skickas inom 10-15 vardagar
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.
Frontiers of Combining Systems
6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings
Häftad, Engelska, 2007
554 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Liverpool, UK, September 2007. The 14 revised full papers presented were carefully selected and are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.