Login / Signup
Jan Jakubuv
ORCID
Publication Activity (10 Years)
Years Active: 2010-2024
Publications (10 Years): 46
Top Topics
Multiagent Planning
Automated Reasoning
Bayes Net
Theorem Proving
Top Venues
CoRR
CICM
ITP
Trans. Comput. Collect. Intell.
</>
Publications
</>