- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Declarative Programming and Knowledge Management : Declarative Programming Days, KDPD 2013 ; Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11–13, 2013, Revised Selected Papers / Hanus, Michael et al. (Hrsg.). - Cham : Springer, 2014. - (Lecture Notes in Artificial Intelligence ; 8439). - S. 234-249. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-319-08908-9. - In: KDPD 2013 : Kiel Declarative Programming Days 2013, 11. Sep 2013 - 13. Sep 2013, Kiel
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
Bibliothek der Universität Konstanz
- (wann)
-
2015
- Urheber
- URN
-
urn:nbn:de:bsz:352-0-295797
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:48 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Zinn, Claus
- Bibliothek der Universität Konstanz
Entstanden
- 2015
Ähnliche Objekte (12)
Heuristic Search for Unbounded Executions
Protocol Verification with Heuristic Search
Heuristic-Guided Counterexample Search in FLAVERS
Adaptive search techniques in AI planning and heuristic search
Constraint Satisfaction Search and Forward Checking. Heuristic Repair
On-line path planning by heuristic hierarchical search
Multiobjective heuristic search : an introduction to intelligent search methods for multicriteria optimization
A theory of heuristic information in game tree search
Combinatorial abilities and heuristic behavior in online search environments
Heuristic search for allocation of slots at network level
Anytime optimal MDP planning with trial-based heuristic tree search
Heuristic Concentration and Tabu Search: A Nose to Nose Comparison
Heuristic Search for Unbounded Executions
Protocol Verification with Heuristic Search
Heuristic-Guided Counterexample Search in FLAVERS
Adaptive search techniques in AI planning and heuristic search
Constraint Satisfaction Search and Forward Checking. Heuristic Repair
On-line path planning by heuristic hierarchical search
Multiobjective heuristic search : an introduction to intelligent search methods for multicriteria optimization
A theory of heuristic information in game tree search
Combinatorial abilities and heuristic behavior in online search environments
Heuristic search for allocation of slots at network level
Anytime optimal MDP planning with trial-based heuristic tree search
Heuristic Concentration and Tabu Search: A Nose to Nose Comparison
Heuristic Search for Unbounded Executions
Protocol Verification with Heuristic Search
Heuristic-Guided Counterexample Search in FLAVERS
Adaptive search techniques in AI planning and heuristic search
Constraint Satisfaction Search and Forward Checking. Heuristic Repair
On-line path planning by heuristic hierarchical search
Multiobjective heuristic search : an introduction to intelligent search methods for multicriteria optimization
A theory of heuristic information in game tree search
Combinatorial abilities and heuristic behavior in online search environments
Heuristic search for allocation of slots at network level
Anytime optimal MDP planning with trial-based heuristic tree search