6201 search results - page 348 / 1241 » Implementation of Axiomatic Language |
209
click to vote
CN
1999
15 years 6 months ago
1999
The paper argues for the use of general and intuitive knowledge representation languages (and simpler notational variants, e.g. subsets of natural languages) for indexing the cont...
199
click to vote
ESOP
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Dependent grammars extend context-free grammars by allowing semantic values to be bound to variables and used to constrain parsing. Dependent grammars can cleanly specify...
151
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. These features make it possible to eas...
179
click to vote
ESWS
2007
Springer
16 years 29 days ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
180
click to vote
OOPSLA
2004
Springer
16 years 4 days ago
2004
Springer
Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method ...