Login / Signup
A Programmer's Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description).
Adam Pease
Published in:
IJCAR (2) (2020)
Keyphrases
</>
theoretical framework
artificial intelligence
text data
metadata
programming language
text retrieval
logical theories