1776 search results - page 199 / 356 » Using a Logic Programming Language with Persistence and Cont... |
142
Voted
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
155
Voted
LPKR
1997
Springer
15 years 7 months ago
1997
Springer
The purpose of this paper is to investigate the methodology of reasoning with prioritized defaults in the language of logic programs under the answer set semantics. We present a do...
117
click to vote
IFIP
2009
Springer
15 years 8 months ago
2009
Springer
Trust dilution and trust fusion are two operators that are used to calculate transitive trust in a trust network. Various implementations of these operators already exist but are n...
110
Voted
AAAI
1992
15 years 4 months ago
1992
We define fuzzy constraint networks and prove a theorem about their relationship to fuzzy logic. Then we introduce Khayyam, a fuzzy constraint-based programming language in which ...
152
Voted
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...