Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Alberto
    Last name: Martelli
    DBLP: m/AlbertoMartelli
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 98  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Laura Giordano 0001, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré.
    ASP for Reasoning about Actions with an EL^bot Knowledge Base.
    Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016. 2016 (0) 2016
    Conference paper
    Laura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré.
    Achieving completeness in the verification of action theories by Bounded Model Checking in ASP.
    J. Log. Comput. 2015, Volume 25 (0) 2015
    Journal article
    Laura Giordano, Alberto Martelli, Daniele Theseider Dupré.
    Reasoning about actions with Temporal Answer Sets.
    TPLP 2013, Volume 13 (0) 2013
    Conference paper
    Laura Giordano, Alberto Martelli, Daniele Theseider Dupré.
    Temporal deontic action logic for the verification of compliance to norms in ASP.
    International Conference on Artificial Intelligence and Law, ICAIL '13, Rome, Italy, June 10-14, 2013 2013 (0) 2013
    Conference paper
    Laura Giordano 0001, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré.
    Business process verification with constraint temporal answer set programming.
    TPLP 2013, Volume 13 (0) 2013
    Conference paper
    Laura Giordano, Alberto Martelli, Daniele Theseider Dupré.
    Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach.
    Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012 2012 (0) 2012
    Conference paper
    Laura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré.
    Achieving Completeness in Bounded Model Checking of Action Theories in ASP.
    Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012 2012 (0) 2012
    Conference paper
    Laura Giordano 0001, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré.
    Business Processes Verification with Temporal Answer Set Programming.
    Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes, KiBP@KR 2012, Rome, Italy, June 15, 2012 2012 (0) 2012
    Journal article
    Laura Giordano, Alberto Martelli, Daniele Theseider Dupré.
    Reasoning about Actions with Temporal Answer Sets
    CoRR 2011, Volume 0 (0) 2011
    Conference paper
    Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré.
    Verifying Compliance of Business Processes with Temporal Answer Sets.
    Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011 2011 (0) 2011
    Show item 1 to 10 of 98  

    Your query returned 98 matches in the database.