2015/07/13 by Ştefan Minică, Minică, Ştefan
Computer Science · #Semantic Web and Ontologies #Multi-Agent Systems and Negotiation #Intelligent Tutoring Systems and Adaptive Learning
paper · pdf · doi:10.48550/arxiv.1507.03677
The paper presents a software tool for analysis and interactive engagement in\nvarious logical reasoning tasks. A first feature of the program consists in\nproviding an interface for working with logic-specific repositories of formal\nknowledge. A second feature provides the means to intuitively visualize and\ninteractively generate the underlying logical structure that propels customary\nlogical reasoning tasks. Starting from this we argue that both aspects have\ndidactic potential and can be integrated in teaching activities to provide an\nengaging learning experience.\n