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 93  
    Select a publication
    Show Title Venue Rating Date
    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, 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, 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
    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
    Conference paper
    Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré.
    Verifying Business Process Compliance by Reasoning about Actions.
    Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Laura Giordano, Alberto Martelli, Daniele Theseider Dupré.
    Reasoning about Actions with Temporal Answer Sets.
    Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010 2010 (0) 2010
    Conference paper
    Alberto Martelli.
    The Seventies.
    Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday 2008 (0) 2008
    Show item 1 to 10 of 93  

    Your query returned 93 matches in the database.