- 5 Ergebnisse
Kleinster Preis: € 58,92, größter Preis: € 122,39, Mittelwert: € 81,26
1
Temporal Metric Planning in Continuous Time: Processes and Continuous Changes in a SAT-based Planning - Ji-Ae Shin
Bestellen
bei amazon.com
$ 88,55
(ca. € 72,38)
Bestellen
Details und Versand
gesponserter Link
Ji-Ae Shin:

Temporal Metric Planning in Continuous Time: Processes and Continuous Changes in a SAT-based Planning - Taschenbuch

ISBN: 3639164547

Paperback, [EAN: 9783639164541], VDM Verlag, VDM Verlag, Book, [PU: VDM Verlag], VDM Verlag, The TM-LPSAT planner can construct plans in domains containing atomic actions and durative act… Mehr…

  - Neuware. Versandkosten:Usually ships in 3-4 business days., zzgl. Versandkosten langton_distribution
zuklappen (X)
2
Temporal Metric Planning in Continuous Time
Bestellen
bei Dodax.de
€ 68,00
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Temporal Metric Planning in Continuous Time - neues Buch

ISBN: 9783639164541

The TM-LPSAT planner can construct plans in domains containing atomic actions and durative actions, events and processes, discrete, real-valued, and interval-valued fluents, reusable reso… Mehr…

  - Nr. Versandkosten:, Lieferzeit: 11 Tage, DE. (EUR 0.00)
zuklappen (X)
3
Temporal Metric Planning in Continuous Time: Processes and Continuous Changes in a SAT-based Planning - Ji-Ae Shin
Bestellen
bei Amazon.de (Intern. Bücher)
€ 122,39
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Ji-Ae Shin:
Temporal Metric Planning in Continuous Time: Processes and Continuous Changes in a SAT-based Planning - Taschenbuch

ISBN: 3639164547

Taschenbuch, [EAN: 9783639164541], VDM Verlag, VDM Verlag, Book, [PU: VDM Verlag], VDM Verlag, 62991011, Computer & Internet, 63910011, Apple, 63716011, Betriebssysteme, 63260011, Certifi… Mehr…

  - Gebraucht. Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 6 - 10 Werktagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) ErgodeBooks Ships From USA
zuklappen (X)
4
Temporal Metric Planning in Continuous Time: Processes and Continuous Changes in a SAT-based Planning - Ji-Ae Shin
Bestellen
bei Amazon.de (Intern. Bücher)
€ 58,92
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Ji-Ae Shin:
Temporal Metric Planning in Continuous Time: Processes and Continuous Changes in a SAT-based Planning - Taschenbuch

ISBN: 3639164547

Taschenbuch, [EAN: 9783639164541], VDM Verlag, VDM Verlag, Book, [PU: VDM Verlag], VDM Verlag, 62991011, Computer & Internet, 63910011, Apple, 63716011, Betriebssysteme, 63260011, Certifi… Mehr…

  - Neuware. Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) buecherwelt-online
zuklappen (X)
5
Temporal Metric Planning In Continuous Time - Ji-Ae Shin
Bestellen
bei BarnesandNoble.com
$ 96,00
(ca. € 84,61)
Bestellen
Details und Versand
gesponserter Link
Ji-Ae Shin:
Temporal Metric Planning In Continuous Time - Taschenbuch

ISBN: 9783639164541

Temporal Metric Planning In Continuous Time Temporal-Metric-Planning-In-Continuous-Time~~Ji-Ae-Shin Technology>MS Development>Windows Prog Paperback, VDM Verlag

  - new Versandkosten:zzgl. Versandkosten.
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Temporal Metric Planning in Continuous Time
Autor:
Titel:
ISBN-Nummer:

3639164547


The TM-LPSAT planner can construct plans in domains containing atomic actions and durative actions; events and processes; discrete, real-valued, and interval-valued fluents; reusable resources, both numeric and interval-valued; and continuous linear change to quantities. It works in three tages. In the first stage, a representation of the domain and problem in an extended version of PDDL+ is compiled into a system of Boolean combinations of propositional atoms and linear constraints over numeric variables. In the second stage, a SAT-based arithmetic constraint solver, such as LPSAT or MathSAT, is used to find a solution to the system of constraints. In the third stage, a correct plan is extracted from this solution. We discuss the structure of the planner and show how planning with time and metric quantities is compiled into a system of constraints.

Detailangaben zum Buch - Temporal Metric Planning in Continuous Time


EAN (ISBN-13): 9783639164541
ISBN (ISBN-10): 3639164547
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2009
Herausgeber: VDM Verlag

Buch in der Datenbank seit 2008-01-12T01:04:12+01:00 (Zurich)
Detailseite zuletzt geändert am 2019-02-09T11:24:37+01:00 (Zurich)
ISBN/EAN: 3639164547

ISBN - alternative Schreibweisen:
3-639-16454-7, 978-3-639-16454-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: shin
Titel des Buches: planning

< zum Archiv...