登入選單
Google圖書搜尋
Introduction to Description Logic
作者
Franz Baader / Ian Horrocks / Carsten Lutz / Uli Sattler
出版Cambridge University Press, 2017-04-20
ISBN
9780521873611 / 0521873614
主題
Business & Economics
A Concept Language with Role Forming Predicate Res...
作者
Carsten Lutz / Volker Haarslev / Ralf Möller
出版1997
ISBN
OCLC:231844367
Pushing the EL Envelope
作者
Franz Baader / Sebastian Brandt / Carsten Lutz
出版2005
ISBN
OCLC:1346941002
Description Logic Actions with General TBoxes
作者
Hongkai Liu / Carsten Lutz / Maja Miličić / Frank Wolter
出版2006
ISBN
OCLC:1346302456
The Complexity of Reasoning with Concrete Domains
作者
Carsten Lutz
出版1999
ISBN
OCLC:1348396139
LTL Over Description Logic Axioms
作者
Franz Baader / Silvio Ghilardi / Carsten Lutz
出版2008
ISBN
OCLC:1346245002
The Complexity of Finite Model Reasoning in Descri...
作者
Carsten Lutz / Ulrike Sattler / Lidia Tendera
出版2002
ISBN
OCLC:1347368766
PDL with Negation of Atomic Programs
作者
Carsten Lutz / Dirk Walther
出版2003
ISBN
OCLC:1346981913
Description Logics with Concrete Domains and Funct...
作者
Carsten Lutz / Maja Miličić
出版2004
ISBN
OCLC:1346941657
Spatioterminological Reasoning Based on Geometric ...
作者
Ralf Möller / Volker Haarslev / Carsten Lutz
出版1997
ISBN
OCLC:231844368
Expressive Non-Monotonic Description Logics Based ...
作者
Piero Bonatti / Carsten Lutz / Frank Wolter
出版2005
ISBN
OCLC:1346923800
Logics in Artificial Intelligence
作者
Steffen Hölldobler / Carsten Lutz / Heinrich Wansing
出版Springer, 2008-09-25
ISBN
9783540878032 / 3540878033
主題
Computers
Modal Logic and the Two-variable Fragment
作者
Carsten Lutz / Ulrike Sattler / Frank Wolter
出版2001
ISBN
OCLC:1347377220
Keys, Nominals, and Concrete Domains
作者
Carsten Lutz / Carlos Areces / Ian Horrocks / Ulrike Sattler
出版2002
ISBN
OCLC:1347372371
Complexity and Succinctness of Public Announcement...
作者
Carsten Lutz
出版2005
ISBN
OCLC:1346304418
Modal Logics of Topological Relations
作者
Carsten Lutz / Frank Wolter
出版2004
ISBN
OCLC:1346941887
NExpTime-complete Description Logics with Concrete...
作者
Carsten Lutz
出版2000
ISBN
OCLC:1348284130
The Complexity of Reasoning with Boolean Modal Log...
作者
Carsten Lutz / Ulrike Sattler
出版2000
ISBN
OCLC:1348278394
A New N-ary Existential Quantifier in Description ...
作者
Franz Baader / Carsten Lutz / Eldar Karabaev / Manfred Theißen
出版2005
ISBN
OCLC:1346304588
Interval-based Temporal Reasoning with General TBo...
作者
Carsten Lutz
出版2000
ISBN
OCLC:1348282334
Integrating Description Logics and Action Formalis...
作者
Franz Baader / Carsten Lutz / Maja Miličić / Ulrike Sattler / Frank Wolter
出版2005
ISBN
OCLC:1346940632
Quantitative Temporal Logics
作者
Carsten Lutz / Dirk Walther / Frank Wolter
出版2005
ISBN
OCLC:1346925251
PDL with Intersection and Converse is Decidable
作者
Carsten Lutz
出版2005
ISBN
OCLC:1346923845
A Tableau Algorithm for DLs with Concrete Domains ...
作者
Carsten Lutz / Maja Miličić
出版2005
ISBN
OCLC:1346305704
A Tableau Calculus for Temporal Description Logic
作者
Carsten Lutz / Holger Sturm / Frank Wolter / Michail V. Zacharjaščev
出版2001
ISBN
OCLC:1347377645
Updating Description Logic ABoxes
作者
Hongkai Liu / Carsten Lutz / Maja Miličić / Frank Wolter
出版2005
ISBN
OCLC:1346304417
Reasoning about Entity Relationship Diagrams with ...
作者
Carsten Lutz
出版2002
ISBN
OCLC:1347372942
Foundational Aspects of Ontologies
作者
Pascal Hitzler / Carsten Lutz / Gerd Stumme
出版2005
ISBN
OCLC:255352799
Adding Numbers to the SHIQ Description Logic
作者
Carsten Lutz
出版2001
ISBN
OCLC:1347373103
Design of a Passively Actuated Robot Manipulator
作者
Tobias Carsten Lutz Welge-Lüssen
出版2008
ISBN
OCLC:428288877