3535 search results - page 89 / 707 » Logic Program Specialisation |
156
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
If sufficient attention is not paid to the information models on which Learning Platforms are based the ability to deliver rich functionality is hindered. This paper describes the...
184
Voted
JODS
2008
15 years 3 months ago
2008
Information integration and retrieval are useful tasks in many information systems. In these systems, it is far from an easy task to directly integrate information from natural lan...
131
Voted
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a ve...
139
click to vote
LICS
2003
IEEE
15 years 8 months ago
2003
IEEE
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and ...
245
Voted
POPL
2007
ACM
16 years 3 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...