Seventh Workshop
The seventh Hybris Workshop will take place on June 6th-7th 2016 at the technical faculty of the University of Freiburg, Germany.
Venue
Click here for directions.
Program
Sunday, June 5th
Travel to Freiburg, Hotel Stadt Freiburg
Monday, June 6th
| 08:45-9:00 | Welcome |
| 09:00-10:00 | Invited talk by Luc De Raedt, KU Leuven. An Introduction to Hybrid Probabilistic (Logic) Programming (Abstract) |
| 10:00-10:30 | Coffee Break |
| 10:30-11:00 | Marco Wilhelm, TU Dortmund CondStructor - An Algorithm for Classifying Possible Worlds With a View to Probabilistic Reasoning at Maximum Entropy |
| 11:00-11:30 | Andreas Ecke, TU Dresden Complexity of Bounded Model Reasoning in Description Logics |
| 11:30-12:00 | Christoph Schwering, RWTH Aachen Decidable Conditional Belief |
| 12:00-13:30 | Lunch |
| 13:30-14:30 | Invited talk by Marc Toussaint, Uni Stuttgart Geometric Reasoning as Logic-Geometric Programming (Abstract) |
| 14:30-15:00 | Nichola Abdo, Uni Freiburg Learning to Improvise: Inferring Action and Task Goals from Few Demonstrations |
| 15:00-15:30 | Coffee Break |
| 15:30-16:00 | Jens Claßen, RWTH Aachen Verification of Golog Programs: Implementation and Empirical Analysis |
| 16:00-16:30 | Benjamin Zarrieß, TU Dresden Integrating Probabilistic Description Logics and Action Formalisms |
| 16:30-17:00 | Gerd Brewka, Uni Leipzig FOG: A new system for First-Order arGumentation |
| 17:15-18:45 | Hybris PI Meeting |
| 20:00 | Dinner |
Tuesday, June 7th
| 09:00-09:30 | Hannes Strass, Uni Leipzig Boolean Functions with Ordered Domains in Answer Set Programming |
| 09:30-10:00 | Philipp Wanko, Uni Potsdam Scalable Design Space Exploration via Answer Set Programming Modulo Theory |
| 10:00-10:30 | Coffee Break |
| 10:30-12:00 | Gabriele Kern-Isberner Tutorial: Belief Revision and Conditionals |
| 12:00 | Lunch and Farewell |
Abstracts
An Introduction to Hybrid Probabilistic (Logic) Programming
Invited talk by Luc De Raedt, KU Leuven
Abstract: Recently, there has been a lot of attention for statistical relational learning and probabilistic programming, which provide rich representations for coping with uncertainty, with structure and for learning. In this talk I shall focus on probabilistic *logic* programming languages, which naturally belong to both of these paradigms as they combine the power of a programming language with a possible world semantics. They are typically based on Sato’s distribution semantics and they have been studied for over twenty years now. In this talk, I shall introduce the concepts underlying probabilistic logic programming, their semantics, different inference and learning mechanisms and I shall then present some recent extensions towards dealing with continuous distributions and dynamics. This is the framework of distributional clauses that is being applied to robotics, for tracking relational worlds in which objects or their properties are occluded in real time, and to planning. Finally, I shall discuss some open challenges and opportunities for research.
Geometric Reasoning as Logic-Geometric Programming
Invited talk by Marc Toussaint, Uni Stuttgart
Abstract: What is geometric reasoning actually? I will first discuss the idea of computing posteriors over geometric configurations conditioned on observations and goals. Josh Tenenbaum has interesting work in this direction. But generally the problem is extremely hard. I will then discuss current work on efficient Rearrangement Planning, which is able to compute complex rearrangement plans for many objects efficiently. This is complementary to our own work on logic-geometric programming for sequential manipulation. This approach combines logic into mathematical programming formulations of motion planning. The logic is about which motion constraints are implied by the categorical action decisions.