UFSAC: Unification of Sense Annotated Corpora and Tools.

Loïc Vial Benjamin Lecouteux Didier Schwab

Published in: LREC (2018)

Keyphrases

decision support
end users
theorem proving
learning systems
knowledge discovery
visualization tool
database
theorem prover
software tools
user friendly
higher order
learning environment
data structure
e learning
search engine
artificial intelligence
databases