Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach

Authors
Publication date
1 January 2012
Publisher

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Archivio Istituzionale della Ricerca- Università del Piemonte Orientale

    redirect
    oaioai:iris.uniupo.it:11579/13799
    Last time updated on 03/09/2019

    Archivio Istituzionale della Ricerca- Università del Piemonte Orientale

    redirect
    oaioai:iris.uniupo.it:11579/12772
    Last time updated on 03/09/2019