author_facet Zilles, Sandra
Holte, Robert C.
Zilles, Sandra
Holte, Robert C.
author Zilles, Sandra
Holte, Robert C.
spellingShingle Zilles, Sandra
Holte, Robert C.
Artificial Intelligence
The computational complexity of avoiding spurious states in state space abstraction
Artificial Intelligence
Linguistics and Language
Language and Linguistics
author_sort zilles, sandra
spelling Zilles, Sandra Holte, Robert C. 0004-3702 Elsevier BV Artificial Intelligence Linguistics and Language Language and Linguistics http://dx.doi.org/10.1016/j.artint.2010.06.002 The computational complexity of avoiding spurious states in state space abstraction Artificial Intelligence
doi_str_mv 10.1016/j.artint.2010.06.002
facet_avail Online
Free
finc_class_facet Informatik
Allgemeine und vergleichende Sprach- und Literaturwissenschaft, Indogermanistik, Außereuropäische Sprachen und Literaturen
format ElectronicArticle
fullrecord blob:ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAxNi9qLmFydGludC4yMDEwLjA2LjAwMg
id ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAxNi9qLmFydGludC4yMDEwLjA2LjAwMg
institution DE-Bn3
DE-Brt1
DE-Zwi2
DE-D161
DE-Zi4
DE-Gla1
DE-15
DE-Pl11
DE-Rs1
DE-14
DE-105
DE-Ch1
DE-L229
DE-D275
imprint Elsevier BV, 2010
imprint_str_mv Elsevier BV, 2010
issn 0004-3702
issn_str_mv 0004-3702
language English
mega_collection Elsevier BV (CrossRef)
match_str zilles2010thecomputationalcomplexityofavoidingspuriousstatesinstatespaceabstraction
publishDateSort 2010
publisher Elsevier BV
recordtype ai
record_format ai
series Artificial Intelligence
source_id 49
title The computational complexity of avoiding spurious states in state space abstraction
title_unstemmed The computational complexity of avoiding spurious states in state space abstraction
title_full The computational complexity of avoiding spurious states in state space abstraction
title_fullStr The computational complexity of avoiding spurious states in state space abstraction
title_full_unstemmed The computational complexity of avoiding spurious states in state space abstraction
title_short The computational complexity of avoiding spurious states in state space abstraction
title_sort the computational complexity of avoiding spurious states in state space abstraction
topic Artificial Intelligence
Linguistics and Language
Language and Linguistics
url http://dx.doi.org/10.1016/j.artint.2010.06.002
publishDate 2010
physical 1072-1092
description
container_issue 14
container_start_page 1072
container_title Artificial Intelligence
container_volume 174
format_de105 Article, E-Article
format_de14 Article, E-Article
format_de15 Article, E-Article
format_de520 Article, E-Article
format_de540 Article, E-Article
format_dech1 Article, E-Article
format_ded117 Article, E-Article
format_degla1 E-Article
format_del152 Buch
format_del189 Article, E-Article
format_dezi4 Article
format_dezwi2 Article, E-Article
format_finc Article, E-Article
format_nrw Article, E-Article
_version_ 1792328173202964481
geogr_code not assigned
last_indexed 2024-03-01T12:49:05.176Z
geogr_code_person not assigned
openURL url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=The+computational+complexity+of+avoiding+spurious+states+in+state+space+abstraction&rft.date=2010-09-01&genre=article&issn=0004-3702&volume=174&issue=14&spage=1072&epage=1092&pages=1072-1092&jtitle=Artificial+Intelligence&atitle=The+computational+complexity+of+avoiding+spurious+states+in+state+space+abstraction&aulast=Holte&aufirst=Robert+C.&rft_id=info%3Adoi%2F10.1016%2Fj.artint.2010.06.002&rft.language%5B0%5D=eng
SOLR
_version_ 1792328173202964481
author Zilles, Sandra, Holte, Robert C.
author_facet Zilles, Sandra, Holte, Robert C., Zilles, Sandra, Holte, Robert C.
author_sort zilles, sandra
container_issue 14
container_start_page 1072
container_title Artificial Intelligence
container_volume 174
description
doi_str_mv 10.1016/j.artint.2010.06.002
facet_avail Online, Free
finc_class_facet Informatik, Allgemeine und vergleichende Sprach- und Literaturwissenschaft, Indogermanistik, Außereuropäische Sprachen und Literaturen
format ElectronicArticle
format_de105 Article, E-Article
format_de14 Article, E-Article
format_de15 Article, E-Article
format_de520 Article, E-Article
format_de540 Article, E-Article
format_dech1 Article, E-Article
format_ded117 Article, E-Article
format_degla1 E-Article
format_del152 Buch
format_del189 Article, E-Article
format_dezi4 Article
format_dezwi2 Article, E-Article
format_finc Article, E-Article
format_nrw Article, E-Article
geogr_code not assigned
geogr_code_person not assigned
id ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAxNi9qLmFydGludC4yMDEwLjA2LjAwMg
imprint Elsevier BV, 2010
imprint_str_mv Elsevier BV, 2010
institution DE-Bn3, DE-Brt1, DE-Zwi2, DE-D161, DE-Zi4, DE-Gla1, DE-15, DE-Pl11, DE-Rs1, DE-14, DE-105, DE-Ch1, DE-L229, DE-D275
issn 0004-3702
issn_str_mv 0004-3702
language English
last_indexed 2024-03-01T12:49:05.176Z
match_str zilles2010thecomputationalcomplexityofavoidingspuriousstatesinstatespaceabstraction
mega_collection Elsevier BV (CrossRef)
physical 1072-1092
publishDate 2010
publishDateSort 2010
publisher Elsevier BV
record_format ai
recordtype ai
series Artificial Intelligence
source_id 49
spelling Zilles, Sandra Holte, Robert C. 0004-3702 Elsevier BV Artificial Intelligence Linguistics and Language Language and Linguistics http://dx.doi.org/10.1016/j.artint.2010.06.002 The computational complexity of avoiding spurious states in state space abstraction Artificial Intelligence
spellingShingle Zilles, Sandra, Holte, Robert C., Artificial Intelligence, The computational complexity of avoiding spurious states in state space abstraction, Artificial Intelligence, Linguistics and Language, Language and Linguistics
title The computational complexity of avoiding spurious states in state space abstraction
title_full The computational complexity of avoiding spurious states in state space abstraction
title_fullStr The computational complexity of avoiding spurious states in state space abstraction
title_full_unstemmed The computational complexity of avoiding spurious states in state space abstraction
title_short The computational complexity of avoiding spurious states in state space abstraction
title_sort the computational complexity of avoiding spurious states in state space abstraction
title_unstemmed The computational complexity of avoiding spurious states in state space abstraction
topic Artificial Intelligence, Linguistics and Language, Language and Linguistics
url http://dx.doi.org/10.1016/j.artint.2010.06.002