Towards the Automated Generation of Focused Proof Systems.

Vivek Nigam Giselle Reis Leonardo Lima

Published in: WoF'15 (2015)

Keyphrases

computer systems
semi automated
learning environment
intelligent systems
artificial intelligence
decision making
knowledge base
image processing
website
case study
expert systems
management system