2962 search results - page 314 / 593 » Reasoning on Association Rules |
163
click to vote
CSL
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Sequent calculi usually provide a general deductive setting that uniformly embeds other proof-theoretical approaches, such as tableaux methods, resolution techniques, goa...
171
click to vote
WOWMOM
2005
ACM
16 years 8 days ago
2005
ACM
To be able to utilize the generative potential of future networks for service composition, the attributes of services and networks must be appropriately formalized, stored and mad...
181
click to vote
ECSQARU
2005
Springer
16 years 7 days ago
2005
Springer
Conditional deduction in binary logic basically consists of deriving new statements from an existing set of statements and conditional rules. Modus Ponens, which is the classical e...
190
click to vote
LPNMR
2005
Springer
16 years 6 days ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
189
Voted
OTM
2005
Springer
16 years 6 days ago
2005
Springer
In ubiquitous computing, behavior routine learning is the process of mining the context-aware data to find interesting rules on the user’s behavior, while preference learning tri...