Model And Proof Theory Of Constructive Alc
Download Model And Proof Theory Of Constructive Alc PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Model And Proof Theory Of Constructive Alc book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Model and Proof Theory of Constructive ALC
Author: Stephan Scheele
language: en
Publisher: University of Bamberg Press
Release Date: 2015-07-02
Proof Search in Multi-Agent Dialogues for Modal Logic
Author: Martin Sticht
language: en
Publisher: University of Bamberg Press
Release Date: 2018-10-17
Logics in Artificial Intelligence
This book constitutes proceedings of the 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, held in Dresden, Germany, in September 2023. The 41 full papers and 11 short papers included in this volume were carefully reviewed and selected from 111 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming).