InnoSale
InnoSale
Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence

Research group
People
- Contact Markus Krötzsch
- https://www.innosale.eu/
- October 1, 2021 – September 30, 2024
- funded by Federal Ministry of Education and Research (BMBF)
Industrial products and services are increasingly configured, planned and sold through online shops partially validating dependencies between basic systems and purchase options. Additional customer requests are described as flow text, not being processed automatically today and thus, requiring time-consuming back office support. InnoSale develops methods to increase the expressiveness of validation rules (rule-based expert systems) and to suggest relevant purchase options (case-based reasoning). Sales engineers will be supported in finding previous customer requests & orders and other suitable solutions quickly (natural language processing, intelligent search) as well as identifying similarities between customers (evolutional clustering). Based on different data sources (historical, internal, external) dynamic pricing algorithms are also one project scope (trend prediction, machine learning, artificial neural networks, Q-Learning). User experience will be improved supported by combining deep learning systems with augmented reality techniques and 3D modelling.
Proceedings Articles
Efficient Dependency Analysis for Existential Rules
In Benny Kimelfeld, Maria Vanina Martinez, Renzo Angles, eds., Proceedings of the 15th Alberto Meldenzon International Workshop on Foundations of Data Management (AMW'23). Santiago, Chile, volume 3409 of CEUR Workshop Proceedings, 2023. CEUR-WS.org
Details Download
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report)
In Pierre Marquis,Tran Cao Son,Gabriele Kern-Isberner, eds., Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), volume 20 of Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, 301–310, September 2023. International Joint Conferences on Artificial Intelligence Organization
Details Download
Nemo: First Glimpse of a New Rule Engine
Proceedings 39th International Conference on Logic Programming: ICLP 2023 Technical Communications, EPTCS, to appear
Details Download
ADF-BDD.DEV: Debug Abstract Dialectical Frameworks with Binary Decision Diagrams
The Fourth Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2023), September 2023
Details Download
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report)
In Brian Williams, Yiling Chen, Jennifer Neville, eds., Proceedings of the 37th AAAI Conference on Artificial Intelligence, volume 37 of Proceedings of the AAAI Conference on Artificial Intelligence, 6372-6379, June 2023. AAAI Press
Details Download
Efficient Dependency Analysis for Rule-Based Ontologies
In Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d’Amato, eds., The Semantic Web – ISWC 2022, volume 13489 of Lecture Notes in Computer Science, 267-283, October 2022. Springer
Details Download
Em engineering methods AG
Darmstadt
IOTIQ GmbH
Leipzig
Natif.ai GmbH
Saarbrücken
Software AG
Darmstadt
Tarakos GmbH
Magdeburg