COLIN: Planning with Continuous Linear Numeric Change (Q2905379): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Created claim: Wikidata QID (P12): Q129489740, #quickstatements; #temporary_batch_1724872475876 |
||
(8 intermediate revisions by 4 users not shown) | |||
Property / describes a project that uses | |||
Property / describes a project that uses: HyTech / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: Uppaal / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: VHPOP / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: UPMurphi / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: PDDL / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2148900824 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1401.5857 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q129489740 / rank | |||
Normal rank |
Latest revision as of 23:49, 28 August 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | COLIN: Planning with Continuous Linear Numeric Change |
scientific article |
Statements
COLIN: Planning with Continuous Linear Numeric Change (English)
0 references
27 August 2012
0 references