- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
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
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
Bibliothek der Universität Konstanz
- (when)
-
2015
- Creator
- URN
-
urn:nbn:de:bsz:352-0-295797
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:48 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Zinn, Claus
- Bibliothek der Universität Konstanz
Time of origin
- 2015
Other Objects (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