Search results for: Christoph Beierle
Annals of Mathematics and Artificial Intelligence > 2019 > 87 > 1-2 > 5-41
KI - Künstliche Intelligenz > 2019 > 33 > 1 > 57-68
Applied Intelligence > 2019 > 49 > 1 > 28-43
Annals of Mathematics and Artificial Intelligence > 2018 > 83 > 3-4 > 247-275
International Journal of Approximate Reasoning > 2017 > 90 > C > 120-143
KI - Künstliche Intelligenz > 2017 > 31 > 1 > 41-52
Lecture Notes in Computer Science > Applications of Declarative Programming and Knowledge Management > Declarative Programming and Web-Based Systems > 294-308
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Session 5. System Descriptions > 496-501
Lecture Notes in Computer Science > CSL '88 > 14-51
Lecture Notes in Computer Science > Automated Reasoning > Session 5: System Descriptions 1 > 147-153