5506 search results - page 306 / 1102 » Minimal Logic Programs |
163
click to vote
FLAIRS
2008
15 years 7 months ago
2008
Combining probability and first-order logic has been the subject of intensive research during the last ten years. The most well-known formalisms combining probability and some sub...
179
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computati...
134
click to vote
ISPD
2000
ACM
15 years 9 months ago
2000
ACM
In this paper, we present an algorithm for delay minimization of interconnect trees by simultaneous buffer insertion/sizing and wire sizing. The algorithm integrates the quadratic...
239
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
In aspect-oriented programming, one can intercept events by writing patterns called pointcuts. The pointcut language of the most popular aspect-oriented programming language, Aspe...
135
click to vote
ADC
2003
Springer
15 years 10 months ago
2003
Springer
Defeasible logic is a non-monotonic logic with applications in rule-based domains such as law. To ease the development and improve the accuracy of expert systems based on defeasib...