Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Jackermeier, Mathias"'
Linear temporal logic (LTL) has recently been adopted as a powerful formalism for specifying complex, temporally extended tasks in reinforcement learning (RL). However, learning policies that efficiently satisfy arbitrary specifications not observed
Externí odkaz:
http://arxiv.org/abs/2410.04631
OWL ontologies, whose formal semantics are rooted in Description Logic (DL), have been widely used for knowledge representation. Similar to Knowledge Graphs (KGs), ontologies are often incomplete, and maintaining and constructing them has proved chal
Externí odkaz:
http://arxiv.org/abs/2301.11118
Autor:
Ashok, Pranav, Jackermeier, Mathias, Křetínský, Jan, Weinhuber, Christoph, Weininger, Maximilian, Yadav, Mayank
Publikováno v:
TACAS (2) (pp. 326-345). Springer. 2021
Recent advances have shown how decision trees are apt data structures for concisely representing strategies (or controllers) satisfying various objectives. Moreover, they also make the strategy more explainable. The recent tool dtControl had provided
Externí odkaz:
http://arxiv.org/abs/2101.07202
Autor:
Ashok, Pranav, Jackermeier, Mathias, Jagtap, Pushpak, Křetínský, Jan, Weininger, Maximilian, Zamani, Majid
Decision tree learning is a popular classification technique most commonly used in machine learning applications. Recent work has shown that decision trees can be used to represent provably-correct controllers concisely. Compared to representations u
Externí odkaz:
http://arxiv.org/abs/2002.04991
Representation learning in the form of semantic embeddings has been successfully applied to a variety of tasks in natural language processing and knowledge graphs. Recently, there has been growing interest in developing similar methods for learning e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::327fcecb9fbb3104d0a6b0382aa2bc63
http://arxiv.org/abs/2301.11118
http://arxiv.org/abs/2301.11118
Autor:
Ashok, Pranav, Jackermeier, Mathias, Jagtap, Pushpak, Křetínský, Jan, Weininger, Maximilian, Zamani, Majid
Publikováno v:
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=sygma_______::20972d6896b8f762ff440c7c69b7ba81