3005 search results - page 140 / 601 » Logical Information Systems: from Taxonomies to Logics |
185
click to vote
PADL
2005
Springer
15 years 12 months ago
2005
Springer
We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended ...
178
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
176
click to vote
WCE
2007
15 years 7 months ago
2007
—this paper proposes a multi agent and fuzzy logic based DSS for stock market. This system will help investors of the stock market to take the correct buy/sell/hold decisions. Th...
171
click to vote
DLOG
2010
15 years 4 months ago
2010
Sophisticated uncertainty representation and reasoning are necessary for the alignment and integration of Web data from different sources. For this purpose the extension of the Des...
263
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
The AquaLogic Data Services Platform (ALDSP) is a BEA middleware platform for creating services that access and manipulate information drawn from multiple heterogeneous sources of ...