3408 search results - page 177 / 682 » Logic, language, information and computation |
200
click to vote
PLDI
2006
ACM
16 years 15 days ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
203
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
197
click to vote
RSCTC
2000
Springer
15 years 10 months ago
2000
Springer
The perception-based theory of probabilistic reasoning which is outlined in this paper is not in the traditional spirit. Its principal aim is to lay the groundwork for a radical e...
159
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Because the ultimate purpose of the Semantic Web is to help users locate, organize, and process information, we strongly believe that it should be grounded in the information acces...
167
click to vote
SLIP
2000
ACM
15 years 11 months ago
2000
ACM
Based on Rent’s rule, a well-established empirical relationship, a rigorous derivation of the interconnect fan-out distribution for random logic networks is performed. Through c...