Sciweavers

2962 search results - page 111 / 593
» Reasoning on Association Rules
Sort
View
CORR
2004
Springer
111views Education» more  CORR 2004»
15 years 6 months ago
FLUX: A Logic Programming Method for Reasoning Agents
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
Michael Thielscher
ICDM
2003
IEEE
91views Data Mining» more  ICDM 2003»
15 years 11 months ago
MPIS: Maximal-Profit Item Selection with Cross-Selling Considerations
In the literature of data mining, many different algorithms for association rule mining have been proposed. However, there is relatively little study on how association rules can ...
Raymond Chi-Wing Wong, Ada Wai-Chee Fu, Ke Wang
ATAL
2007
Springer
16 years 15 days ago
Dynamic semantics for agent communication languages
This paper proposes dynamic semantics for agent communication languages (ACLs) as a method for tackling some of the fundamental problems associated with agent communication in ope...
Michael Rovatsos
SAS
1993
Springer
104views Formal Methods» more  SAS 1993»
15 years 10 months ago
Strictness Properties of Lazy Algebraic Datatypes
A new construction of a finite set of strictness properties for any lazy algebraic datatype is presented. The construction is based on the categorical view of the solutions to the...
P. N. Benton
SAC
2002
ACM
15 years 6 months ago
Soft constraint propagation and solving in CHRs
Soft constraints are a generalization of classical constraints, where constraints and/or partial assignments are associated to preference or importance levels, and constraints are...
Stefano Bistarelli, Thom W. Frühwirth, Michae...