Related Books

Model and Proof Theory of Constructive ALC
Language: en
Pages: 348
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
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
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.
Legal Knowledge and Information Systems
Language: en
Pages: 188
Authors: Radboud Winkels
Categories: Computers
Type: BOOK - Published: 2010 - Publisher: IOS Press

DOWNLOAD EBOOK

The 23rd edition of the JURIX conference was held in the United Kingdom from the 15th till the 17th of December and was hosted by the University of Liverpool. T
Refinement Techniques in Software Engineering
Language: en
Pages: 402
Authors: Ana Cavalcanti
Categories: Computers
Type: BOOK - Published: 2006-10-11 - Publisher: Springer

DOWNLOAD EBOOK

This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in R