Some Application Projects Using Oz

• LISA: Linguistically Driven Inference for Semantic

Evaluation

• CHORUS: Constraint-based Higher-order

Representations for Underspecified Semantics

• Data Bus Scheduling

• College Timetabling

• Friar Tuck: Sport Tournament Scheduling

• Dive-Oz: Distributed Virtual Reality in Oz

• CozmOz Saarbruecken: RoboCup

• Kimba: Automated Higher-order Theorem Proving

More information: http://www.ps.uni-sb.de/oz/projects

Previous slide

Next slide

Back to first slide

View graphic version