2 search results - page 1 / 1 » Counting Extensional Differences in BC-Learning |
ICGI
2000
Springer
13 years 8 months ago
2000
Springer
Let BC be the model of behaviourally correct function learning as introduced by B
AI
2004
Springer
13 years 4 months ago
2004
Springer
We give a formal semantics for a highly expressive language for representing temporal relationships and events. This language, which we call Versatile Event Logic (VEL), provides ...