Resultados da pesquisa - "Logic in AI"

  • A mostrar 1 - 12 resultados de 12
Refinar resultados
  1. 1

    Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

    Publicado em 2021
    Assuntos: “...Logic in AI....”
    Link to Metadata
    Recurso Electrónico livro electrónico
  2. 2

    Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

    Publicado em 2019
    Assuntos: “...Logic in AI....”
    Link to Metadata
    Recurso Electrónico livro electrónico
  3. 3

    Knowledge Graphs and Big Data Processing

    Publicado em 2020
    Assuntos: “...Logic in AI....”
    Link to Metadata
    Recurso Electrónico livro electrónico
  4. 4

    Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

    Publicado em 2022
    Assuntos: “...Logic in AI....”
    Link to Metadata
    Recurso Electrónico livro electrónico
  5. 5

    Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

    Publicado em 2019
    Assuntos: “...Logic in AI....”
    Link to Metadata
    Recurso Electrónico livro electrónico
  6. 6

    Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Publicado em 2020
    Assuntos: “...Logic in AI....”
    Link to Metadata
    Recurso Electrónico livro electrónico
  7. 7

    Knowledge Graphs and Big Data Processing

    Publicado em 2020
    Assuntos: “...Logic in AI...”
    DOAB: download the publication
    DOAB: description of the publication
    Recurso Electrónico Capítulo de Livro
  8. 8
  9. 9

    Knowledge Graphs and Big Data Processing

    Publicado em 2020
    Assuntos: “...Logic in AI...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Recurso Electrónico Capítulo de Livro
  10. 10
  11. 11
  12. 12