Related Books

Model and Proof Theory of Constructive ALC
Language: en
Pages: 348

Model and Proof Theory of Constructive ALC

Authors: Stephan Scheele
Categories:
Type: BOOK - Published: 2015-07-02 - Publisher: University of Bamberg Press

DOWNLOAD EBOOK

Proof Search in Multi-Agent Dialogues for Modal Logic
Language: en
Pages: 244

Proof Search in Multi-Agent Dialogues for Modal Logic

Authors: Martin Sticht
Categories:
Type: BOOK - Published: 2018-10-17 - Publisher: University of Bamberg Press

DOWNLOAD EBOOK

Logics in Artificial Intelligence
Language: en
Pages: 834

Logics in Artificial Intelligence

Authors: Sarah Gaggl
Categories: Computers
Type: BOOK - Published: 2023-10-25 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes proceedings of the 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, held in Dresden, Germany, in September 2023.
A Proof Theory for Description Logics
Language: en
Pages: 109

A Proof Theory for Description Logics

Authors: Alexandre Rademaker
Categories: Mathematics
Type: BOOK - Published: 2012-05-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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 rep
Proof Theoretical Foundations for Constructive Description Logic
Language: en
Pages: 95

Proof Theoretical Foundations for Constructive Description Logic

Authors: Ian P. Clément
Categories: Description logics
Type: BOOK - Published: 2008 - Publisher:

DOWNLOAD EBOOK