UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Robot task planning and explanation in open and uncertain worlds

Artificial intelligence, 2017-06, Vol.247, p.119-150

2017

Volltextzugriff (PDF)

A Study of Proxies for Shapley Allocations of Transport Costs

The Journal of artificial intelligence research, 2016-08, Vol.56, p.573-611

2016

Volltextzugriff (PDF)

Formally Verified Algorithms for Upper-Bounding State Space Diameters

Journal of automated reasoning, 2018-06, Vol.61 (1-4), p.485-520

2018

Volltextzugriff (PDF)

A simulation-optimisation genetic algorithm approach to product allocation in vending machine systems

Expert systems with applications, 2020-05, Vol.145, p.113110, Article 113110

2020

Volltextzugriff (PDF)

Image-to-image translation for wavefront and point spread function estimation

Journal of astronomical telescopes, instruments, and systems, 2023-01, Vol.9 (1)

2023

Volltextzugriff (PDF)

Dagster: Parallel Structured Search with Case Studies

PRICAI 2022: Trends in Artificial Intelligence, p.75-89

Volltextzugriff (PDF)

Decision Support System for a Real-Time Field Service Engineer Scheduling Problem with Emergencies and Collaborations

Transportation research record, 2015-01, Vol.2497 (1), p.117-123

2015

Volltextzugriff (PDF)

A Counter-Example Based Approach to Probabilistic Conformant Planning

Proceedings of the International Conference on Automated Planning and Scheduling, 2024-05, Vol.34, p.689-697

2024

Volltextzugriff (PDF)

Decision-Theoretic Planning with non-Markovian Rewards

The Journal of artificial intelligence research, 2006-01, Vol.25, p.17-74

2006

Volltextzugriff (PDF)

Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems

Interactive Theorem Proving, 2015, p.1-16

2015

Volltextzugriff (PDF)

A Stochastic Local Search Approach to Vertex Cover

KI 2007: Advances in Artificial Intelligence, p.412-426

Volltextzugriff (PDF)

Dagster: Parallel Structured Search

Proceedings of the ... AAAI Conference on Artificial Intelligence, 2023-06, Vol.37 (13), p.16404-16406

2023

Volltextzugriff (PDF)

A State-Space Acyclicity Property for Exponentially Tighter Plan Length Bounds

Proceedings of the International Conference on Automated Planning and Scheduling, 2017, Vol.27, p.2-10

2017

Volltextzugriff (PDF)

A TIL-Relaxed Heuristic for Planning with Time Windows

Proceedings of the International Conference on Automated Planning and Scheduling, 2018, Vol.28, p.2-10

2018

Volltextzugriff (PDF)

Advances in Local Search for Satisfiability

AI 2007: Advances in Artificial Intelligence, p.213-222

Volltextzugriff (PDF)

Partial Weighted MaxSAT for Optimal Planning

PRICAI 2010: Trends in Artificial Intelligence, p.231-243

Volltextzugriff (PDF)

Induction of topological environment maps from sequences of visited places

2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2008, p.2890-2895

2008

Volltextzugriff (PDF)

Combining Adaptive and Dynamic Local Search for Satisfiability

Journal on satisfiability, Boolean modeling and computation, 2008-05, Vol.4 (2-4), p.149-172

2008

Volltextzugriff (PDF)

A Switching Planner for Combined Task and Observation Planning

Proceedings of the ... AAAI Conference on Artificial Intelligence, 2011-08, Vol.25 (1), p.964-970

2011

Volltextzugriff (PDF)

A More Expressive Behavioral Logic for Decision-Theoretic Planning

PRICAI 2014: Trends in Artificial Intelligence, p.13-25

Volltextzugriff (PDF)

SAT-Based Parallel Planning Using a Split Representation of Actions

Proceedings of the International Conference on Automated Planning and Scheduling, 2009-10, Vol.19, p.281-288

2009

Volltextzugriff (PDF)

Exploiting first-order regression in inductive policy selection

ACM International Conference Proceeding Series; Vol. 70: Proceedings of the 20th conference on Uncertainty in artificial intelligence; 07-11 July 2004, 2004, p.217-225

2004

Volltextzugriff (PDF)