3408 search results - page 445 / 682 » Logic, language, information and computation |
119
click to vote
LREC
2008
15 years 2 months ago
2008
In the field of ontology mapping, multilingual ontology mapping is an issue that is not well explored. This paper proposes a framework for mapping of multilingual Description Logi...
116
Voted
DEXA
2010
Springer
15 years 1 months ago
2010
Springer
With the development of more expressive description logics (DLs) for the Web Ontology Language OWL the question arises how we can properly deal with the high computational complexi...
104
Voted
JFP
2008
15 years 19 days ago
2008
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...
SAC
2008
ACM
15 years 4 days ago
2008
ACM
se a new abstraction for pointer analysis that represents reads and writes to memory instead of traditional points-to relations. Compared to points-to graphs, our Assign-Fetch Gra...
101
Voted
ICTAC
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The potential of linear logic in facilitating reasoning on resource usage has long been recognized. However, convincing uses of linear types in practical programming are ...