Gast ::
| 001 | 1009613 | ||
| 005 | 20250409054352.0 | ||
| 024 | 7 | _ | |a 10.1613/jair.1.15796 |2 DOI |
| 024 | 7 | _ | |a 1076-9757 |2 ISSN |
| 024 | 7 | _ | |a 1943-5037 |2 ISSN |
| 024 | 7 | _ | |a SCOPUS:2-s2.0-86000481621 |2 SCOPUS |
| 024 | 7 | _ | |a WOS:001450850300007 |2 WOS |
| 024 | 7 | _ | |a 10.18154/RWTH-2025-03576 |2 datacite_doi |
| 037 | _ | _ | |a RWTH-2025-03576 |
| 041 | _ | _ | |a English |
| 082 | _ | _ | |a 004 |
| 100 | 1 | _ | |0 P:(DE-82)IDM04573 |a Liu, Daxin |b 0 |
| 245 | _ | _ | |a A Framework for Belief-based Programs and Their Verification |h online |
| 260 | _ | _ | |a [Erscheinungsort nicht ermittelbar] |b AI Access Found. |c 2025 |
| 336 | 7 | _ | |0 0 |2 EndNote |a Journal Article |
| 336 | 7 | _ | |0 PUB:(DE-HGF)16 |2 PUB:(DE-HGF) |a Journal Article |b journal |m journal |
| 336 | 7 | _ | |2 BibTeX |a ARTICLE |
| 336 | 7 | _ | |2 DRIVER |a article |
| 336 | 7 | _ | |2 DataCite |a Output Types/Journal article |
| 336 | 7 | _ | |2 ORCID |a JOURNAL_ARTICLE |
| 588 | _ | _ | |a Dataset connected to , , |
| 591 | _ | _ | |a Germany |
| 591 | _ | _ | |a Peoples R China |
| 700 | 1 | _ | |0 P:(DE-82)000876 |a Lakemeyer, Gerhard |b 1 |e Corresponding author |u rwth |
| 773 | _ | _ | |0 PERI:(DE-600)1468362-3 |a 10.1613/jair.1.15796 |p 1205-1242 |t Journal of artificial intelligence research : JAIR |v 82 |x 1076-9757 |y 2025 |
| 856 | 4 | _ | |u https://publications.rwth-aachen.de/record/1009613/files/1009613.pdf |y OpenAccess |
| 909 | C | O | |o oai:publications.rwth-aachen.de:1009613 |p openaire |p open_access |p VDB |p driver |p dnbdelivery |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)000876 |a RWTH Aachen |b 1 |k RWTH |
| 914 | 1 | _ | |y 2025 |
| 915 | 1 | _ | |0 StatID:(DE-HGF)0031 |2 StatID |a Peer reviewed article |x 0 |
| 915 | _ | _ | |a DBCoverage |0 StatID:(DE-HGF)0150 |2 StatID |b Web of Science Core Collection |d 2025-01-02 |
| 915 | _ | _ | |a DBCoverage |0 StatID:(DE-HGF)0300 |2 StatID |b Medline |d 2025-01-02 |
| 915 | _ | _ | |a DBCoverage |0 StatID:(DE-HGF)1160 |2 StatID |b Current Contents - Engineering, Computing and Technology |d 2025-01-02 |
| 915 | _ | _ | |a Creative Commons Attribution CC BY 4.0 |0 LIC:(DE-HGF)CCBY4 |2 HGFVOC |
| 915 | _ | _ | |a JCR |0 StatID:(DE-HGF)0100 |2 StatID |b J ARTIF INTELL RES : 2022 |d 2025-01-02 |
| 915 | _ | _ | |a DBCoverage |0 StatID:(DE-HGF)0501 |2 StatID |b DOAJ Seal |d 2024-05-07T07:59:13Z |
| 915 | _ | _ | |a WoS |0 StatID:(DE-HGF)0113 |2 StatID |b Science Citation Index Expanded |d 2025-01-02 |
| 915 | _ | _ | |a DBCoverage |0 StatID:(DE-HGF)0500 |2 StatID |b DOAJ |d 2024-05-07T07:59:13Z |
| 915 | _ | _ | |a OpenAccess |0 StatID:(DE-HGF)0510 |2 StatID |
| 915 | _ | _ | |a Peer Review |0 StatID:(DE-HGF)0030 |2 StatID |b DOAJ : Anonymous peer review |d 2024-05-07T07:59:13Z |
| 915 | _ | _ | |a IF >= 5 |0 StatID:(DE-HGF)9905 |2 StatID |b J ARTIF INTELL RES : 2022 |d 2025-01-02 |
| 915 | _ | _ | |a DBCoverage |0 StatID:(DE-HGF)0160 |2 StatID |b Essential Science Indicators |d 2025-01-02 |
| 915 | _ | _ | |a DBCoverage |0 StatID:(DE-HGF)0200 |2 StatID |b SCOPUS |d 2025-01-02 |
| 915 | _ | _ | |a DBCoverage |0 StatID:(DE-HGF)0199 |2 StatID |b Clarivate Analytics Master Journal List |d 2025-01-02 |
| 920 | 1 | _ | |0 I:(DE-82)121920_20140620 |k 121920 |l Lehr- und Forschungsgebiet Wissensbasierte Systeme |x 0 |
| 920 | 1 | _ | |0 I:(DE-82)120000_20140620 |k 120000 |l Fachgruppe Informatik |x 1 |
| 980 | _ | _ | |a I:(DE-82)120000_20140620 |
| 980 | _ | _ | |a I:(DE-82)121920_20140620 |
| 980 | _ | _ | |a UNRESTRICTED |
| 980 | _ | _ | |a VDB |
| 980 | _ | _ | |a journal |
| 980 | 1 | _ | |a FullTexts |
| Library | Collection | CLSMajor | CLSMinor | Language | Author |
|---|