Implementing More Explicit Definitional Expansions in Mizar (Short Paper).

Adam Grabowski Artur Kornilowicz

Published in: ITP (2023)

Keyphrases

computer assisted
web services
question answering
efficient implementation
image processing
multimedia
special case
learning algorithm
artificial intelligence
high level
cooperative
user interface