Bernhard Nebel

Orcid: 0000-0002-6833-6323

Affiliations:
  • University of Freiburg, Germany


According to our database1, Bernhard Nebel authored at least 216 papers between 1982 and 2024.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2021, "For contributions to knowledge representation and reasoning, automatic planning, and their applications in robotics".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
The computational complexity of multi-agent pathfinding on directed graphs.
Artif. Intell., March, 2024

An Algorithm with Improved Complexity for Pebble Motion/Multi-Agent Path Finding on Trees.
J. Artif. Intell. Res., 2024

Fools Rush in Where Angels Fear to Tread in Multi-Goal CBS.
Proceedings of the Seventeenth International Symposium on Combinatorial Search, 2024

A Symbolic Sequential Equilibria Solver for Game Theory Explorer.
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

Symbolic Computation of Sequential Equilibria.
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023
Epistemic planning: Perspectives on the special issue.
Artif. Intell., March, 2023

The Small Solution Hypothesis for MAPF on Strongly Connected Directed Graphs Is True.
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

The Multi-Agent Transportation Problem.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
The Small Solution Hypothesis for MAPF on Directed Graphs Is True.
CoRR, 2022

Expressivity of Planning with Horn Description Logic Ontologies (Technical Report).
CoRR, 2022

Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract).
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Expressivity of Planning with Horn Description Logic Ontologies.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
Game description language and dynamic epistemic logic compared.
Artif. Intell., 2021

On the Compilability and Expressive Power of State-Dependent Action Costs.
Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

2020
Evaluation of the moral permissibility of action plans.
Artif. Intell., 2020

Token-based Execution Semantics for Multi-Agent Epistemic Planning.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

A Heuristic Agent in Multi-Agent Path Finding Under Destination Uncertainty.
Proceedings of the KI 2020: Advances in Artificial Intelligence, 2020

Symbolic Top-k Planning.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Wissensrepräsentation und -verarbeitung.
Proceedings of the Handbuch der Künstlichen Intelligenz, 6. Auflage, 2020

2019
A service assistant combining autonomous robotics, flexible goal formulation, and deep-learning-based brain-computer interfacing.
Robotics Auton. Syst., 2019

Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity.
J. Artif. Intell. Res., 2019

Trial-Based Heuristic Tree-Search for Distributed Multi-Agent Planning.
Proceedings of the Twelfth International Symposium on Combinatorial Search, 2019

Epistemic Multi-agent Planning Using Monte-Carlo Tree Search.
Proceedings of the KI 2019: Advances in Artificial Intelligence, 2019

The Dynamic Logic of Policies and Contingent Planning.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity (Extended Abstract).
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Some Thoughts on Forward Induction in Multi-Agent-Path Finding Under Destination Uncertainty.
Proceedings of the Description Logic, Theory Combination, and All That, 2019

Moral Permissibility of Action Plans.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Compiling Away Soft Trajectory Constraints in Planning.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Efficient Auction Based Coordination for Distributed Multi-agent Planning in Temporal Domains Using Resource Abstraction.
Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018

Closed-Loop Robot Task Planning Based on Referring Expressions.
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Plan Relaxation via Action Debinding and Deordering.
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

On the Importance of a Research Data Archive.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

On the Relationship Between State-Dependent Action Costs and Conditional Effects in Planning.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Cooperative Epistemic Multi-Agent Planning for Implicit Coordination.
Proceedings of the Ninth Workshop on Methods for Modalities, 2017

Interval Based Relaxation Heuristics for Numeric Planning with Action Costs.
Proceedings of the KI 2017: Advances in Artificial Intelligence, 2017

Identifying good poses when doing your household chores: Creation and exploitation of inverse surface reachability maps.
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

The HERA approach to morally competent robots.
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

Acting thoughts: Towards a mobile robotic service assistant for users with limited communication skills.
Proceedings of the 2017 European Conference on Mobile Robots, 2017

2016
Cognitive Space and Spatial Cognition: The SFB/TR 8 Spatial Cognition.
Künstliche Intell., 2016

Towards effective localization in dynamic environments.
Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

Reasoning About General TBoxes with Spatial and Temporal Constraints: Implementation and Optimizations.
Proceedings of the 29th International Workshop on Description Logics, 2016

Towards A Multidimensional Perspective on Shared Autonomy.
Proceedings of the 2016 AAAI Fall Symposia, Arlington, Virginia, USA, November 17-19, 2016, 2016

2015
On Qualitative Route Descriptions.
J. Philos. Log., 2015

2014
Planning with epistemic goals (Dagstuhl Seminar 14032).
Dagstuhl Reports, 2014

An Experimental Comparison of Classical, FOND and Probabilistic Planning.
Proceedings of the KI 2014: Advances in Artificial Intelligence, 2014

Behavior-based multi-robot collision avoidance.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

The hybrid Agent MARCO.
Proceedings of the 16th International Conference on Multimodal Interaction, 2014

The hybrid agent MARCO: a multimodal autonomous robotic chess opponent.
Proceedings of the second international conference on Human-agent interaction, 2014

Robotic tele-presence with DARYL in the wild.
Proceedings of the second international conference on Human-agent interaction, 2014

Symbolic Domain Predictive Control.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Künstliche Intelligenz (unveränderter Reprint).
Fischer Kompakt, Fischer, ISBN: 978-3-596-30136-2, 2014

2013
Coordinating heterogeneous teams of robots using temporal symbolic planning.
Auton. Robots, 2013

An Affective Virtual Agent Providing Embodied Feedback in the Paired Associate Task: System Design and Evaluation.
Proceedings of the Intelligent Virtual Agents - 13th International Conference, 2013

Transition Constraints: A Study on the Computational Complexity of Qualitative Change.
Proceedings of the IJCAI 2013, 2013

Robot embodiment, operator modality, and social interaction in tele-existence: a project outline.
Proceedings of the ACM/IEEE International Conference on Human-Robot Interaction, 2013

Automatic Planning: Making Autonomous Behavior Possible.
Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013

Domain Predictive Control Under Uncertain Numerical State Information.
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

Wissensrepräsentation und -verarbeitung.
Proceedings of the Handbuch der Künstlichen Intelligenz, 5. Auflage, 2013

2012
Component Based Architecture for an Intelligent Mobile Manipulator.
Proceedings of the Towards Service Robots for Everyday Environments, 2012

Editorial.
Proceedings of the Towards Service Robots for Everyday Environments, 2012

Semantic Attachments for Domain-Independent Planning Systems.
Proceedings of the Towards Service Robots for Everyday Environments, 2012

Continual Multiagent Planning.
Proceedings of the Towards Service Robots for Everyday Environments, 2012

Proactive Continual Planning - - Deliberately Interleaving Planning and Execution in Dynamic Environments.
Proceedings of the Towards Service Robots for Everyday Environments, 2012

Task Planning for an Autonomous Service Robot.
Proceedings of the Towards Service Robots for Everyday Environments, 2012

Platas - Integrating Planning and the Action Language Golog.
Künstliche Intell., 2012

Planning with Semantic Attachments: An Object-Oriented View.
Proceedings of the ECAI 2012, 2012

A Planning Based Framework for Controlling Hybrid Systems.
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

2011
Guiding the Generation of Manipulation Plans by Qualitative Spatial Reasoning.
Spatial Cogn. Comput., 2011

AI Approaches to Cognitive Systems - The Example of Spatial Cognition.
Inform. Spektrum, 2011

Computer Science in Sport - Special emphasis: Football (Dagstuhl Seminar 11271).
Dagstuhl Reports, 2011

A model for relational reasoning as verbal reasoning.
Cogn. Syst. Res., 2011

On Qualitative Route Descriptions: Representation and Computational Complexity.
Proceedings of the IJCAI 2011, 2011

A Mechanism for Dynamic Ride Sharing Based on Parallel Auctions.
Proceedings of the IJCAI 2011, 2011

Feature Induction of Linear-chain Conditional Random Fields - A Study based on a Simulation.
Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1, 2011

Outline of an Empirical Study on the Effects of Emotions on Strategic Behavior in Virtual Emergencies.
Proceedings of the Affective Computing and Intelligent Interaction, 2011

2010
Spatial Cognition: Reasoning, Action, Interaction.
Künstliche Intell., 2010

Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Task Planning for an Autonomous Service Robot.
Proceedings of the KI 2010: Advances in Artificial Intelligence, 2010

Coordinated exploration with marsupial teams of robots using temporal symbolic planning.
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

Coming up With Good Excuses: What to do When no Plan Can be Found.
Proceedings of the Cognitive Robotics, 21.02. - 26.02.2010, 2010

Integrating Task and Motion Planning Using Semantic Attachments.
Proceedings of the Bridging the Gap Between Task and Motion Planning, 2010

Planning and Failure Detection.
Proceedings of the Cognitive Systems, 2010

2009
Reports of the AAAI 2009 Spring Symposia.
AI Mag., 2009

Continual planning and acting in dynamic multiagent environments.
Auton. Agents Multi Agent Syst., 2009

Deformable Proximity Queries and Their Application in Mobile Manipulation Planning.
Proceedings of the Advances in Visual Computing, 5th International Symposium, 2009

A Fixed-Parameter Tractable Algorithm for Spatio-Temporal Calendar Management.
Proceedings of the IJCAI 2009, 2009

Semantic Attachments for Domain-Independent Planning Systems.
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

Preface.
Proceedings of the Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009

Organizing Committee.
Proceedings of the Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009

A game controller based on multiple sensors.
Proceedings of the International Conference on Advances in Computer Entertainment Technology, 2009

2008
SailAway: Spatial Cognition in Sea Navigation.
Künstliche Intell., 2008

The DESIRE Service Robotics Initiative.
Künstliche Intell., 2008

Tischfußball: Mensch versus Computer.
Inform. Spektrum, 2008

On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

On the Complexity of Planning Operator Subsumption.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

08372 Executive Summary - Computer Science in Sport - Mission and Methods.
Proceedings of the Computer Science in Sport - Mission and Methods, 07.09. - 10.09.2008, 2008

08372 Abstracts Collection - Computer Science in Sport - Mission and Methods.
Proceedings of the Computer Science in Sport - Mission and Methods, 07.09. - 10.09.2008, 2008

Faster Than Uppaal?
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007
Qualitative Spatial Reasoning Using Constraint Calculi.
Proceedings of the Handbook of Spatial Logics, 2007

Qualitative Spatial Representation and Reasoning: A Hierarchical Approach.
Comput. J., 2007

Towards an Integration of Golog and Planning.
Proceedings of the IJCAI 2007, 2007

RFID-Based Exploration for Large Robot Teams.
Proceedings of the 2007 IEEE International Conference on Robotics and Automation, 2007

Qualitative Spatial Reasoning for Rule Compliant Agent Navigation.
Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

Learning a Table Soccer Robot a New Action Sequence by Observing and Imitating.
Proceedings of the Third Artificial Intelligence and Interactive Digital Entertainment Conference, 2007

Expressiveness of ADL and Golog: Functions Make a Difference.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
RFID Technology-based Exploration and SLAM for Search And Rescue.
Proceedings of the 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2006

2005
In defense of PDDL axioms.
Artif. Intell., 2005

Successful Search and Rescue in Simulated Disaster Areas.
Proceedings of the RoboCup 2005: Robot Soccer World Cup IX, 2005

Behavior Recognition and Opponent Modeling for Adaptive Table Soccer Playing.
Proceedings of the KI 2005: Advances in Artificial Intelligence, 2005

05491 Abstracts Collection -- Spatial Cognition: Specialization and Integration.
Proceedings of the Spatial Cognition: Specialization and Integration, 04.12. - 09.12.2005, 2005

2004
The Finest of its Class: The Natural Point-Based Ternary Calculus for Qualitative Spatial Reasoning.
Proceedings of the Spatial Cognition IV: Reasoning, 2004

Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

Adaptive Vision for Playing Table Soccer.
Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004

Applying Automatic Planning Systems to Airport Ground-Traffic Control - A Feasibility Study.
Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004

Decision-Theoretic Planning for Playing Table Soccer.
Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004

Formal Methods in Robotics.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

When Are Behaviour Networks Well-Behaved?
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Qualitative Reasoning Feeding Back into Quantitative Model-Based Tracking.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003
Qualitative Spatial Reasoning about Relative Position: The Tradeoff between Strong Formal Properties and Successful Reasoning about Route Graphs.
Proceedings of the Spatial Cognition III, Routes and Navigation, Human Memory and Learning, 2003

Case Based Game Play in the RoboCup Four-Legged League Part I The Theoretical Model.
Proceedings of the RoboCup 2003: Robot Soccer World Cup VII, 2003

Wissensrepräsentation und Logik - Eine Einführung.
Proceedings of the Handbuch der Künstlichen Intelligenz, 4. Auflage, 2003

Künstliche Intelligenz.
Fischer, ISBN: 978-3-596-15555-2, 2003

2002
CS Freiburg: coordinating robots for successful soccer playing.
IEEE Trans. Robotics Autom., 2002

Formal Properties of Constraint Calculi for Qualitative Spatial Reasoning.
Künstliche Intell., 2002

Fussball und Künstliche Intelligenz: Vom Denken zum Handeln.
Künstliche Intell., 2002

On the computational complexity of assumption-based argumentation for default reasoning.
Artif. Intell., 2002

KiRo - An Autonomous Table Soccer Player.
Proceedings of the RoboCup 2002: Robot Soccer World Cup VI, 2002

Towards a Life-Long Learning Soccer Agent.
Proceedings of the RoboCup 2002: Robot Soccer World Cup VI, 2002

The Philosophical Soccer Player.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

Dynamic Decentralized Area Partitioning for Cooperating Cleaning Robots.
Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002

Qualitative Spatio-Temporal Reasoning with RCC-8 and Allen's Interval Calculus: Computational Complexity.
Proceedings of the 15th European Conference on Artificial Intelligence, 2002

2001
Sichtweisen der kognitiven Robotik.
Künstliche Intell., 2001

Efficient Methods for Qualitative Spatial Reasoning.
J. Artif. Intell. Res., 2001

The FF Planning System: Fast Plan Generation Through Heuristic Search.
J. Artif. Intell. Res., 2001

Ranking? Publikationen, Zitate, Drittmittelprojekte und Promotionen an deutschen Informatikfakultäten im Spiegel des WWW.
Inform. Spektrum, 2001

A fast, accurate and robust method for self-localization in polygonal environments using laser range finders.
Adv. Robotics, 2001

CS Freiburg 2001.
Proceedings of the RoboCup 2001: Robot Soccer World Cup V, 2001

Evaluation of the Performance of CS Freiburg 1999 and CS Freiburg 2000.
Proceedings of the RoboCup 2001: Robot Soccer World Cup V, 2001

CS Freiburg: Global View by Cooperative Sensing.
Proceedings of the RoboCup 2001: Robot Soccer World Cup V, 2001

Decentralized collision avoidance, deadlock detection, and deadlock resolution for multiple mobile robots.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2001

Cooperative sensing in dynamic environments.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2001

CS Freiburg: Sophisticated skills and effective cooperation.
Proceedings of the 6th European Control Conference, 2001

Cooperating Physical Robots: A Lesson in Playing Robotic Soccer.
Proceedings of the Multi-Agent Systems and Applications, 2001

Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation.
Proceedings of the Spatial Information Theory: Foundations of Geographic Information Science, 2001

2000
On the Compilability and Expressive Power of Propositional Planning Formalisms.
J. Artif. Intell. Res., 2000

The CS Freiburg Team: Playing Robotic Soccer Based on an Explicit World Model.
AI Mag., 2000

CS Freiburg: Doing the Right Thing in a Group.
Proceedings of the RoboCup 2000: Robot Soccer World Cup IV, 2000

Finding Admissible and Preferred Arguments Can be Very Hard.
Proceedings of the KR 2000, 2000

Knowledge Representation and Reasoning: The Theoretical Side of AI.
Proceedings of the ECAI 2000, 2000

CS Freiburg: Architektur und Aktionsauswahl im Roboterfussfall.
Proceedings of the Autonome Mobile Systeme 2000, 2000

1999
Die Ausdruckstärke von Planungsformalismen: Eine formale Charakterisierung.
Künstliche Intell., 1999

On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus.
Artif. Intell., 1999

CS Freiburg '99.
Proceedings of the RoboCup-99: Robot Soccer World Cup III, 1999

Fast, Accurate, and Robust Self-Localization in the RoboCup Environment.
Proceedings of the RoboCup-99: Robot Soccer World Cup III, 1999

Compilation Schemes: A Theoretical Tool for Assessing the Expressive Power of Planning Formalisms.
Proceedings of the KI-99: Advances in Artificial Intelligence, 1999

Fast, accurate, and robust self-localization in polygonal environments.
Proceedings of the Proceedings 1999 IEEE/RSJ International Conference on Intelligent Robots and Systems. Human and Environment Friendly Robots with High Intelligence and Emotional Quotients, 1999

Preferred Arguments are Harder to Compute than Stable Extension.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

What Is the Expressive Power of Disjunctive Preconditions?
Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999

1998
CS Freiburg's Participation at RoboCup '98: The World Champions in Robotic Soccer.
AI Commun., 1998

Qualitative Temporal Reasoning: Theory and Practice (Abstract).
Proceedings of the 5th Workshop on Temporal Representation and Reasoning, 1998

Spatial Reasoning with Topological Information.
Proceedings of the Spatial Cognition, 1998

The CS Freiburg Robotic Soccer Team: Reliable Self-Localization, Multirobot Sensor Integration, and Basic Soccer Skills.
Proceedings of the RoboCup-98: Robot Soccer World Cup II, 1998

Efficient Algorithms for Qualitative Spatial Reasoning.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998

1997
Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficiency of Using the ORD-Horn Class.
Constraints An Int. J., 1997

Ignoring Irrelevant Facts and Operators in Plan Generation.
Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997

Extending Planning Graphs to an ADL Subset.
Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997

Encoding Planning Problems in Nonmonotonic Logic Programs.
Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997

Navigation mobiler Roboter mit Laserscans.
Proceedings of the Autonome Mobile Systeme 1997, 1997

1995
Komplexitätsanalysen in der Künstlichen Intelligenz.
Künstliche Intell., 1995

Ist die Wissensrepräsentation tot?
Künstliche Intell., 1995

Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra.
J. ACM, 1995

Complexity Results for SAS+ Planning.
Comput. Intell., 1995

Plan Reuse Versus Plan Generation: A Theoretical and Empirical Analysis.
Artif. Intell., 1995

Computational Properties of Qualitative Spatial Reasoning: First Results.
Proceedings of the KI-95: Advances in Artificial Intelligence, 1995

WIP: From Multimedia to Intellimedia.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994
Acquisition and validation of complex object database schemata supporting multiple inheritance.
Appl. Intell., 1994

Am empirical analysis of optimization techniques for terminological representation systems.
Appl. Intell., 1994

On the Computational Complexity of Temporal Projection, Planning, and Plan Validation.
Artif. Intell., 1994

An Empirical Analysis of Terminological Representation Systems.
Artif. Intell., 1994

Managing Qualitative Temporal Information: Expressiveness vs. Complexity.
Proceedings of the Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28, 1994

Base Revision Operations and Schemes: Semantics, Representation and Complexity.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

1993
"Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)" - Tagungsbericht.
Künstliche Intell., 1993

On the expressivity of feature logics with negation, functional uncertainty, and sort equations.
J. Log. Lang. Inf., 1993

Combining Classification and Nonmonotonic Inheritance Reasoning: A First Step.
Proceedings of the Methodologies for Intelligent Systems, 7th International Symposium, 1993

Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On.
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

Foundations of Knowledge Representation and Reasoning.
Proceedings of the Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop], 1992

On the Computational Complexity of Planning and Story Understanding.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992

On the Computational Complexity of Temporal Projection and Plan Validation.
Proceedings of the 10th National Conference on Artificial Intelligence, 1992

1991
Attribute Description Formalisms ... and the Rest of the World.
Proceedings of the Text Understanding in LILOG, 1991

Second International Conference: Principles of Knowledge Representation and Reasoning - KR'91.
Künstliche Intell., 1991

Belief Revision and Default Reasoning: Syntax-Based Approaches.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

Terminological Knowledge Representation: A Proposal for a Terminological Logic.
Proceedings of the International Workshop on Terminological Logics 1991, 1991

Terminological Cycles: Semantics and Computational Properties.
Proceedings of the Principles of Semantic Networks, 1991

1990
Term Subsumption Languages in Knowledge Representation.
AI Mag., 1990

Terminological Reasoning is Inherently Intractable.
Artif. Intell., 1990

Terminological reasoning and Information Management.
Proceedings of the Information Systems and Artificial Intelligence: Integration Aspects, 1990

Tutorial on Reasoning and Representation with Concept Languages.
Proceedings of the 10th International Conference on Automated Deduction, 1990

Reasoning and Revision in Hybrid Representation Systems
Lecture Notes in Computer Science 422, Springer, ISBN: 3-540-52443-6, 1990

1989
Representation and Reasoning with Attributive Descriptions
IWBS Report, 1989

A Knowledge Level Analysis of Belief Revision
IWBS Report, 1989

KL-One-basierte, hybride Repräsentationssysteme.
Proceedings of the GWAI-89, 1989

Fachseminar: Formale und kognitive Grundlagen von Wissensrepräsentationen.
Proceedings of the GWAI-89, 1989

1988
Computational Complexity of Terminological Reasoning in BACK.
Artif. Intell., 1988

Hybrid Reasoning in BACK.
Proceedings of the Methodologies for Intelligent Systems, 1988

1987
Issues of Integration and Balancing in Hybrid Knowledge Representation Systems.
Proceedings of the GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28, 1987

Some Aspects of Knowledge Base Management Systems.
Proceedings of the Wissensrepräsentation in Expertensystemen, 1987

1986
NIGEL Gets To Know Logic.
Proceedings of the GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, 1986

A Logical-Form and Knowledge-Base Design for Natural Language Generation.
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985
How well does a Vanilla Loop fit into a Frame?
Data Knowl. Eng., 1985

BACK to Consistency and Incompleteness.
Proceedings of the GWAI-85, 1985

1983
Ist LISP eine 'langsame' Sprache?
Proceedings of the GWAI-83, 1983

Beyond Domain-Independence: Experience With the Development of a German Language Access System to Highly Diverse Background Systems.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

Natürlichsprachlicher Datenbankzugang mit HAM-ANS: Syntaktische Korrepsondenz, natürlichsprachliche Qualifizierung und semantisches Modell des Diskursbereichs.
Proceedings of the Sprachen für Datenbanken, 1983

1982
Das natürlichsprachliche System HAM-ANS: Intelligenter Zugriff auf heterogene Wissens- und Datenbanken.
Proceedings of the GI - 12. Jahrestagung, Kaiserslautern, 5. -7. Oktober 1982, Proceedings, 1982


  Loading...