5506 search results - page 243 / 1102 » Minimal Logic Programs |
150
click to vote
RR
2010
Springer
15 years 2 months ago
2010
Springer
Defeasible reasoning has been studied extensively in the last two decades and many different and dissimilar approaches are currently on the table. This multitude of ideas has made...
139
click to vote
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
We explore the extent to which newly available CPU-based security technology can reduce the Trusted Computing Base (TCB) for security-sensitive applications. We find that although...
124
click to vote
KDD
2008
ACM
16 years 4 months ago
2008
ACM
The relationship between constraint-based mining and constraint programming is explored by showing how the typical constraints used in pattern mining can be formulated for use in ...
122
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
141
click to vote
ICFP
1997
ACM
15 years 8 months ago
1997
ACM
This paper describes the development of the programming language Erlang during the period 1985-1997. Erlang is a concurrent programming language designed for programming large-sca...