6554 search results - page 1003 / 1311 » Constraint Logic Programming |
146
click to vote
DAGSTUHL
2003
15 years 6 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...
144
click to vote
EACL
1993
ACL Anthology
15 years 6 months ago
1993
ACL Anthology
The strategy for natural language interpretation presented in this paper implements the dynamics of context change by translating natural language texts into a meaning representat...
148
click to vote
DAGSTUHL
1996
15 years 6 months ago
1996
Recently, considerable advances have been made in the (on-line) control of logic program specialisation. A clear conceptual distinction has been established between local and glob...
149
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
137
click to vote
ICDT
2009
ACM
15 years 11 months ago
2009
ACM
Managing inconsistency in databases has long been recognized as an important problem. One of the most promising approaches to coping with inconsistency in databases is the framewo...