. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
..?
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 62.75 EUR, größter Preis: 94.68 EUR, Mittelwert: 72.29 EUR
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.

< zum Suchergebnis...
Details zum Buch
Temporal Metric Planning in Continuous Time
Autor:

Shin, Ji-Ae

Titel:

Temporal Metric Planning in Continuous Time

ISBN-Nummer:

3639164547

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 Suchergebnis...
< zum Archiv...
Benachbarte Bücher