InnoSale
InnoSale
Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence
Forschungsgruppe
Personen
- Kontaktperson Markus Krötzsch
- https://www.innosale.eu/
- 2021 – 2024
- finanziert durch Federal Ministry of Education and Research (BMBF)
Der Lebenszyklus eines komplexen, benutzerdefinierten Produkts lässt sich grob in folgende Phasen unterteilen: Vertrieb (Spezifikation und Angebot), Design, Herstellung, Lieferung, Inbetriebnahme, Nutzung, Wartung und Recycling. Das InnoSale-Projekt konzentriert sich auf die Produktspezifikations- und Angebotserstellungsphase. Das vorgeschlagene Projekt zielt darauf ab, potentielle Kunden komplexer, individueller industrieller Ausrüstungen, Anlagen und Dienstleistungen sowie das mit Engineering und Vertrieb dieser Produkte betraute Personal der Hersteller bei der Produktkonfiguration und Angebotserstellung zu unterstützen. Die Varianz und Individualität der mit dem Vorhaben adressierten Produkte unterscheiden sich grundlegend von denen, die durch klassische Shopsysteme (z.B. bei Amazon, Zalando oder eBay) angeboten werden. Die Weiterentwicklung und Anwendung vielfältiger Technologien aus dem Gebiet der Künstlichen Intelligenz (wie z.B. Machine Learning, Q-Learning-based Reinforcement Learning, Natural Language Processing und Semantic Search Mechanismen, Case-based Reasoning, Expert Systems) soll im Rahmen von InnoSale die Umsetzung der Ziele ermöglichen. Die am Vorhaben beteiligten Partner repräsentieren die gesamte, für die Umsetzung des Projektes notwendige Wertschöpfungskette. Durch die internationale Kooperation im Rahmen des ITEA- Projektes ist die Integration des notwendigen Know-how im Gesamtkontext des Vorhabens InnoSale gegeben.
Artikel in Tagungsbänden
Nemo: Your Friendly and Versatile Rule Reasoning Toolkit
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, to appear. IJCAI Organization
Details Download
Towards Mass Spectrum Analysis with ASP
In Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez, eds., Logic Programming and Nonmonotonic Reasoning, volume 15245 of Lecture Notes in Computer Science, 200-214, October 2024. Springer, Cham
Details Download
Nemo: A Scalable and Versatile Datalog Engine
In Mario Alviano, Matthias Lanzinger, eds., Proceedings of the 5th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2024), CEUR Workshop Proceedings, to appear. CEUR-WS.org
Details Download
EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization
The Fifth Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024), to appear
Details Download
Winning Snake: Design Choices in Multi-Shot ASP
Proceedings of the 40th International Conference on Logic Programming (ICLP 2024), to appear
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
In Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni, eds., Proceedings 39th International Conference on Logic Programming (ICLP 2023), volume 385 of EPTCS, 333--335, September 2023
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 Abstract)
In Oliver Kutz, Carsten Lutz, Ana Ozaki, eds., Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023), volume 3515 of CEUR Workshop Proceedings, October 2023. CEUR-WS.org
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
ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks
In Gianvincenzo Alfano, Stefano Ferilli, eds., Proceedings of the 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 9, 2023, volume 3546 of CEUR Workshop Proceedings, December 2023. CEUR-WS.org
Details Download
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
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., Proc. 21st International Semantic Web Conference (ISWC 2022), volume 13489 of LNCS, 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
