Login / Signup
Zarathustra Amadeus Goertzel
ORCID
Publication Activity (10 Years)
Years Active: 2018-2024
Publications (10 Years): 16
Top Topics
Human Level
Rule Interestingness Measures
Empirical Evaluation
Theorem Prover
Top Venues
CoRR
ITP
LPAR (Workshop and Short Papers)
IJCAR (2)
</>
Publications
</>