LogiMOO

MaRDI QIDQ14279swMATHFDO

Official website http://www.sciencedirect.com/science/article/pii/S0743106698100286

Described by source

• LogiMOO: An extensible multi-user virtual world with natural language control

Cited in

(7)

• Speeding up algorithms on atomic representations of Herbrand models via new redundancy criteria
• Rule-based natural-language interface for virtual environments.
• Some challenges for constraint programming
• scientific article; zbMATH DE number 1708149 (Why is no real title available?)
• scientific article; zbMATH DE number 1926603 (Why is no real title available?)
• The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines
• Object-oriented virtual environment for visualization of flexible multibody systems

This page was built for software: LogiMOO