Morph Moulder: Teaching Software for HPSG and Description Logics

DOI10.1093/JIGPAL/JZM024zbMath1127.03304OpenAlexW2089204272MaRDI QIDQ5427799

Frank M. Richter, Ekaterina Ovchinnikova

Publication date: 27 November 2007

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/993f30f4b9ddac732dedc291032eafc4b084a21f

zbMATH Keywords

visualizationreasoningdescription logicsontologyHPSGfeature logicgraphical teaching softwareinteractive teaching softwaremodel-theoretic grammar

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Problem books, competitions, examinations (aspects of mathematics education) (97U40) Technological tools, calculators (aspects of mathematics education) (97U70)

Uses Software

• MoMo

This page was built for publication: Morph Moulder: Teaching Software for HPSG and Description Logics