Content: Fifth-Workshop

Fifth-Workshop

The fifth Hybris Workshop took place on June 8-9 2015 at the University of Potsdam, Germany.

Venue

The workshop sessions took place at

Haus 4 (Institut fuer Informatik),
August-Bebel-Straße 89,
14482 Potsdam

in room 1.02 on the first floor.

Abstracts

On Bounded Situation Calculus

Invited Talk by Guisepe de Giacomo, Sapienza University of Rome

In this talk, we will survey recent results on situation-bounded action theories. These are standard basic action theories with the additional constraints that the size of the extension of fluents in every situation must be bounded, though such an extension changes from situation to situation. Such action theories give rise to infinite transition systems that can be faithfully abstracted into finite ones, making verification decidable. In particular we focus on a first-order variant of mu-calculus (with controlled quantification across situations decidable) and show that verification of both "offline" and "online" execution are decidable. Related to the latter result we also show that Progression is always first-order expressible in such theories. Finally we turn to ConGolog programs (without recursive procedure calls) and we show that verification of such programs over bounded action theories is always decidable.

Cognitive Robotics and its Applications

Invited Talk by Maurice Pagnucco, University of New South Wales

The fields of artificial intelligence and robotics have seen rapid developments over the past decade. Improvements in the sophistication, size and price of sensors and actuators have led to the development of robots that are being deployed in increasingly complex environments. Along with this progress, significant work has led to the development of algorithms that provide the capacity for things like localisation, navigation and manipulation as well as the development of software systems---termed robot middleware---for controlling robots in certain applications. While there has been some work on high-level controllers for robots there is a lot of scope for improvement.

In this talk we will look at the field of cognitive robotics and, in particular, the experimental programming languages that have grown out of the research in symbolic artificial intelligence in the areas of reasoning about action and that of planning and scheduling. These languages aim to facilitate the writing of high-level control programs that use symbolic reasoning in their execution to determine an appropriate course of action in carrying out tasks. We also look at experimental applications of this work in robotics and in interactive cinema with the control of virtual characters.

Program

TimeTopicSpeaker
Sunday, June 7
Travel to Potsdam
Monday, June 8
0830Registration Desk
0845Welcome
0900Invited Talk: On Bounded Situation Calculus (Abstract)Giuseppe De Giacomo
1000Coffee Break
1030Continual Planning in GologTill Hofmann
1100User-centric robot reasoning and control: Dealing with interactions, interruptions, and user preferencesChristian Dornhege, Andreas Hertle
1130Asynchronous Multi-Context SystemsStefan Ellmauthaler
1200Lunch
1330Answer Set Programming Modulo AcyclicityJori Bomanson, Tomi Janhunen, Martin Gebser
1400Automatic Genre-Dependent Composition using Answer Set ProgrammingPhilipp Obermeier
1430Boolean Network Identification from Multiplex Time Series DataMax Ostrowski
1500Coffee Break
1530Learning GCI's - Experimental ResultsDaniel Borchmann
1600Probabilistic Description Logics Based on the Aggregating Semantics and the Principle of Maximum EntropyFranz Baader, Gabriele Kern-Isberner
1630From Local to Global Scope Reasoning in the RoboCup Logistics LeagueFrederik Zwilling
1715Hybris PI Meeting
2000Dinner at 'Zur alten Muehle'
Tuesday, June 9
0900Invited Talk: Cognitive Robotics and its Applications (Abstract)Maurice Pagnucco
1000Coffee Break
1030Tutorial on Planning
Slides: part 1 part 2 part 3 part 4
Bernhard Nebel
1230 Lunch and Farewell

Dinner

  1. Go to Potsdam Hbf. (Potsdam Main Station) via S-train S7
  2. Take bus line 614 in direction 'Gutenpaaren' or 695 in direction 'Pirschheide Bhf', both are departing right in front of the station hall. 
  3. Get off the bus at stop 'Potsdam Schloss Sanssouci'
  4. The restaurant lies within 400m walking distance

Dinner Location