Bernhard Nebel

Available identifiers

zbMath Open nebel.bernhardWikidataQ92716 ScholiaQ92716MaRDI QIDQ679418

List of research outcomes

Publication	Date of Publication	Type
Epistemic planning: perspectives on the special issue	2023-06-19	Paper
Interval Based Relaxation Heuristics for Numeric Planning with Action Costs	2022-11-02	Paper
Game description language and dynamic epistemic logic compared	2021-11-02	Paper
Evaluation of the moral permissibility of action plans	2020-11-16	Paper
Some thoughts on forward induction in multi-agent-path finding under destination uncertainty	2020-06-04	Paper
The dynamic logic of policies and contingent planning	2020-02-18	Paper
Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity	2019-03-04	Paper
On qualitative route descriptions. Representation, agent models, and computational complexity	2015-04-23	Paper
In defense of PDDL axioms	2007-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q3046939	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q3046967	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q3047051	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4448731	2004-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q4406782	2003-06-26	Paper
On the computational complexity of assumption-based argumentation for default reasoning.	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4540952	2002-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q4533361	2002-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q2734949	2002-01-02	Paper
https://portal.mardi4nfdi.de/entity/Q2717791	2001-06-18	Paper
https://portal.mardi4nfdi.de/entity/Q4514014	2000-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q4488091	2000-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4236365	1999-09-14	Paper
On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus	1999-04-28	Paper
Reasoning about temporal relations	1998-02-02	Paper
Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class	1997-04-22	Paper
https://portal.mardi4nfdi.de/entity/Q5688793	1997-03-16	Paper
An empirical analysis of terminological representation systems	1995-05-14	Paper
Acquisition and validation of complex object database schemata supporting multiple inheritance	1995-03-20	Paper
On the computational complexity of temporal projection, planning, and plan validation	1995-01-02	Paper
On the expressivity of feature logics with negation, functional uncertainty, and sort equations	1994-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4028815	1993-03-28	Paper
Reasoning and revision in hybrid representation systems	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q4013976	1992-09-27	Paper
Terminological reasoning is inherently intractable	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3493313	1989-01-01	Paper
Computational complexity of terminological reasoning in BACK	1988-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Bernhard Nebel