Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Christer Bäckström 40 träffar

Titel Författare År Språk
1 A Multi-parameter Complexity Analysis of Cost-optimal and Net-benefit Planning 2016 June 12–17 UK London Twenty-Sixth International Conference on Automated Planning and Scheduling (ICAPS-16) Meysam Aghighi 2016 Engelska
2 Computational Complexity of some Optimization Problems in Planning Meysam Aghighi 2017 Engelska
3 Cost-optimal and Net-benefit Planning--A Parameterised Complexity View 24th International Joint Conference on Artificial Intelligence (IJCAI-15) Meysam Aghighi 2015 Engelska
4 Plan Reordering and Parallel Execution -- A Parameterized Complexity View Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17) Meysam Aghighi 2017 Engelska
5 Complexity results for SAS⁺ planning Christer Bäckström 1993 Engelska
6 Computational complexity of reasoning about plans Christer Bäckström 1992 Engelska
7 Executing parallel plans faster by adding actions Christer Bäckström 1994 Engelska
8 Expressive equivalence of planning formalisms Christer Bäckström 1995 Engelska
9 Finding least constrained plans and optimal parallel executions is harder than we thought Christer Bäckström 1994 Engelska
10 Five years of tractable planning Christer Bäckström 1995 Engelska
11 Keeping and forcing - how to represent cooperating actions Christer Bäckström 1988 Engelska
12 Logical modelling of simplified geometrical objects and mechanical assembly processes Christer Bäckström 1987 Engelska
13 On the planning problem in sequential control Christer Bäckström 1991 Engelska
14-15 Parallel non-binary planning in polynomial time - the SAS-PUS class (flera utgåvor) Christer Bäckström 1992 Engelska
16-17 Planning in polynomial time - the SAS-PUBS class (flera utgåvor) Christer Bäckström 1992 Engelska
18 Planning with abstraction hierarchies can be exponentially less efficient Christer Bäckström 1995 Engelska
19 Planning with partial states in O(n²) time - the SAS⁺-PUS planning problem Christer Bäckström 1992 Engelska
20 Reasoning about interdependent actions Christer Bäckström 1988 Engelska

1 2 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.