TL;DR
This paper discusses the development of an online tool for teaching logical modelling, aiming to enhance logic education through accessible digital exercises for students worldwide.
Contribution
It introduces a new, freely accessible online platform for logical formalisation exercises, expanding on a previous version to reach a broader audience.
Findings
The tool is now freely available online.
It is designed to complement both online and traditional logic courses.
The new version aims for wider adoption and usage.
Abstract
This report describes the development and use of an online teaching tool giving students exercises in logical modelling, or \emph{formalisation} as it is called in the older literature. The original version of the site, `Logic for Fun', dates from 2001, though it was little used except by small groups of students at the Australian National University. It is currently in the process of being replaced by a new version, free to all Internet users, intended to be promoted widely as a useful addition to both online and traditional logic courses.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSemantic Web and Ontologies · Multi-Agent Systems and Negotiation