MILK: Multi Level Interactive Logic Simulator at Keio University: Experience in Using the Contraints Language.
Masahiro NakazawaMichio IsodaJun MiyazakiHideo AisoPublished in: Expert Database Workshop (1984)
Keyphrases
- language skills
- formal language
- language learning
- operational semantics
- intuitionistic logic
- programming language
- dynamic logic
- proof theory
- logic programming
- virtual reality
- logic programming language
- multi layer
- predicate calculus
- multi valued
- formal theory
- e learning
- classical logic
- computational linguistics
- simulation model
- lambda calculus
- user interaction
- agent programming
- mixed reality
- linear temporal logic
- immersive environments
- natural deduction
- interaction model
- conditional logic
- object oriented programming
- simulation environment
- user friendly
- case study