Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Open Access
    Datensatz exportieren als...
  • BibTeX
Concise finite-domain representations for PDDL planning tasks
Artificial intelligence, 2009-04, Vol.173 (5), p.503-535
2009
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Complexity results for standard benchmark domains in planning
Artificial intelligence, 2003-02, Vol.143 (2), p.219-262
2003
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Counterexample-Guided Cartesian Abstraction Refinement for Classical Planning
The Journal of artificial intelligence research, 2018-01, Vol.62, p.535-577
2018
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems
The Journal of artificial intelligence research, 2021, Vol.71, p.781-883
2021
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
The Fast Downward Planning System
The Journal of artificial intelligence research, 2006-01, Vol.26, p.191-246
2006
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Saturated Cost Partitioning for Optimal Classical Planning
The Journal of artificial intelligence research, 2020-01, Vol.67, p.129
2020
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
KI 2016: Advances in Artificial Intelligence : 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings
1st Edition 2016, 2016
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Merge-and-Shrink Abstraction: A Method for Generating Lower Bounds in Factored State Spaces
Journal of the ACM, 2014-05, Vol.61 (3), p.1-63
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Understanding Planning Tasks: Domain Complexity and Heuristic Decomposition
2008 edition., 2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Concise finite-domain representations for PDDL planning tasks: Advances in Automated Plan Generation
Artificial intelligence, 2009, Vol.173 (5-6), p.503-535
2009
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
An Empirical Case Study on Symmetry Handling in Cost-Optimal Planning as Heuristic Search
KI 2015: Advances in Artificial Intelligence, p.166-180
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Doppelkopf Player Based on UCT
KI 2015: Advances in Artificial Intelligence, p.151-165
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Understanding Planning Tasks: Domain Complexity and Heuristic Decomposition
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Merge-and-Shrink Abstraction: A Method for Generating Lower Bounds in Factored State Spaces
Journal of the ACM, 2014-05, Vol.61 (3), p.16
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
KI 2016: 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings
1, 2016
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection
The Journal of artificial intelligence research, 2009-01, Vol.35, p.49-117
2009
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The Causal Graph Revisited for Directed Model Checking
Static Analysis, p.86-101
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
KI 2016: Advances in Artificial Intelligence: 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Automating the evaluation of planning systems
Ai communications, 2013, Vol.26 (4), p.331-354
2013
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Planning with h +  in Theory and Practice
KI 2009: Advances in Artificial Intelligence, p.9-16
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length
Lecture notes in computer science, 2000, p.135-147
2000
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Mips The Model‐Checking Integrated Planning System
The AI magazine, 2001-09, Vol.22 (3), p.67-71
2001
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A Stochastic Local Search Approach to Vertex Cover
KI 2007: Advances in Artificial Intelligence, p.412-426
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A Skat Player Based on Monte-Carlo Simulation
Computers and Games, p.135-147
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Selective Approaches for Solving Weak Games
Automated Technology for Verification and Analysis, 2006, p.200-214
2006
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 101
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen