Skip to main content
Search Button
Librairie Kobo Canada Cartes cadeau Aide

Kobo Rakuten

Ma liste d'envies

Panier

Vous profitez des avantages réservés aux VIP !

Article(s) non disponible(s) à la vente
Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.
articlesarticle
articlesarticle

Recommandé pour vous

Loading...


1-12 sur 12 résultats pour « uli sattler »
Skip side bar filters

  • An Introduction to Description Logic

    par Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler ...
    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 used ontology languages, in particular the web ontology language OWL. Written by four renowned ... En savoir plus

    $50.99 CAD

  • Description Logic, Theory Combination, and All That

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

    Modifié par Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter ...
    Collections series Computer Science (R0)
    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, including description logics, term rewriting, and the combination of decision procedures. We hope that ... En savoir plus

    $64.09 CAD

  • Frontiers of Combining Systems

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

    Modifié par Uli Sattler, Martin Suda ...
    Collections series Springer Nature Proceedings Computer Science
    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 Related Methods, TABLEAUX 2023.The 14 papers presented were thorouhgly reviewed and selected from ... En savoir plus

    Gratuit

Les lecteurs de ces romans ont aussi aimé

  • Knowledge Representation and Reasoning

    par Ronald Brachman, Hector Levesque ...
    Collections series The Morgan Kaufmann Series in Artificial Intelligence
    Knowledge representation is at the very core of a radical idea for understanding intelligence. Instead of trying to understand or build brains from the bottom up, its goal is to understand and build intelligent behavior from the top down, putting the focus on what an agent needs to know in order to behave intelligently, how this knowledge can be represented symbolically, and how automated ... En savoir plus

    $87.99 CAD

  • Practical Foundations for Programming Languages

    par Robert Harper ...
    This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the ... En savoir plus

    $85.99 CAD

  • Programming Languages and Systems

    27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

    Modifié par Amal Ahmed ...
    Collections series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections ... En savoir plus

    Gratuit

  • Foundations of Software Science and Computation Structures

    21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

    Modifié par Christel Baier, Ugo Dal Lago ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions ... En savoir plus

    Gratuit

  • Tools and Algorithms for the Construction and Analysis of Systems

    24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

    Modifié par Dirk Beyer, Marieke Huisman ...
    Collections Livre 2 - Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The total of 43 ... En savoir plus

    Gratuit

  • Computer Aided Verification

    30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

    Modifié par Hana Chockler, Georg Weissenbacher ...
    Collections Livre 2 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and ... En savoir plus

    Gratuit

  • Markov Logic

    An Interface Layer for Artificial Intelligence

    par Pedro Domingos, Daniel Lowd, Ronald Brachman, William W. Cohen, Peter Stone ...
    Collections series Synthesis Lectures on Artificial Intelligence and Machine Learning
    Most subfields of computer science have an interface layer via which applications communicate with the infrastructure, and this is key to their success (e.g., the Internet in networking, the relational model in databases, etc.). So far this interface layer has been missing in AI. First-order logic and probabilistic graphical models each have some of the necessary features, but a viable interface ... En savoir plus

    $35.99 CAD

  • Automated Deduction – CADE 28

    28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

    Modifié par André Platzer, Geoff Sutcliffe ...
    Collections series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including ... En savoir plus

    Gratuit

  • Foundations of Software Science and Computation Structures

    22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

    Modifié par Mikołaj Bojańczyk, Alex Simpson ...
    Collections series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.The 29 papers presented in this volume were carefully reviewed and selected from ... En savoir plus

    Gratuit