Wikidata

(Q58207589)

English

Achieving completeness in the verification of action theories by Bounded Model Checking in ASP

No description defined

In more languages
default for all languages
No label defined

No description defined

Statements

title
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP (English)
0 references
author name string
L. Giordano
series ordinal
1
0 references
A. Martelli
series ordinal
2
0 references
D. T. Dupre
series ordinal
3
0 references
publication date
11 December 2013
0 references
volume
25
0 references
issue
6
0 references
page(s)
1307-1330
0 references

Identifiers

DOI
10.1093/LOGCOM/EXT067
0 references
 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit
                    Retrieved from "https://www.wikidata.org/w/index.php?title=Q58207589&oldid=2441444489"