Content: Publications

Publications 2017

Denis Golovin, Jens Claßen, Christoph Schwering

Reasoning about Conditional Beliefs for the Winograd Schema Challenge

Thirteenth International Symposium on Commonsense Reasoning (Commonsense 2017) (2017)

Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke

Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals

Proceedings of the 3rd Global Conference on Artificial Intelligence (GCAI) (2017)

Tim Welschehold, Christian Dornhege, Wolfram Burgard

Learning Mobile Manipulation Actions from Human Demonstrations

International Conference on Intelligent Robots and Systems (IROS) (2017)

Jens Claßen, Benjamin Zarrieß

Decidable Verification of Decision-Theoretic Golog

Eleventh International Symposium on Frontiers of Combining Systems (FroCoS 2017) (2017)

Marco Wilhelm, Marc Finthammer, Gabriele Kern-Isberner, Christoph Beierle

First-Order Typed Model Counting for Probabilistic Connditional Reasoning at Maximum Entropy

Proceedings of the 11th International Conference on Scalable Uncertainty Management (SUM) (2017)

Van Nguyen, Philipp Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh

Generalized Target Assignment and Path Finding Using Answer Set Programming

the Twenty-sixth International Joint Conference on Artificial Intelligence (IJCAI'17) (2017)

Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko

Clingo goes Linear Constraints over Reals and Integers

Article in Journal, in Theory and Practice of Logic Programming 5-6, pp. 872-88 (2017)

Marco Wilhelm, Christian Eichhorn, Richard Niland, Gabriele Kern-Isberner

A Semantics for Conditionals with Default Negation

Proceedings of the 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU) (2017)

Roland Kaminski, Torsten Schaub, Philipp Wanko

A Tutorial on Hybrid Answer Set Solving with clingo

the Thirteenth International Summer School of the Reasoning Web (2017)

Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub

Clingcon: The Next Generation

Article in Journal, in Theory and Practice of Logic Programming 4, pp. 408-461 (2017)

Marco Wilhelm, Gabriele Kern-Isberner

Typed Model Counting and its Application to Probabilistic Conditional Reasoning at Maximum Entropy

Proceedings of the 30th International Florida Artificial Intelligence Research Society Conference (FLAIRS) (2017)

Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt

Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation

the Twentieth Conference on Design, Automation and Test in Europe (DATE'17) (2017)

Steffen Schieweck, Gabriele Kern-Isberner, Michael ten Hompel

Antwortmengenprogrammierung für autonome Fahrzeuge im innerbetrieblichen Verkehr

Mobilität und Digitale Transformation (2017)

Steffen Schieweck, Gabriele Kern-Isberner, Michael ten Hompel

Various Approaches to the Application of Answer Set Programming in Order-Picking Systems with Intelligent Vehicles

Proceedings of the 9th International Joint Conference on Computational Intelligence (IJCCI 2017) (2017)

Steffen Schieweck, Gabriele Kern-Isberner, Michael ten Hompel

Planung von Intralogistiksystemen mit Hilfe von Antwortmengenprogrammierung

Article in Journal, in Logistics Journal: Proceedings (2017)