Zum Inhalt springen

  1. Delgrande, James P.; Peppas, Pavlos; Woltran, Stefan

    General Belief Revision

    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.

    Association for Computing Machinery (ACM), 2018

    Erschienen in: Journal of the ACM

  2. Delgrande, James P.; Grote, Torsten; Hunter, Aaron

    Logic Programming and Nonmonotonic Reasoning: A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming

    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.

    Springer Berlin Heidelberg, 2009

    Erschienen in: Logic Programming and Nonmonotonic Reasoning

  3. Delgrande, James P.; Schaub, Torsten; Tompits, Hans

    Logic Programming and Nonmonotonic Reasoning: A Preference-Based Framework for Updating Logic Programs

    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.

    Springer Berlin Heidelberg, 2007

    Erschienen in: Logic Programming and Nonmonotonic Reasoning

  4. Bart, Bradley; Delgrande, James P.; Schulte, Oliver

    Advances in Artificial Intelligence: Knowledge and Planning in an Action-Based Multi-agent Framework: A Case Study

    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.

    Springer Berlin Heidelberg, 2001

    Erschienen in: Advances in Artificial Intelligence