. .
Deutsch
Deutschland
Anmelden
Tipp von eurobuch.com
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 3639164547 ankaufen:
Suchtools
Buchtipps
Aktuelles
FILTER
- 0 Ergebnisse
Kleinster Preis: 62,75 €, größter Preis: 94,68 €, Mittelwert: 72,29 €
Temporal Metric Planning in Continuous Time - Processes and Continuous Changes in a SAT-based  Planning
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Temporal Metric Planning in Continuous Time - Processes and Continuous Changes in a SAT-based Planning - Taschenbuch

2009, ISBN: 9783639164541

[ED: Taschenbuch / Paperback], [PU: VDM Verlag Dr. Müller], 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., [SC: 0.00], Neuware, gewerbliches Angebot, 220 mm

Neues Buch Booklooker.de
Syndikat Buchdienst
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Temporal Metric Planning In Continuous Time - Ji-Ae Shin
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Ji-Ae Shin:
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 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+ iscompiled into a system of Boolean combinations of propositional atoms and linear constraints overnumeric variables. In the second stage, a SAT-based arithmetic constraint solver, such as LPSAT orMathSAT, is used to find a solution to the system of constraints. In the third stage, a correct plan isextracted from this solution. We discuss the structure of the planner and show how planning withtime and metric quantities is compiled into a system of constraints. Books Books ~~ Computers~~ Information Technology Temporal-Metric-Planning-In-Continuous-Time~~Ji-Ae-Shin VDM Verlag

Neues Buch [USA] Barnesandnoble.com
Free Shipping on eligible orders over $25 Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Temporal Metric Planning in Continuous Time - Shin, Ji-Ae
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Shin, Ji-Ae:
Temporal Metric Planning in Continuous Time - Taschenbuch

2009, ISBN: 3639164547

Gebundene Ausgabe, ID: 5285007

Processes and Continuous Changes in a SAT-based Planning - Buch, gebundene Ausgabe, 168 S., Beilagen: Paperback, Erschienen: 2009 VDM Verlag, [PU: VDM Verlag Dr. Müller, Saarbrücken]

Neues Buch Buch24.de
buch24de
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Temporal Metric Planning in Continuous Time - Shin, Ji-Ae
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Shin, Ji-Ae:
Temporal Metric Planning in Continuous Time - Taschenbuch

ISBN: 3639164547

Gebundene Ausgabe, ID: 5285007

Processes and Continuous Changes in a SAT-based Planning - Buch, gebundene Ausgabe, 168 S., Beilagen: Paperback, Erschienen: 2009 VDM Verlag

Neues Buch DE Buch24.de
Versandkosten:Versandkostenfrei innerhalb der BRD, zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Temporal Metric Planning in Continuous Time - Ji-Ae Shin
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Ji-Ae Shin:
Temporal Metric Planning in Continuous Time - neues Buch

ISBN: 9783639164541

ID: 9431ef4c0248b45c4fb568b12ebad576

The TM-LPSAT planner can construct plans in domains, [PU: VDM Verlag Dr. Müller, Saarbrücken]

Neues Buch Dodax.de
Versandkosten:Versandkosten: 0.0 EUR, Lieferzeit: 6 Tage, DE. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch

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 12.01.2008 01:04:12
Buch zuletzt gefunden am 01.11.2016 16:33:04
ISBN/EAN: 3639164547

ISBN - alternative Schreibweisen:
3-639-16454-7, 978-3-639-16454-1


< zum Archiv...
Benachbarte Bücher