Nebel, Bernhard

1. The Small Solution Hypothesis for MAPF on Strongly Connected Directed Graphs Is True
   2022/10/10 by Bernhard Nebel, Nebel, Bernhard · 1 citation
   Computer Science · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #I.2.8 #Mobile Agent-Based Network Management #Modular Robots and Swarm Intelligence #Multiagent Systems (cs.MA) #Optimization and Search Problems
2. Expressivity of Planning with Horn Description Logic Ontologies\n (Technical Report)
   2022/03/17 by Stefan Borgwardt, J. Hoffmann, Borgwardt, Stefan +10 · 1 citation
   Computer Science · #68 #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #Computational Complexity (cs.CC) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #I.2.4 #I.2.8 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies