|
1 |
Automatic assume-guarantee reasoning for safety and liveness using passive learning
Enthalten in Formal methods in system design 9.7.2025: 1-31
|
|
|
|
2 |
A hierarchical reasoning graph neural network for the automatic scoring of answer transcriptions in video job interviews
Enthalten in International journal of machine learning and cybernetics 1.4.2022: 1-11
|
|
|
|
3 |
Moral reasoning and automatic risk reaction during driving
Enthalten in Cognition, technology & work 9.3.2021: 1-9
|
|
|
|
4 |
An Efficient Design Support System based on Automatic Rule Checking and Case-based Reasoning
Enthalten in Taehan-t'omok-hakhoe: KSCE journal of civil engineering 4.3.2019: 1-11
|
|
|
|
5 |
Web3D-based automatic furniture layout system using recursive case-based reasoning and floor field
Enthalten in Multimedia tools and applications 5.7.2018: 1-29
|
|
|
6 |
From Program Execution to Automatic Reasoning: Integrating Ontologies into Programming Languages (Keynote)
Paar, Alexander. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012
|
|
|
|
7 |
Fuzzy reasoning based automatic inspection of radiographic welds: weld recognition
Enthalten in Journal of intelligent manufacturing Bd. 15, Nr. 1, date:2.2004: 69-85
|
|
|
|
8 |
Automatic Detection of Performance Bottlenecks Using a Case-Based Reasoning Approach
Enthalten in Journal of intelligent systems Bd. 11, 2001, Nr. 6: 385-408
|
|
|
|
9 |
Automatic diagnosis of COVID-19 infection based on ontology reasoning
Enthalten in BMC medical informatics and decision making Bd. 21, 16.11.2021, Nr. 9, date:11.2021: 1-13
|
|
|
|
10 |
Automatic Reasoning about Causal Events in Surveillance Video
Enthalten in European Association for Speech, Signal and Image Processing: EURASIP journal on image and video processing Bd. 2011, 7.2.2011, Nr. 1, date:12.2011: 1-19
|
|
Administration
