Related Books
Language: en
Pages: 256
Pages: 256
Type: BOOK - Published: 2003-05-15 - Publisher: Springer
Description logics (DLs) are used to represent structured knowledge. Inference services testing consistency of knowledge bases and computing subconcept/supercon
Language: en
Pages: 264
Pages: 264
Type: BOOK - Published: 2014-01-15 - Publisher:
Language: en
Pages: 662
Pages: 662
Type: BOOK - Published: 2019-06-25 - Publisher: Springer
This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributi
Language: en
Pages: 509
Pages: 509
Type: BOOK - Published: 2004-06-22 - Publisher: Springer Science & Business Media
This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4–8, 2004 in Cork, Ireland. IJ
Language: en
Pages: 449
Pages: 449
Type: BOOK - Published: 2003-12-01 - Publisher: Springer
This book constitutes the refereed proceedings of the 10th International Conference on Logic Programming, Artificial Intelligence, and Reasoning, LPAR 2003, hel