Model and Proof Theory of Constructive ALC
Title | Model and Proof Theory of Constructive ALC PDF eBook |
Author | Stephan Scheele |
Publisher | University of Bamberg Press |
Pages | 348 |
Release | 2015-07-02 |
Genre | |
ISBN | 3863093208 |
Proof Theoretical Foundations for Constructive Description Logic
Title | Proof Theoretical Foundations for Constructive Description Logic PDF eBook |
Author | Ian P. Clément |
Publisher | |
Pages | 95 |
Release | 2008 |
Genre | Description logics |
ISBN |
Proof Search in Multi-Agent Dialogues for Modal Logic
Title | Proof Search in Multi-Agent Dialogues for Modal Logic PDF eBook |
Author | Martin Sticht |
Publisher | University of Bamberg Press |
Pages | 244 |
Release | 2018-10-17 |
Genre | |
ISBN | 3863095995 |
Logics in Artificial Intelligence
Title | Logics in Artificial Intelligence PDF eBook |
Author | Sarah Gaggl |
Publisher | Springer Nature |
Pages | 834 |
Release | 2023-10-25 |
Genre | Computers |
ISBN | 3031436199 |
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).
A Proof Theory for Description Logics
Title | A Proof Theory for Description Logics PDF eBook |
Author | Alexandre Rademaker |
Publisher | Springer Science & Business Media |
Pages | 109 |
Release | 2012-05-17 |
Genre | Mathematics |
ISBN | 1447140028 |
Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantics. Knowledge representation systems based on description logics provide various inference capabilities that deduce implicit knowledge from the explicitly represented knowledge. A Proof Theory for Description Logics introduces Sequent Calculi and Natural Deduction for some DLs (ALC, ALCQ). Cut-elimination and Normalization are proved for the calculi. The author argues that such systems can improve the extraction of computational content from DLs proofs for explanation purposes.
Logics in Artificial Intelligence
Title | Logics in Artificial Intelligence PDF eBook |
Author | Tomi Janhunen |
Publisher | Springer |
Pages | 385 |
Release | 2010-09-13 |
Genre | Computers |
ISBN | 3642156754 |
This book constitutes the refereed proceedings of the 5th International Conference on E-learning and Games, Edutainment 2010, held in Changchun, China, in August 2010. The book includes 3 invited talks, 26 regular papers, and 5 system descriptions.
Treasury Decisions Under the Customs, Internal Revenue, Industrial Alcohol, Narcotic and Other Laws
Title | Treasury Decisions Under the Customs, Internal Revenue, Industrial Alcohol, Narcotic and Other Laws PDF eBook |
Author | United States. Dept. of the Treasury |
Publisher | |
Pages | 744 |
Release | 1919 |
Genre | |
ISBN |