Bernhard Nebel
7 papers · 2013–2023 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (10) 🐣 Hot Topic Early Bird
🚀
Conference Pioneer
Top co-authors
Research topics
Keywords
computational complexity
(2)
automated planning
(2)
multi-agent path finding
(2)
multi-agent system
(2)
planning algorithm
(1)
sat solver
(1)
planning task
(1)
classical planning
(1)
symbolic search
(1)
state constraint
(1)
description logic
(1)
optimal planning
(1)
sat solving
(1)
plan cost
(1)
dynamic epistemic logic
(1)
ai planning
(1)
action planning
(1)
machine ethics
(1)
action plan
(1)
makespan optimization
(1)
Papers
The Multi-Agent Transportation Problem
AAAI 2023
Expressivity of Planning with Horn Description Logic Ontologies
AAAI 2022
Symbolic Top-k Planning
AAAI 2020
Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity (Extended Abstract)
IJCAI 2019
Moral Permissibility of Action Plans
AAAI 2019
Game Description Language and Dynamic Epistemic Logic Compared
IJCAI 2018
Transition Constraints: A Study on the Computational Complexity of Qualitative Change
IJCAI 2013