6201 search results - page 43 / 1241 » Implementation of Axiomatic Language |
79
Voted
PPDP
2004
Springer
15 years 8 months ago
2004
Springer
124
Voted
WOLLIC
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
115
Voted
FOIS
2006
15 years 4 months ago
2006
This article reflects an ongoing effort to systematize the use of terms applied by philosophers and computer scientists in the context of ontology and ontological engineering. We s...
103
Voted
DAGSTUHL
2003
15 years 4 months ago
2003
A wide range of domain-specific languages (DSLs) has been implemented successfully by embedding them in general purpose languages. This paper reviews embedding, and summarizes how...