pub:research:start
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
| pub:research:start [2022/07/11 07:22] – [Areas] sbk | pub:research:start [2022/07/11 07:27] – [Contacts] sbk | ||
|---|---|---|---|
| Line 28: | Line 28: | ||
| * knowledge engineering and management | * knowledge engineering and management | ||
| * rule-based systems | * rule-based systems | ||
| + | * explainable artificial intelligence (XAI) | ||
| * business processes | * business processes | ||
| * formal verification | * formal verification | ||
| Line 51: | Line 52: | ||
| Finally the group is active in the area // | Finally the group is active in the area // | ||
| - | * scientific collaboration with Universities of [[http:// | + | * scientific collaboration with Universities of [[http:// |
| + | https:// | ||
| * teaching collaboration in the scope of the Erasmus LPP | * teaching collaboration in the scope of the Erasmus LPP | ||
| - | * participation of group members in the Organizing Committees international conferences and workshops, including [[http:// | + | * participation of group members in the Organizing Committees international conferences and workshops, including |
| + | * [[https:// | ||
| * see also for the [[https:// | * see also for the [[https:// | ||
pub/research/start.txt · Last modified: 2022/07/18 07:28 by sbk