Login / Signup
Michal Zawidzki
ORCID
Publication Activity (10 Years)
Years Active: 2013-2023
Publications (10 Years): 15
Top Topics
Proof Search
Situation Calculus
Datalog Programs
Modal Logic
Top Venues
CoRR
KR
J. Artif. Intell. Res.
TIME
</>
Publications
</>