1536 search results - page 67 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
ICLP
1998
Springer
15 years 2 months ago
1998
Springer
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...
116
click to vote
ICCS
1999
Springer
15 years 2 months ago
1999
Springer
Conceptual Graphs and Formal Concept Analysis have in common basic concerns: the focus on conceptual structures, the use of diagrams for supporting communication, the orientation b...
EOR
2006
14 years 9 months ago
2006
: All information systems have to be protected. As the number of information objects and the number of users increase the task of information system's protection becomes more ...
186
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
ICIAR
2009
Springer
15 years 4 months ago
2009
Springer
Over the past decades, considerable progress had been made in developing automatic image interpretation tools for remote sensing. There is, however, still a gap between the require...