Sciweavers

2 search results - page 1 / 1
» Troll, a language for specifying dice-rolls
Sort
View
66
Voted
SAC
2009
ACM
15 years 4 months ago
Troll, a language for specifying dice-rolls
Torben Æ. Mogensen
DAGSTUHL
1998
14 years 10 months ago
Specification of Dynamics for Knowledge-Based Systems
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
Pascal van Eck, Joeri Engelfriet, Dieter Fensel, F...