Reinhard Stolle

28 papers B 1C 1Journal 7Unranked 12
YearRankTypeTitle / Venue / Authors
2025 — conf
Towards Automated Safety Requirements Derivation Using Agent-based RAG.
AAAI Spring Symposia
Balahari Vignesh Balu, Florian Geissler, Francesco Carella, João-Vitor Zacchi, Josef Jiru, Núria Mata, Reinhard Stolle
2025 J jnl
Towards Automated Safety Requirements Derivation Using Agent-based RAG.
CoRR
Balahari Vignesh Balu, Florian Geissler, Francesco Carella, João-Vitor Zacchi, Josef Jiru, Núria Mata, Reinhard Stolle
2023 — ed.
Proceedings of the AAAI 2023 Spring Symposium on Challenges Requiring the Combination of Machine Learning and Knowledge Engineering (AAAI-MAKE 2023), Hyatt Regency, San Francisco Airport, California, USA, March 27-29, 2023.
AAAI Spring Symposium: MAKE
Andreas Martin, Hans-Georg Fill, Aurona Gerber, Knut Hinkelmann, Doug Lenat, Reinhard Stolle, Frank van Harmelen
2022 — ed.
Proceedings of the AAAI 2022 Spring Symposium on Machine Learning and Knowledge Engineering for Hybrid Intelligence (AAAI-MAKE 2022), Stanford University, Palo Alto, California, USA, March 21-23, 2022.
AAAI Spring Symposium: MAKE
Andreas Martin, Knut Hinkelmann, Hans-Georg Fill, Aurona Gerber, Doug Lenat, Reinhard Stolle, Frank van Harmelen
2021 — conf
A High-Level Track Fusion Scheme for Circular Quantities.
ICAR
Sören Kohnert, Reinhard Stolle
2021 — ed.
Proceedings of the AAAI 2021 Spring Symposium on Combining Machine Learning and Knowledge Engineering (AAAI-MAKE 2021), Stanford University, Palo Alto, California, USA, March 22-24, 2021.
AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering
Andreas Martin, Knut Hinkelmann, Hans-Georg Fill, Aurona Gerber, Doug Lenat, Reinhard Stolle, Frank van Harmelen
2020 — conf
Extension of the Statistical MIMO Model by Alias as an Independent Subchannel.
CCWC
Franz G. Aletsee, Sören Kohnert, Reinhard Stolle
2020 — ed.
Proceedings of the AAAI 2020 Spring Symposium on Combining Machine Learning and Knowledge Engineering in Practice, AAAI-MAKE 2020, Palo Alto, CA, USA, March 23-25, 2020, Volume I
AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering (1)
Andreas Martin, Knut Hinkelmann, Hans-Georg Fill, Aurona Gerber, Doug Lenat, Reinhard Stolle, Frank van Harmelen
2018 — ed.
1st IEEE/ACM International Workshop on Software Engineering for AI in Autonomous Systems, SEFAIAS@ICSE 2018, Gothenburg, Sweden, May 28, 2018
SEFAIAS@ICSE
Reinhard Stolle, Stephan Scholz, Manfred Broy
2018 — conf
Designing a Roadside Sensor Infrastructure to Support Automated Driving.
ITSC
Florian Geissler, Sören Kohnert, Reinhard Stolle
2018 — conf
Multicarrier enabled Baseband Subsampling MIMO System (MBS-MIMO).
APSIPA
Franz G. Aletsee, Reinhard Stolle
2018 — conf
Novel Direct 31-Term Calibration for Characterisation of Automotive Communication Cables in the GHz Range.
VTC Fall
Sebastian Wagner, Reinhard Stolle
2018 — conf
Novel Self-Calibration Procedures for Channel Characterization of Automotive Communication Cables in the GHz Range.
VTC Spring
Sebastian Wagner, Reinhard Stolle
2014 J jnl
Sparse array imaging for microwave gauging by compressed sensing.
IEEE Trans. Aerosp. Electron. Syst.
Stephan Kolb, Reinhard Stolle
2013 B conf
Wideband modeling of twisted-pair cables for MIMO applications.
GLOBECOM
Rainer Strobel, Reinhard Stolle, Wolfgang Utschick
2008 — conf
6.Workshop Automotive Software Engineering.
GI Jahrestagung (2)
Manfred Broy, Reinhard Stolle, Alexandre Saad
2008 — conf
Enabling semantic interoperation of dynamic plug-in services.
GI Jahrestagung (2)
Christoph Ainhauser, Reinhard Stolle, Jürgen Steurer
2007 — ch.
Communicable Knowledge in Automated System Identification.
Computational Discovery of Scientific Knowledge
Reinhard Stolle, Elizabeth Bradley
2005 J jnl
Agenda control for heterogeneous reasoners.
J. Log. Algebraic Methods Program.
Reinhard Stolle, Apollo Hogan, Elizabeth Bradley
2005 — conf
Challenges in Automated Model-Based HMI Testing.
GI Jahrestagung (2)
Reinhard Stolle, Thomas Benedek, Christian Knuechel, Harald Heinecke
2003 — conf
Knowledge Tracking: Answering Implicit Questions.
New Directions in Question Answering
Reinhard Stolle, Daniel G. Bobrow, Cleo Condoravdi, Richard S. Crouch, Valeria de Paiva
2002 J jnl
Electromagnetic coupling of twisted pair cables.
IEEE J. Sel. Areas Commun.
Reinhard Stolle
2002 J jnl
Making ontologies work for resolving redundancies across documents.
Commun. ACM
John O. Everett, Daniel G. Bobrow, Reinhard Stolle, Richard S. Crouch, Valeria de Paiva, Cleo Condoravdi, Martin van den Berg, Livia Polanyi
2001 C conf
Preventing existence.
FOIS
Cleo Condoravdi, Dick Crouch, John O. Everett, Valeria de Paiva, Reinhard Stolle, Daniel G. Bobrow, Martin van den Berg
2001 J jnl
Reasoning about nonlinear system identification.
Artif. Intell.
Elizabeth Bradley, Matthew Easley, Reinhard Stolle
1998 — conf
Multimodal Reasoning for Automatic Model Construction.
AAAI/IAAI
Reinhard Stolle, Elizabeth Bradley
1996 J jnl
Automatic Construction of Accurate Models of Physical Systems.
Ann. Math. Artif. Intell.
Elizabeth Bradley, Reinhard Stolle
1982 — —
Grundlagen, Entwicklung und Test einer Kopplung des DV-orientierten Gebäude- und Raumbuchs mit dem Steuerungssystem der Ablaufplanung: Beitrag zur DV-gestützten Informationsverarbeitung im Bauwesen.
Reinhard Stolle