Content: Fourth Workshop

Fourth Workshop

The fourth Hybris Workshop will take place on May 26th-27th 2014 at the Leipzig University, Germany.


The workshop will be held at the Felix-Klein lecture hall, located at the 5th floor of the new Paulinum of the Leipzig University.


Sunday, May 25th
Travel to Leipzig
Monday, May 26th
0815Registration Desk
0900Invited Talk: Computing as Model Generation: Programming in logic without logic programmingRobert Kowalski
1000Coffee Break
1030On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical FrameworksHannes Straß
1100AsprinTorsten Schaub
1130Multi-Context Systems for Reactive Resoning in Dynamic EnvironmentsJörg Pührer
1330ASP for search and reasoning in biomedical networksMaria Kissa, George Tsatsaronis
1400Learning Formal Definitions for Biomedical ConceptsAlina Petrova
1430Ontology-based redundancy free labels for genesYue Ma
1500Coffee Break
1530Sensor Fusion in the Epistemic Situation CalculusChristoph Schwering
1600Verifying Programs over Description Logic Actions with Knowledge and SensingBenjamin Zarrieß
1630Evaluation of Planning Formalisms on Real World Planning DomainsAndreas Hertle
1700Project related discussions
1900Dinner at Moritzbastei
Tuesday, May 27th
0900Invited Talk: Robotic Agents Performing Human-Scale Everyday Manipulation Tasks - In the Knowledge Lies the Power Michael Beetz
1000Coffee Break
1030Tutorial: Introduction to Description LogicsAnni-Yasmin Turhan
Photos taken during the workshop