Content: Seventh Workshop

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:00Welcome
09:00-10:00Invited talk by Luc De Raedt, KU Leuven.
An Introduction to Hybrid Probabilistic (Logic) Programming (Abstract)
10:00-10:30Coffee Break
10:30-11:00Marco Wilhelm, TU Dortmund
CondStructor - An Algorithm for Classifying Possible Worlds With a View to Probabilistic Reasoning at Maximum Entropy
11:00-11:30Andreas Ecke, TU Dresden
Complexity of Bounded Model Reasoning in Description Logics
11:30-12:00Christoph Schwering, RWTH Aachen
Decidable Conditional Belief
12:00-13:30  Lunch
13:30-14:30Invited talk by Marc Toussaint, Uni Stuttgart
Geometric Reasoning as Logic-Geometric Programming (Abstract)
14:30-15:00Nichola Abdo, Uni Freiburg
Learning to Improvise: Inferring Action and Task Goals from Few Demonstrations
15:00-15:30 Coffee Break
15:30-16:00Jens Claßen, RWTH Aachen
Verification of Golog Programs: Implementation and Empirical Analysis
16:00-16:30Benjamin Zarrieß, TU Dresden
Integrating Probabilistic Description Logics and Action Formalisms
16:30-17:00Gerd Brewka, Uni Leipzig
FOG: A new system for First-Order arGumentation
17:15-18:45Hybris PI Meeting
20:00Dinner

Tuesday, June 7th

09:00-09:30Hannes Strass, Uni Leipzig
Boolean Functions with Ordered Domains in Answer Set Programming
09:30-10:00Philipp Wanko, Uni Potsdam
Scalable Design Space Exploration via Answer Set Programming Modulo Theory
10:00-10:30Coffee Break
10:30-12:00Gabriele Kern-Isberner
Tutorial: Belief Revision and Conditionals
12:00Lunch 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.