1300 search results - page 184 / 260 » Probabilistic logic with independence |
CAISE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
EUROMICRO
2003
IEEE
14 years 1 months ago
2003
IEEE
A Web service is frequently defined as browser-less access to content on a Web site. The industry’s focus to date has been on providing easy-to-use low-level libraries, tools a...
ICCBR
2003
Springer
14 years 27 days ago
2003
Springer
A generic Case-Based Reasoning tool has been designed, implemented, and successfully used in two distinct applications. SOFT-CBR can be applied to a wide range of decision problems...
IICS
2003
Springer
14 years 27 days ago
2003
Springer
As XML has become an emerging standard for information exchange on the World Wide Web, it has gained attention in database communities to extract information from XML sees as a dat...
IPPS
2000
IEEE
14 years 2 days ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...