- The More, the Merrier: Combining Heuristic Estimators for Satisficing Planning (Extended Version)
- A Planning Heuristic Based on Causal Graph Analysis Malte Helmert
- Complexity of Planning with Partial Observability Jussi Rintanen
- Dependency Calculus Reasoning in a General Point Relation Algebra
- Selecting Ghosts and Queues from a Car Trackers Output using a Spatio-Temporal Query Language
- High-Quality Policies for the Canadian Traveler's Problem Patrick Eyerich and Thomas Keller and Malte Helmert
- The Operational Traffic Control Problem: Computational Complexity and Solutions
- What is the Expressive Power of Disjunctive Preconditions?
- Integrating Explanatory and Descriptive Learning in ILP Yannis Dimopoulos
- Partial Implicit Unfolding in the DavisPutnam Procedure for Quantified Boolean Formulae
- Qualitative Spatial Reasoning about Line Segments Reinhard Moratz 1 and Jochen Renz 2 and Diedrich Wolter 3
- Logics for Knowledge Representation Bernhard Nebel
- Automatic Abstraction Refinement for Timed Automata Henning Dierks1
- UPPAAL/DMC Abstraction-based Heuristics for Directed Model Checking
- Towards a LifeLong Learning Soccer Agent ? Alexander Kleiner, Markus Dietl, Bernhard Nebel
- Qualitative Reasoning Feeding Back into Quantitative ModelBased Tracking
- Undecidability of Plane Polygonal Mereotopology This is a slightly revised version of the paper appeared in
- On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus \Lambda
- Knowledge Representation and Reasoning The Theoretical Side of AI
- KiRo --An autonomous table soccer player Thilo Weigel, Bernhard Nebel
- On the Compilability and Expressive Power of Propositional Planning Formalisms
- Solving Non-deterministic Planning Problems with Pattern Database Heuristics
- On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint
- GOLOG and PDDL: What is the Relative Expressiveness?
- A Formal Model for Planning with Time and Resources in Concurrent Domains
- Parallel Encodings of Classical Planning as Satisfiability Jussi Rintanen 1 , Keijo Heljanko 2 , and Ilkka Niemel a 2
- Termination of Logic Programs Using Various Dynamic Selection Rules
- The CS Freiburg Team: Playing Robotic Soccer Based on an Explicit
- Graph Embedding with Topological CycleConstraints ?
- Efficient Methods for Qualitative Spatial Jochen Renz and Bernhard Nebel 1
- Enhancing the Context-Enhanced Additive Heuristic with Precedence Constraints Jilin University
- Landmarks Revisited Silvia Richter
- Semantic Attachments for Domain-Independent Planning Systems Christian Dornhege and Patrick Eyerich and Thomas Keller
- Planning with h+ in Theory and Practice
- A Canonical Model of the Region Connection Calculus To appear in: Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning
- Planning under Resource Constraints Jana Koehler 1
- Distance Estimates for Planning in the Discrete Belief Space Jussi Rintanen
- Evaluation Strategies for Planning as Satisfiability Jussi Rintanen 1
- Symmetry Reduction for SAT Representations of Transition Systems Jussi Rintanen
- Approaching Urban Disaster Reality: The ResQ Firesimulator
- Creating Dynamic Story Plots with Continual Multiagent Planning Michael Brenner
- Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning
- Stefan Wlfl Events in Branching Time Abstract. The concept of event is one of the key notions of many theories dealing with
- Decentralized Hash Tables For Mobile Robot Teams Solving Intra-Logistics Tasks
- Continual Collaborative Planning for Mixed-Initiative Action and Interaction
- Playing Tetris Using Bandit-Based Monte-Carlo Planning Zhongjie Cai and Dapeng Zhang and Bernhard Nebel1
- A Table Soccer Robot Ready for the Market Thilo Weigel
- Maximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis
- Truthful Feedback for Sanctioning Reputation Mechanisms Jens Witkowski
- Decision-Theoretic Planning for Playing Table Soccer
- Evaluation of the Performance of CS Freiburg 1999 and CS Freiburg 2000 ?
- A Covering Problem for Hypercubes J org Hoffmann
- Expressive Equivalence of Formalisms for Planning with Sensing Jussi Rintanen
- Continual Planning and Acting in Dynamic Multiagent Environments
- Decentralized Collision Avoidance, Deadlock Detection, and Deadlock Resolution for Multiple Mobile Robots
- Spatial Reasoning with Topological Information Jochen Renz and Bernhard Nebel
- CONSTRAINTS, , 1--17 () fl Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- Local Search Topology in Planning Benchmarks: A Theoretical Analysis J org Hoffmann
- Ignoring Irrelevant Facts and Operators in Plan Generation
- Artificial Intelligence: A Computational Perspective \Lambda
- Incentive-Compatible Escrow Mechanisms Jens Witkowski
- Flexible Abstraction Heuristics for Optimal Sequential Planning Malte Helmert
- Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation
- Fuball und Kunstliche Intelligenz: Vom Denken zum Handeln
- RFID Technology-based Exploration and SLAM for Search Alexander Kleiner and Johann Prediger and Bernhard Nebel
- The Operational Traffic Control Problem: Computational Complexity and Solutions
- Learning a Table Soccer Robot a New Action Sequence by Observing and Imitating
- Compilation Schemes: A Theoretical Tool for Assessing the Expressive Power of
- A Skat Player Based on Monte Carlo Simulation Sebastian Kupferschmid and Malte Helmert
- How Good is Almost Perfect? Malte Helmert and Gabriele Roger
- Formal Properties of Constraint Calculi for Qualitative Spatial Reasoning
- Fuball und Kunstliche Intelligenz: Vom Denken zum Handeln
- Situation-Aware Interpretation, Planning and Execution of User Commands by Autonomous Robots
- The Occlusion Calculus Christian Kohler
- Towards Cognitive Adequacy of Topological Spatial Relations
- Branching Allen Reasoning with Intervals in Branching Time
- A Multiagent Planning Language Michael Brenner
- A Plugin-Based Architecture For Simulation In The F2000 League
- RoboCupRescue -Simulation League Team RescueRobots Freiburg (Germany)
- How Hard is it to Revise a Belief Base? Bernhard Nebel
- ON THE EXPRESSIVE POWER OF PLANNING Conditional Effects and Boolean Preconditions in the STRIPS
- Phase Transitions in Classical Planning: an Experimental Study Jussi Rintanen
- Adapting an AI Planning Heuristic for Directed Model Sebastian Kupferschmid1
- Phase Transitions in Classical Planning: an Experimental Study Jussi Rintanen
- Research Statement: Heuristic Search for Domain-Independent Planning Malte Helmert
- Dependency Calculus: Reasoning in a General Point Relation Algebra
- Planning for Temporally Extended Goals as Propositional Satisfiability
- The Occlusion Calculus Christian Kohler
- Preferred Arguments are Harder to Compute than Stable Extensions Yannis Dimopoulos
- Journal of Artificial Intelligence Research 26 (2006) 191246 Submitted 01/05; published 07/06 The Fast Downward Planning System
- High-Quality Policies for the Canadian Traveler's Problem Patrick Eyerich and Thomas Keller and Malte Helmert
- PLAYING TETRIS USING LEARNING BY IMITATION Dapeng Zhang, Zhongjie Cai, Bernhard Nebel
- Noname manuscript No. (will be inserted by the editor)
- On Combinations of Binary Qualitative Constraint Calculi Stefan Wolfl and Matthias Westphal
- Learning a Table Soccer Robot a New Action Sequence by Observing and Imitating
- Adaptive Vision for Playing Table Soccer Thilo Weigel, Dapeng Zhang, Klaus Rechert and Bernhard Nebel
- An Iterative Algorithm for Synthesizing Invariants Jussi Rintanen
- Incorporation of Temporal Logic Control into Plan Operators
- A system approach to interactive learning of visual concepts
- Approximation Properties of Planning Benchmarks Malte Helmert and Robert Mattmuller and Gabi Roger1.
- Combining Action and Motion Planning via Semantic Attachments Patrick Eyerich and Thomas Keller and Bernhard Nebel
- Recording and Segmenting Table Soccer Games Initial Results Dapeng Zhang1 (zhangd@informatik.uni-freiburg.de), Bernhard Nebel2 (nebel@informatik.uni-freiburg.de)
- Towards heterogeneous robot teams for disaster mitigation: Results and Performance Metrics from RoboCup Rescue
- Restarts and Nogood Recording in Qualitative Constraint-based Reasoning
- Realistic Cities in Simulated Environments -An Open Street Map to Robocup Rescue Converter
- Finding Admissible and Preferred Arguments Can be Very Hard To appear in A. G. Cohn, F. Giunchiglia, B. Selman, editors, Principles of Knowledge Representation and Reasoning --
- Solving Complex Planning Tasks Through Extraction of Subproblems Jana Koehler
- Sound and Complete Landmarks for And/Or Graphs Emil Keyder1 and Silvia Richter2 and Malte Helmert3
- Mapping disaster areas jointly: RFID-Coordinated SLAM by Humans and Robots
- Journal of Artificial Intelligence Research 12 (2000) 271-315 Submitted 2/00; published 5/00 On the Compilability and Expressive Power
- Evaluation of the Performance of CS Freiburg 1999 and CS Freiburg 2000
- A Table Soccer Robot Ready for the Market Thilo Weigel
- Journal of Artificial Intelligence Research 12 (2000) 271315 Submitted 2/00; published 5/00 On the Compilability and Expressive Power
- DoubleCrossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation
- SWITCHING ATTENTION LEARNING --A PARADIGM FOR INTROSPECTION AND INCREMENTAL LEARNING
- Dynamic Decentralized Area Partitioning for Cooperating Cleaning Robots Markus Jager Bernhard Nebel
- SelfLocalization in Dynamic Environments based on Laser and Vision Data Erik Schulenburg, Thilo Weigel, Alexander Kleiner
- Reasoning about Sets Atomic Decomposition
- Planning for Temporally Extended Goals as Propositional Satisfiability
- Decidability and Undecidability Results for Planning with Numerical State Variables
- CS Freiburg: Global View by Cooperative Sensing Markus Dietl, Jens-Steffen Gutmann
- Multi-Robot Range-Only SLAM by Active Sensor Nodes for Urban Search and Rescue
- How Good is Almost Perfect? Malte Helmert and Gabriele Roger
- Component-based Abstraction Refinement for Timed Controller Synthesis
- Domain-Independent Construction of Pattern Database Heuristics for Cost-Optimal Planning
- Real-time Localization and Elevation Mapping within Urban Search and Rescue Scenarios
- Towards Thorough Empirical Methods for AI Planning Jorg Hoffmann
- Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables
- Evaluation Strategies for Planning as Satisfiability Jussi Rintanen1
- Efficient Methods for Qualitative Spatial Reasoning Ecient Methods for Qualitative Spatial Reasoning
- FEATURE INDUCTION OF LINEAR-CHAIN CONDITIONAL RANDOM FIELDS
- A Mechanism for Dynamic Ride Sharing based on Parallel Auctions Alexander Kleiner, Bernhard Nebel and Vittorio Amos Ziparo
- Computing and Executing Strategies for Moving Target Search A. Kleiner M. Lewis K. Sycara
- Coordinated Exploration with Marsupial Teams of Robots using Temporal Symbolic Planning
- Lessons Learned from Benchmarking in the Automated Planning Community
- Online Learning Terrain Classification for Adaptive Velocity Control
- Dynamic Plot Generation by Continual Multiagent Planning (Extended Abstract)
- Coming up With Good Excuses: What to do When no Plan Can be Found
- The Scanalyzer Domain: Greenhouse Logistics as a Planning Problem Malte Helmert
- Pattern Database Heuristics for Fully Observable Nondeterministic Planning
- The More, the Merrier: Combining Heuristic Estimators for Satisficing Planning Gabriele Roger and Malte Helmert
- RoboCupRescue Interleague Challenge 2009: Bridging the gap between Simulation and Reality
- Using the Context-enhanced Additive Heuristic for Temporal and Numeric Planning
- Planning with h+ in Theory and Practice
- Combining Heuristic Estimators for Satisficing Planning Gabriele Roger and Malte Helmert
- Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning
- Auton Agent Multi-Agent Syst (2009) 19:297331 DOI 10.1007/s10458-009-9081-1
- Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
- A Continual Multiagent Planning Approach to Situated Dialogue Michael Brenner
- On-line Detection of Rule Violations in Table Soccer
- Automatic Bidding for the Game of Skat Thomas Keller and Sebastian Kupferschmid
- On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle Gabriele Roger and Malte Helmert and Bernhard Nebel
- Useless Actions are Useful Martin Wehrle and Sebastian Kupferschmid and Andreas Podelski
- A Planning-Graph Heuristic for Forward-Chaining Adversarial Planning Pascal Bercher and
- Reasoning about Topological and Positional Information in Dynamic Settings
- Explicit-State Abstraction: A New Method for Generating Heuristic Functions Malte Helmert
- Accuracy of Admissible Heuristic Functions in Selected Planning Domains Malte Helmert and Robert Mattmuller
- Faster than UPPAAL ? (Tool Paper)
- Fast Directed Model Checking via Russian Doll Abstraction
- Behavior maps for online planning of obstacle negotiation and climbing on rough terrain
- Genetic MRF model optimization for real-time victim detection in Search and Rescue
- Expressiveness of ADL and Golog: Functions Make a Difference Gabriele Roger and Bernhard Nebel
- RFID-Based Exploration for Large Robot Teams V. A. Ziparo*, A. Kleiner*, B. Nebel* and D. Nardi**
- Mediating Between Qualitative and Quantitative Representations for Task-Orientated Human-Robot Interaction
- Planning for Temporally Extended Goals as Propositional Satisfiability
- Decentralized SLAM for Pedestrians without direct Communication
- Workshop at KI 2006 June 14, 2006
- Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL
- Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning
- A Computational Model for Spatial Reasoning with Mental Models Marco Ragni (ragni@informatik.uni-freiburg.de)
- Successful Search and Rescue in Simulated Disaster Areas
- A Covering Problem for Hypercubes Jorg Hoffmann
- CASL Specifications of Qualitative Calculi Stefan Wolfl1 and Till Mossakowski2
- Qualitative Action Theory A Comparison of the Semantics of
- Termination of Logic Programs Using Various Dynamic Selection Rules
- Qualitative Reasoning Feeding Back into Quantitative Model-Based Tracking
- When Are Behaviour Networks Well-Behaved? Bernhard Nebel1 and Yuliya Babovich-Lierler2
- Distance Estimates for Planning in the Discrete Belief Space Jussi Rintanen
- Self-Localization in Dynamic Environments based on Laser and Vision Data Erik Schulenburg, Thilo Weigel, Alexander Kleiner
- Multiagent Planning with Partially Ordered Temporal Plans Michael Brenner
- Case Based Game Play in the RoboCup Four-Legged League
- Local Search Topology in Planning Benchmarks: A Theoretical Analysis Jorg Hoffmann
- Dynamic Decentralized Area Partitioning for Cooperating Cleaning Robots Markus Jager Bernhard Nebel
- Backward Plan Construction under Partial Observability Jussi Rintanen
- KiRo An autonomous table soccer player Thilo Weigel, Bernhard Nebel
- Local Search Topology in Planning Benchmarks: An Empirical Analysis Jorg Hoffmann
- Decentralized Collision Avoidance, Deadlock Detection, and Deadlock Resolution for Multiple Mobile Robots
- Cooperating Physical Robots: A Lesson in Playing Robotic Soccer
- Logics for Knowledge Representation Bernhard Nebel
- An overview of recent algorithms for AI planning Jussi Rintanen and Jorg Hoffmann
- Finding Admissible and Preferred Arguments Can be Very Hard Yannis Dimopoulos
- ON THE EXPRESSIVE POWER OF PLANNING ConditionalEffectsandBooleanPreconditionsintheSTRIPS
- Towards Automated Online Diagnosis of Robot Navigation Software
- A Game Controller Based on Multiple Sensors Dapeng Zhang, Zhongjie Cai, Kefei Chen, Bernhard Nebel
- Towards an Integrated Robot with Multiple Cognitive Functions and Aaron Sloman and Jeremy Wyatt and Michael Zillich
- Trajectory-based Comparison of SLAM Algorithms Wolfram Burgard Cyrill Stachniss Giorgio Grisetti Bastian Steder
- On the Complexity of Planning Operator Subsumption Patrick Eyerich and Michael Brenner and Bernhard Nebel
- Eliciting Honest Reputation Feedback in a Markov Setting Jens Witkowski
- Preferred Operators and Deferred Evaluation in Satisficing Planning Silvia Richter
- ResQ Freiburg: Team Description and Evaluation
- Visual Odometry for Tracked Vehicles Christian Dornhege and Alexander Kleiner
- Recording and Segmenting Table Soccer Games Initial Results
- Planning for Multiagent Environments From Individual Perceptions to Coordinated Execution
- A Planning Graph Heuristic for Forward-Chaining Adversarial Planning
- RoboCupRescue -Robot League Team RescueRobots Freiburg (Germany)
- Accuracy of Admissible Heuristic Functions in Selected Planning Domains Malte Helmert and Robert Mattmuller
- What Makes The Difference Between HSP and FF? Jorg Hoffmann
- On the Computational Complexity of Assumption-based Argumentation for Default
- Encoding Planning Problems in Nonmonotonic Logic Programs
- A Cognitive Assessment of Topological Spatial Relations: Results from an Empirical Investigation
- Translating ``Ignoring Delete Lists'' to Numeric State Variables The MetricFF Planning System: Translating ``Ignoring
- A PluginBased Architecture For Simulation In The F2000 League
- Formal Properties of Constraint Calculi for Qualitative Spatial Reasoning
- On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection
- Game AI: The shrinking gap between computer games and AI systems
- Complexity of Planning with Partial Observability Jussi Rintanen
- Simulating Spatial Reasoning Using ACT-R Jona Boeddinghaus (jona@informatik.uni-freiburg.de)
- Selective Approaches for Solving Weak Games Malte Helmert1
- Solving Pursuit-Evasion Problems on Height Maps A. Kolling* and A. Kleiner** and M. Lewis* and K. Sycara**
- Real-Time Localization and Elevation Mapping within Urban
- Autonomous Robots manuscript No. (will be inserted by the editor)
- Concise finite-domain representations for PDDL planning tasks
- An Iterative Algorithm for Synthesizing Invariants Jussi Rintanen
- Complexity of Probabilistic Planning under Average Rewards Jussi Rintanen
- Role Hierarchies and Number Restrictions Hans Jurgen Ohlbach
- Expressiveness of ADL and Golog: Functions Make a Difference Gabriele R oger and Bernhard Nebel
- Towards a Life-Long Learning Soccer Agent Alexander Kleiner, Markus Dietl, Bernhard Nebel
- Combining Topological and Qualitative Size Constraints for Spatial Reasoning
- Landmark Placement for Improving Mobile Robot Localization Daniel Meyer-Delius Maximilian Beinhofer Alexander Kleiner Wolfram Burgard
- Towards the Integration of Real-Time Real-World Data in Urban Search and Rescue Simulation
- Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs
- Reliable SelfLocalization, Multirobot Sensor Integration, Accurate PathPlanning and Basic Soccer Skills: Playing an Effective Game of
- Refinements and Independence: A Simple Method for Identifying Tractable Disjunctive
- AMOS: Comparison of Scan Matching Approaches for SelfLocalization in Indoor Environments
- Complexity of Planning with Partial Observability Jussi Rintanen
- Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficiency of Using the ORDHorn Class
- A new Method to index and query Sets Jorg Hoffmann Jana Koehler
- Cooperating Physical Robots: A Lesson in Playing Robotic Soccer ?
- An overview of recent algorithms for AI planning Jussi Rintanen and J org Hoffmann
- Recording and Segmenting Table Soccer Games --Initial Results Dapeng Zhang 1 (zhangd@informatik.unifreiburg.de), Bernhard Nebel 2 (nebel@informatik.unifreiburg.de)
- Task Planning for an Autonomous Service Robot Thomas Keller, Patrick Eyerich, and Bernhard Nebel
- New Complexity Results for Classical Planning Benchmarks Malte Helmert
- Pursuit-Evasion in 2.5d based on Team-Visibility A. Kolling* and A. Kleiner** and M. Lewis* and K. Sycara**
- Qualitative Reasoning Feeding Back into Quantitative Model-Based Tracking
- SailAway: Formalizing Navigation Rules F. Dylla and L. Frommberger and J.O. Wallgrun and D. Wolter1 and B. Nebel and S. Wolfl2
- Parallel Encodings of Classical Planning as Satisfiability Jussi Rintanen1
- Integrating Symbolic and Geometric Planning for Mobile Manipulation
- Selecting Ghosts and Queues from a Car Trackers Output using a SpatioTemporal Query Language
- Modal Logics, Description Logics and Arithmetic Reasoning
- Qualitative Reasoning Feeding Back into Quantitative ModelBased Tracking
- DecisionTheoretic Planning for Playing Table Soccer
- Fast, Accurate, and Robust SelfLocalization in the RoboCup Environment \Lambda
- Operator-Assistive Mapping in Harsh Environments Alexander Kleiner
- Complexity of Probabilistic Planning under Average Rewards Jussi Rintanen
- COOPERATIVE EXPLORATION FOR USAR ROBOTS WITH INDIRECT
- Landmark Heuristics for the Pancake Problem Malte Helmert
- Strengthening Landmark Heuristics via Hitting Sets Technical Report: Proofs
- Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
- RIFO Revisited: Detecting Relaxed Irrelevance Jorg Hoffmann and Bernhard Nebel
- Adaptive Vision for Playing Table Soccer Thilo Weigel, Dapeng Zhang, Klaus Rechert and Bernhard Nebel
- The Model Checking Integrated Planning System (MIPS) Stefan Edelkamp and Malte Helmert
- Relative-Order Abstractions for the Pancake Problem Malte Helmert and Gabriele Roger1
- A Planning Approach to Active Visual Search in Large Environments Moritz Gobelbecker
- Fast Downward Stone Soup: A Baseline for Building Planner Portfolios Malte Helmert and Gabriele Roger
- ARMO: Adaptive Road Map Optimization for Large Robot Teams Alexander Kleiner*, Dali Sun* and Daniel Meyer-Delius*
- A Frontier-Void-Based Approach for Autonomous Exploration in 3D
- Enhancing Search for Satisficing Temporal Planning with Objective-driven Decisions
- Plan-based Object Search and Exploration Using Semantic Spatial Knowledge in the Real World
- Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning
- Autonomous Agents and Multi-Agent Systems manuscript No. (will be inserted by the editor)
- Fluent Merging for Classical Planning Problems Jendrik Seipp and Malte Helmert
- Exploiting Probabilistic Knowledge under Uncertain Sensing for Efficient Robot Behaviour
- A Polynomial All Outcome Determinization for Probabilistic Planning Thomas Keller and Patrick Eyerich
- A Switching Planner for Combined Task and Observation Planning Moritz Gobelbecker
- A Switching Planner for Combined Task and Observation Planning Moritz Gobelbecker
- Lessons Learned from German Research for USAR Quirin Hamp and Leonhard Reindl
