Definitional Expansions in Mizar - In memoriam of Andrzej Trybulec, a pioneer of computerized formalization.

Artur Kornilowicz

Published in: J. Autom. Reason. (2015)

Keyphrases

computer assisted
question answering
computer aided
formal model
knowledge representation
active learning
logical language
artificial intelligence
case study
pattern recognition
computational complexity
relational databases
information extraction
operational semantics