Back to Results
First PageMeta Content
Model checking / Theoretical computer science / Heuristic function / Mind / Abstraction / Heuristic / Algorithm / Cognition / Innovation / Problem solving / Heuristics / Operations research


ALBERT-LUDWIGS-UNIVERSITÄT FREIBURG INSTITUT FÜR INFORMATIK Arbeitsgruppe Grundlagen der Künstlichen Intelligenz Prof. Dr. Bernhard Nebel
Add to Reading List

Document Date: 2013-03-08 08:54:40

Open Document

File Size: 591,19 KB

Share Result on Facebook

Company

McDermott / /

IndustryTerm

statespace search / admissible search heuristic / large systems / refinement algorithm / blind search / polynomial algorithms / abstract solution / state-space search / shortest solution / abstract solutions / transition systems / /

Organization

ALBERT-LUDWIGS-UNIVERSITÄT FREIBURG INSTITUT FÜR INFORMATIK Arbeitsgruppe Grundlagen / Mit / Universität Basel / /

Person

Malte Helmert / Nebel Counterexample-guided / Bernhard Nebel Counterexample-guided / /

Position

Thesis Jendrik Seipp Advisor / /

Technology

polynomial algorithms / 9 9 11 3 Abstraction refinement algorithm / proposed algorithm / CEGAR algorithm / /

SocialTag