Treffer 1 - 20 von 216 für Suche 'Ianni, Giovambattista', Suchdauer: 2,03s Treffer weiter einschränken
  1. 1
    Reasoning Web: Semantic Interoperability on the Web : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures

    Reasoning Web: Semantic Interoperability on the Web : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures von Ianni, Giovambattista, Lembo, Domenico, Bertossi, Leopoldo, Faber, Wolfgang, Glimm, Birte, Gottlob, Georg, Staab, Steffen

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    ASP-Core-2 Input Language Format

    ASP-Core-2 Input Language Format von Calimeri, Francesco, Faber, Wolfgang, Gebser, Martin, Ianni, Giovambattista, Kaminski, Roland, Krennwallner, Thomas, Leone, Nicola, Maratea, Marco, Ricca, Francesco, Schaub, Torsten


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Logic Programming and Nonmonotonic Reasoning: 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

    Logic Programming and Nonmonotonic Reasoning: 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings von Calimeri, Francesco, Ianni, Giovambattista, Truszczynski, Miroslaw

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Combining answer set programming with description logics for the Semantic Web

    Combining answer set programming with description logics for the Semantic Web von Eiter, Thomas, Ianni, Giovambattista, Lukasiewicz, Thomas, Schindlauer, Roman, Tompits, Hans

    Veröffentlicht in Artificial intelligence

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Incremental maintenance of overgrounded logic programs with tailored simplifications

    Incremental maintenance of overgrounded logic programs with tailored simplifications von Ianni, Giovambattista, Pacenza, Francesco, Zangari, Jessica


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    The third open answer set programming competition

    The third open answer set programming competition von CALIMERI, FRANCESCO, IANNI, GIOVAMBATTISTA, RICCA, FRANCESCO


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Advances in WASP

    Advances in WASP von Alviano, Mario, Dodaro, Carmine, Leone, Nicola, Ricca, Francesco


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings

    Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings von Flesca, Sergio, Greco, Sergio, Ianni, Giovambattista, Leone, Nicola


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Incremental Answer Set Programming with Overgrounding

    Incremental Answer Set Programming with Overgrounding von CALIMERI, FRANCESCO, IANNI, GIOVAMBATTISTA, PACENZA, FRANCESCO, PERRI, SIMONA, ZANGARI, JESSICA


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    A model building framework for answer set programming with external computations

    A model building framework for answer set programming with external computations von EITER, THOMAS, FINK, MICHAEL, IANNI, GIOVAMBATTISTA, KRENNWALLNER, THOMAS, REDL, CHRISTOPH, SCHÜLLER, PETER


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Reasoning in Highly Reactive Environments

    Reasoning in Highly Reactive Environments von Pacenza, Francesco


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Progress in clasp Series 3

    Progress in clasp Series 3 von Gebser, Martin, Kaminski, Roland, Kaufmann, Benjamin, Romero, Javier, Schaub, Torsten


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    A formal theory of justifications

    A formal theory of justifications von Denecker, Marc, Brewka, Gerhard, Strass, Hannes


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  14. 14
    A Tutorial on Hybrid Answer Set Solving with clingo

    A Tutorial on Hybrid Answer Set Solving with clingo von Kaminski, Roland, Schaub, Torsten, Wanko, Philipp


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Well-founded semantics for description logic programs in the semantic web

    Well-founded semantics for description logic programs in the semantic web von Eiter, Thomas, Ianni, Giovambattista, Lukasiewicz, Thomas, Schindlauer, Roman


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Combining Anti-typosquatting Techniques

    Combining Anti-typosquatting Techniques von Blefari, Francesco, Furfaro, Angelo, Ianni, Giovambattista, Viscomi, Alessandro


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Rethinking Answer Set Programming Templates

    Rethinking Answer Set Programming Templates von Alviano, Mario, Ianni, Giovambattista, Pacenza, Francesco, Zangari, Jessica


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning

    Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning von Calimeri, Francesco, Ianni, Giovambattista, Pacenza, Francesco, Perri, Simona, Zangari, Jessica


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Answer Set Programming: A Primer

    Answer Set Programming: A Primer von Eiter, Thomas, Ianni, Giovambattista, Krennwallner, Thomas


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    The Answer Set Programming Competition

    The Answer Set Programming Competition von Calimeri, Francesco, Ianni, Giovambattista, Krennwallner, Thomas, Ricca, Francesco

    Veröffentlicht in The AI magazine

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: