Zum Inhalt springen

  1. Dietz Saldanha, Emmanuelle-Anna [VerfasserIn] ; Hölldobler, Steffen [AkademischeR BetreuerIn]; Hölldobler, Steffen [Sonstige Person, Familie und Körperschaft]; Kakas, Antonis [Sonstige Person, Familie und Körperschaft]; Pereira, Luís Moniz [Sonstige Person, Familie und Körperschaft] Technische Universität Dresden

    From logic programming to human reasoning: how to be artificially human

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Technische Universität Dresden, [2017]

  2. Kakas, Antonis C. [VerfasserIn] ; Sadri, Fariba [Sonstige Person, Familie und Körperschaft]

    Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski Part I

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

    Erschienen in: Lecture notes in computer science ; 2407

  3. Kakas, Antonis C. [VerfasserIn] ; Sadri, Fariba [Sonstige Person, Familie und Körperschaft]

    Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski Part II

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

    Erschienen in: Lecture notes in computer science ; 2408

  4. Michael, Loizos [HerausgeberIn]; Kakas, Antonis [HerausgeberIn]

    Logics in Artificial Intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2016

    Erschienen in: Lecture notes in computer science ; 10021

  5. Flach, Peter A. [VerfasserIn] ; Kakas, Antonis C. [HerausgeberIn]

    Abduction and Induction : Essays on their Relation and Integration

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dordrecht: Springer, 2000

    Erschienen in: Applied Logic Series ; 18- SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics

  6. Manolopoulos, Yannis [VerfasserIn] ; Evripidou, Skevos [Sonstige Person, Familie und Körperschaft]; Kakas, Antonis C. [Sonstige Person, Familie und Körperschaft]

    Advances in Informatics : 8th Panhellenic Conference on Informatics, PCI 2001. Nicosia, Cyprus, November 8-10, 2001, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2003

    Erschienen in: Lecture notes in computer science ; 2563

  7. Manolopoulos, Yannis [VerfasserIn] ; Evripidou, Skevos [Sonstige Person, Familie und Körperschaft]; Kakas, Antonis C. [Sonstige Person, Familie und Körperschaft]

    Advances in Informatics : 8th Panhellenic Conference on Informatics, PCI 2001 Nicosia, Cyprus, November 8-10, 2001 Revised Selected Papers

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg: Springer, 2003

    Erschienen in: Lecture notes in computer science ; 256300

  8. Dietz Saldanha, Emmanuelle-Anna [VerfasserIn] ; Hölldobler, Steffen [AkademischeR BetreuerIn]; Kakas, Antonis [Sonstige Person, Familie und Körperschaft]; Pereira, Luís Moniz [Sonstige Person, Familie und Körperschaft]

    From Logic Programming to Human Reasoning : How to be Artificially Human

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden; Dresden: Technische Universität Dresden, 2017

  9. Spanoudakis, Nikolaos [VerfasserIn]; Kakas, Antonis [VerfasserIn]; Koumi, Adamos [VerfasserIn]

    Application Level Explanations for Argumentation-based Decision Making

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: International Workshop on Argumentation for eXplainable AI (1. : 2022 : Cardiff): ArgXAI-22: Argumentation for eXplainable AI ; 2022

  10. Apt, Krzysztof R. [VerfasserIn] ; Kakas, Antonis C. [Sonstige Person, Familie und Körperschaft]; Monfroy, Eric [Sonstige Person, Familie und Körperschaft]; Rossi, Francesca [Sonstige Person, Familie und Körperschaft]

    New Trends in Constraints : Joint ERCIM/Compulog NetWorkshop Paphos, Cyprus, October 25–27, 1999 Selected Papers

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2000

    Erschienen in: Lecture notes in computer science ; 1865

  11. Diakidoy, Irene-Anna [HerausgeberIn]; Kakas, Antonis C. [HerausgeberIn]; Lieto, Antonio [HerausgeberIn]; Michael, Loizos [HerausgeberIn] ; International Workshop on Artificial Intelligence and Cognition 5. 2017 Larnaka

    AIC 2017 : Artificial Intelligence and Cognition 2017 : proceedings of the 5th International Workshop on Artificial Intelligence and Cognition : Larnaca, Cyprus, November 1-3, 2017

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen, Germany: RWTH Aachen, [2018]

    Erschienen in: CEUR workshop proceedings ; 209000

  12. Prentzas, Nicoletta [VerfasserIn]; Gavrielidou, Athena [VerfasserIn]; Neofytou, Marios [VerfasserIn]; Kakas, Antonis [VerfasserIn]

    Argumentation-based Explainable Machine Learning (ArgEML): a Real-life Use Case on Gynecological Cancer

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: Workshop on Argumentation & Machine Learning (1. : 2022 : Cardiff): ArgML 2022: Argumentation & Machine Learning ; (2022), Seite 1-13

  13. Dietz Saldanha, Emmanuelle-Anna [VerfasserIn] ; Hölldobler, Steffen [AkademischeR BetreuerIn]; Hölldobler, Steffen [Sonstige Person, Familie und Körperschaft]; Kakas, Antonis [Sonstige Person, Familie und Körperschaft]; Pereira, Luís Moniz [Sonstige Person, Familie und Körperschaft] Technische Universität Dresden

    From Logic Programming to Human Reasoning : How to be Artificially Human

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2017 ; Dresden: Technische Universität Dresden, 2017