Evaluation of Formal Reasoning Abilities Using a Concept Inventory.

Joseph E. Hollingsworth Murali Sitaraman

Published in: FMSEE&T@FM (2015)

Keyphrases

knowledge base
knowledge representation
evaluation methods
formal models
default reasoning
meta level
automated reasoning
reasoning process
mathematical theory
formal ontologies
expert systems
formal model
evaluation method
formal specification
model based reasoning