Jussi Rintanen - Veröffentlichungen allgemein

(1 - 5 von 7

)

Parallel Encodings of Classical Planning as Satisfiability |...

link.springer.com

We consider a number of semantics for plans with parallel operator application. The standard semantics used most often in earlier work requires that parallel...

ICAPS | Main / ICAPS Conferences

idm-lab.org

Jussi Rintanen, National ICT Australia, Australia (Conference Chair) Bernhard Nebel, Albert-Ludwigs Universität, Germany (Conference Chair) Chris Beck, University of

ML-Twig | Article about ML-Twig by The Free Dictionary

encyclopedia2.thefreedictionary.com

Looking for ML-Twig? Find out information about ML-Twig. A variant of TWIG in SML, by Jussi Rintanen , which comes with SML/NJ. This article is provided by...

Heuristics for Planning with SAT - SpringerLink

link.springer.com

von J Rintanen · · Zitiert von: 54 — Jussi Rintanen. Conference paper Accesses. 9 Citations. Part of the Lecture Notes in Computer Science book series (LNPSE,volume 6308) ... › chapter

Verwandte Suchanfragen zu Jussi Rintanen

Jussi Botzke
Jussi Mori

Personen
Vorname "Jussi" (313)
Name "Rintanen" (3)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Veröffentlichungen allgemein Jussi Rintanen

Parallel Encodings of Classical Planning as Satisfiability |...

ICAPS | Main / ICAPS Conferences

ML-Twig | Article about ML-Twig by The Free Dictionary

Heuristics for Planning with SAT - SpringerLink