3468 search results - page 390 / 694 » An open logical framework |
113
Voted
AGP
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we present a novel extension to the constraint logic programming on Finite Domains (clp(FD)) which combines the usual clp(FD) primitive constraint X in range with a ...
113
click to vote
AGP
1998
IEEE
15 years 8 months ago
1998
IEEE
Parsing has been a traditional workbench for showing the virtues of declarative programming. Both logic and functional programming claim the ability of writing parsers in a natura...
129
click to vote
ASWC
2006
Springer
15 years 8 months ago
2006
Springer
With the growing interest in modular ontology languages to address the need for collaborative development, integration, and use of ontologies on the Web, there is an urgent need fo...
130
click to vote
EUROMICRO
2004
IEEE
15 years 8 months ago
2004
IEEE
Today, security is recognized as an absolute need in application development. Programming environments offer mechanisms and concepts allowing an easy integration of security mecha...
127
click to vote
ECTEL
2006
Springer
15 years 8 months ago
2006
Springer
With the rise of the Internet, virtual communities of practice are gaining importance as a mean of sharing and exchanging information. In such environments, information reuse is of...