Automated reasoning based user interface.
Pawel KaplanskiAlessandro SegantiKrzysztof CieslinskiAleksandra ChrabrowaIwona LugowskaPublished in: Expert Syst. Appl. (2017)
Keyphrases
- automated reasoning
- user interface
- reasoning systems
- theorem prover
- knowledge representation
- theorem proving
- decision procedures
- reasoning tasks
- probabilistic reasoning
- automated verification
- knowledge representation and reasoning
- expert systems
- programming language
- neural network
- normal form
- semi supervised
- learning algorithm
- machine learning
- propositional satisfiability