🦃 Cozy up with autumn reads! Let our AI Librarian pick your perfect fireside book 🍁

Carsten Lutz

Explore the literary world of this author

Books by Carsten Lutz

An Introduction to Description Logic

Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be descri...

Explore this book →

Logics in Artificial Intelligence

11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germ...

Explore this book →

Description Logic Actions with General TBoxes

A Pragmatic Approach

...

Explore this book →

Holding a Conference Online and Live Due to Covid-19 : Experiences and Lessons Learned from EDBT

...

Explore this book →

Updating Description Logic ABoxes

...

Explore this book →

Modal Logics of Topological Relations

...

Explore this book →

Modal Logic and the Two-variable Fragment

Revised Version

...

Explore this book →

Integrating Description Logics and Action Formalisms for Reasoning about Web Services

...

Explore this book →

A Tableau Calculus for Temporal Description Logic

The Constant Domain Case

...

Explore this book →

Quantitative Temporal Logics

PSpace and Below

...

Explore this book →

✒️