713 search results - page 91 / 143 » Syntax and Semantics of Babel-17 |
ENTCS
2008
15 years 24 days ago
2008
The interactive theorem prover developed in the KeY project, which implements a sequent calculus for JavaCard Dynamic Logic (JavaCardDL) is based on taclets. Taclets are lightweig...
75
Voted
FUIN
2008
15 years 24 days ago
2008
The RuleML initiative defines a normalized markup for expressing and exchange rules in the Semantic Web. However, the syntax of the language is still limited and lacks features for...
74
Voted
EXPERT
2006
15 years 23 days ago
2006
We argue that artificial intelligence systems must be able to manipulate their own internal representations automatically in order to deal with an infinitely complex and ever chan...
JCP
2008
15 years 22 days ago
2008
The word over, among others, is associated with a great variety of syntactic categories and meanings. Although over has received attention from scholars in different frameworks for...
103
Voted
JUCS
2008
15 years 21 days ago
2008
Abstract: Extending AspectJ to experiment with new language features can be cumbersome, even with an extensible implementation. Often, a language designer only needs a rapid protot...