Selected Publications

J  Journal Article  C  Conference Paper  E  Editorship  O  Other  

C . The Hexlite Solver. In: European Conference on Logics in Artificial Intelligence (JELIA), , to appear.

E Oliver Niggemann and Peter Schüller, editors. IMPROVE – Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency. , DOI: 10.1007/978-3-662-57805-6. [  ] [  ]

J  and . Best-Effort Inductive Logic Programming via Fine-grained Cost-based Hypothesis Generation. Machine Learning 107 (7), pages 1141-1169, , DOI: 10.1007/s10994-018-5708-2. [  ]

J . Answer Set Programming in Linguistics. KI - Künstliche Intelligenz 32 (2), pages 151-155, , DOI: 10.1007/s13218-018-0542-z. [  ]

J , , , , , , and . The DLVHEX System. KI - Künstliche Intelligenz 32 (2), pages 187-189, , DOI: 10.1007/s13218-018-0535-y. [  ]

J . Adjudication of Coreference Annotations via Answer Set Optimization. Journal of Experimental & Theoretical Artificial Intelligence 30 (4), pages 525-546, , DOI: 10.1080/0952813X.2018.1456793. [  ]

J , , , and . Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis. Theory and Practice of Logic Programming 17 (5-6), pages 780-799, , Presented at ICLP 2017, DOI: 10.1017/S1471068417000254. [  ] [  ]

J , , and . Improving Scalability of Inductive Logic Programming via Pruning and Best-Effort Optimisation. Expert Systems With Applications 87, pages 291-303, , DOI: 10.1016/j.eswa.2017.06.013. [  ] [  ]

J , , and . Applications of Non-monotonic Reasoning to Automotive Product Configuration using Answer Set Programming. Journal of Intelligent Manufacturing, , DOI: 10.1007/s10845-017-1333-3. [  ] [  ]

J . Modeling Variations of First-Order Horn Abduction in Answer Set Programming. Fundamenta Informaticae 149 (1-2), pages 159-207, , Available as arXiv:1512.08899 [cs.AI], DOI: 10.3233/FI-2016-1446. [  ] [  ]

J , , , , , and . A Model Building Framework for Answer Set Programming with External Computations. Theory and Practice of Logic Programming 16 (04), pages 418-464, , arXiv:1507.01451 [cs.AI], DOI: 10.1017/S1471068415000113. [  ] [  ]

J , , and . A systematic analysis of levels of integration between high-level task planning and low-level feasibility checks. AI Communications 29 (2), pages 319-349, , DOI: 10.3233/AIC-150697. [  ] [  ]

J , , , and . Finding Explanations of Inconsistency in Multi-Context Systems. Artificial Intelligence 216, pages 233-274, , DOI: 10.1016/j.artint.2014.07.008. [  ] [  ]

C . Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs. In: International Conference on the Principles of Knowledge Representation and Reasoning (KR), pages 358-367, . [  ] [  ] [  ]

C . Flexible Combinatory Categorial Grammar Parsing using the CYK Algorithm and Answer Set Programming. In: Logic Programming and Nonmonotonic Reasoning (LPNMR), volume 8148 of Lecture Notes in Computer Science, pages 499-511, , DOI: 10.1007/978-3-642-40564-8_49. [  ]

J , , , , and . Finding Optimal Plans for Multiple Teams of Robots through a Mediator: A Logic-Based Approach. Theory and Practice of Logic Programming, Special Issue: International Conference on Logic Programming 13 (4-5), pages 831-846, , DOI: 10.1017/S1471068413000525. [  ] [  ]