620 search results - page 63 / 124 » About the logical relations between cases and rules |
101
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Similarity-based Logic Programming (briefly, SLP) has been proposed to enhance the LP paradigm with a kind of approximate reasoning which supports flexible information retrieval a...
114
click to vote
WWW
2011
ACM
14 years 6 months ago
2011
ACM
The ability to aggregate huge volumes of queries over a large population of users allows search engines to build precise models for a variety of query-assistance features such as ...
TPHOL
2008
IEEE
15 years 6 months ago
2008
IEEE
When reasoning about inductively defined predicates, such as typing judgements or reduction relations, proofs are often done by inversion, that is by a case analysis on the last r...
OTM
2009
Springer
15 years 6 months ago
2009
Springer
Complex event processing (CEP) is a software architecture paradigm that aims at low latency, high throughput, and quick adaptability of applications for supporting and improving ev...
101
click to vote
CORR
2006
Springer
14 years 12 months ago
2006
Springer
This article basically consists of three differentiated but related between themselves parts. The first part is a brief overview of the Artificial Intelligence science (in it, the...