4192 search results - page 444 / 839 » Probabilistic Logic Programming |
121
click to vote
ICLP
1994
Springer
15 years 9 months ago
1994
Springer
Constructive negation has been proved to be a valid alternative to negation as failure, especially when negation is required to have, in a sense, an `active' role. In this pa...
157
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents a toolkit for spreadsheet visualization based on logical areas, semantic classes and data Logical areas, semantic classes and data modules are abstract represe...
257
click to vote
ENTCS
2002
15 years 4 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
199
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
161
click to vote
TREC
2003
15 years 6 months ago
2003
Ranking functions are instrumental for the success of an information retrieval (search engine) system. However nearly all existing ranking functions are manually designed based on...