Bokus

Uli Sattler – författare

Visar alla böcker från författaren Uli Sattler. Handla med fri frakt och snabb leverans.

12 produkter

  1. Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler - An Introduction to Description Logic, Häftad. Tillgänglighet: Lägg i varukorg

    An Introduction to Description Logic

    Av Franz Baader, Ian Horrocks m. fl.

    Häftad, 2017

    720 kr

    Lägg i varukorg

    Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely …

  2. Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler - An Introduction to Description Logic, Inbunden. Tillgänglighet: Lägg i varukorg

    An Introduction to Description Logic

    Av Franz Baader, Ian Horrocks m. fl.

    Inbunden, 2017

    1307 kr

    Lägg i varukorg

    Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely …

  3. Uli Sattler, Carsten Lutz, Ian Horrocks, Franz Baader - Introduction to Description Logic, E-bok. Tillgänglighet: Lägg i varukorg

    Introduction to Description Logic

    Av Uli Sattler, Carsten Lutz m. fl.

    E-bok, 2017

    705 kr

    Lägg i varukorg

    Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely …

  4. Uli Sattler, Carsten Lutz, Ian Horrocks, Franz Baader - Introduction to Description Logic, E-bok. Tillgänglighet: Lägg i varukorg

    Introduction to Description Logic

    Av Uli Sattler, Carsten Lutz m. fl.

    E-bok, 2017

    705 kr

    Lägg i varukorg

    Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely …

  5. Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter - Description Logic, Theory Combination, and All That, Häftad. Tillgänglighet: Lägg i varukorg

    Description Logic, Theory Combination, and All That

    Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

    Av Carsten Lutz, Uli Sattler m. fl.

    Häftad, 2019

    551 kr

    Lägg i varukorg

    This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, …

  6. Frank Wolter, Anni-Yasmin Turhan, Cesare Tinelli, Uli Sattler, Carsten Lutz - Description Logic, Theory Combination, and All That, E-bok. Tillgänglighet: Lägg i varukorg

    Description Logic, Theory Combination, and All That

    Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

    Av Frank Wolter, Anni-Yasmin Turhan m. fl.

    E-bok, 2019

    718 kr

    Lägg i varukorg

    This Festschrift has been put together on the occasion of Franz Baader''s 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, …

  7. Uli Sattler, Martin Suda - Frontiers of Combining Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Frontiers of Combining Systems

    14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings

    Av Uli Sattler, Martin Suda

    Häftad, 2023

    453 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and …

  8. Patrick Lambrix, Eero Hyvönen, Eva Blomqvist, Valentina Presutti, Guilin Qi, Uli Sattler, Ying Ding, Chiara Ghidini - Knowledge Engineering and Knowledge Management, Häftad. Tillgänglighet: Lägg i varukorg

    Knowledge Engineering and Knowledge Management

    EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers.

    Av Patrick Lambrix, Eero Hyvönen m. fl.

    Häftad, 2015

    551 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of Satellite Events held at the 19th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2014 in November 2014. EKAW 2014 hosted three satellite workshops: VISUAL 2014, International Workshop on Visualizations and User …

  9. Chiara Ghidini, Ying Ding, Uli Sattler, Guilin Qi, Valentina Presutti, Eva Blomqvist, Eero Hyvonen, Patrick Lambrix - Knowledge Engineering and Knowledge Management, E-bok. Tillgänglighet: Lägg i varukorg

    Knowledge Engineering and Knowledge Management

    EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers.

    Av Chiara Ghidini, Ying Ding m. fl.

    E-bok, 2015

    739 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of Satellite Events held at the 19th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2014 in November 2014. EKAW 2014 hosted three satellite workshops: VISUAL 2014, International Workshop on Visualizations and User …

  10. Zhongzhi Shi, Zhaohui Wu, David Leake, Uli Sattler - Intelligent Information Processing VII, Inbunden. Tillgänglighet: Lägg i varukorg

    Intelligent Information Processing VII

    8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings

    Av Zhongzhi Shi, Zhaohui Wu m. fl.

    Inbunden, 2014

    569 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 8th IFIP TC 12 International Conference on Intelligent Information Processing, IIP 2014, held in Hangzhou, China, in October 2014. The 32 revised papers presented were carefully reviewed and selected from more than 70 submissions. They are …

  11. Uli Sattler, David Leake, Zhaohui Wu, Zhongzhi Shi - Intelligent Information Processing VII, E-bok. Tillgänglighet: Lägg i varukorg

    Intelligent Information Processing VII

    8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings

    Av Uli Sattler, David Leake m. fl.

    E-bok, 2014

    739 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 8th IFIP TC 12 International Conference on Intelligent Information Processing, IIP 2014, held in Hangzhou, China, in October 2014. The 32 revised papers presented were carefully reviewed and selected from more than 70 submissions. They are …

  12. Zhongzhi Shi, Zhaohui Wu, David Leake, Uli Sattler - Intelligent Information Processing VII, Häftad. Tillgänglighet: Lägg i varukorg

    Intelligent Information Processing VII

    8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings

    Av Zhongzhi Shi, Zhaohui Wu m. fl.

    Häftad, 2016

    569 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 8th IFIP TC 12 International Conference on Intelligent Information Processing, IIP 2014, held in Hangzhou, China, in October 2014. The 32 revised papers presented were carefully reviewed and selected from more than 70 submissions. They are …