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 25 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
    Conference paper
    Laura Giordano, Alberto Martelli.
    Verifying Agents' Conformance with Multiparty Protocols.
    Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers 2009 (0) 2008
    Conference paper
    Laura Giordano, Alberto Martelli.
    Verifying the Conformance of Agents with Multiparty Protocols.
    ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings 2008 (0) 2008
    Conference paper
    Laura Giordano, Alberto Martelli.
    Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic.
    AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella.
    Service selection by choreography-driven matching.
    Proceedings of the 2nd ECOWS07 Workshop on Emerging Web Services Technology, WEWST 2007, Halle (Saale), Germany, November 26, 2007 2008 (0) 2007
    Conference paper
    Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella.
    Goal Preservation by Choreography-Driven Matchmaking.
    Service-Oriented Computing - ICSOC 2007 Workshops, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers 2009 (0) 2007
    Conference paper
    Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella.
    Preserving players goals: a choreography-driven matchmaking approach.
    WOA 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents, 24-25 September 2007, Genova, Italy 2007 (0) 2007
    Conference paper
    Laura Giordano, Alberto Martelli, Camilla Schwind.
    Specifying and verifying interaction protocols in a temporal action logic.
    J. Applied Logic 2007, Volume 5 (0) 2007
    Conference paper
    Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti.
    Reasoning about interaction protocols for customizing web service selection and composition.
    J. Log. Algebr. Program. 2007, Volume 70 (0) 2007
    Conference paper
    Alberto Martelli, Laura Giordano.
    Reasoning About Web Services in a Temporal Action Logic.
    Reasoning, Action and Interaction in AI Theories and Systems, Essays Dedicated to Luigia Carlucci Aiello 2006 (0) 2006
    Conference paper
    Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti.
    A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments.
    Service-Oriented Computing - ICSOC 2006, 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella.
    Interaction Protocols and Capabilities: A Preliminary Report.
    Principles and Practice of Semantic Web Reasoning, 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers 2006 (0) 2006
    Conference paper
    Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti.
    Conformance and Interoperability in Open Enviroments.
    Proceedings of the 7th WOA 2006 Workshop, From Objects to Agents (Dagli Oggetti Agli Agenti), Catania, Italy, September 26-27, 2006. 2006 (0) 2006
    Conference paper
    Laura Giordano, Alberto Martelli.
    Tableau-based automata construction for dynamic linear time temporal logic*.
    Ann. Math. Artif. Intell. 2006, Volume 46 (0) 2006
    Conference paper
    Laura Giordano, Alberto Martelli, Camilla Schwind.
    Specialization of Interaction Protocols in a Temporal Action Logic.
    Electr. Notes Theor. Comput. Sci. 2006, Volume 157 (0) 2006
    Conference paper
    Maria Paola Bonacina, Alberto Martelli.
    Automated Reasoning.
    Intelligenza Artificiale 2006, Volume 3 (0) 2006
    Show item 1 to 25 of 93  

    Your query returned 93 matches in the database.