Sciweavers

FSTTCS
2006
Springer
14 years 2 months ago
The Meaning of Ordered SOS
Structured Operational Semantics (SOS) is a popular method for defining semantics by means of deduction rules. An important feature of deduction rules, or simply SOS rules, are neg...
Mohammad Reza Mousavi, Iain C. C. Phillips, Michel...
ICTAI
1996
IEEE
14 years 3 months ago
Binary CSP Solving as an Inference Process
We describe constraint solving using a rule-based approach. The distinction made between deduction rules and strategies by computational systems allows us to improve our understan...
Carlos Castro
CINQ
2004
Springer
125views Database» more  CINQ 2004»
14 years 4 months ago
Deducing Bounds on the Support of Itemsets
Mining Frequent Itemsets is the core operation of many data mining algorithms. This operation however, is very data intensive and sometimes produces a prohibitively large output. I...
Toon Calders
IFSA
2007
Springer
147views Fuzzy Logic» more  IFSA 2007»
14 years 5 months ago
On Proofs and Rule of Multiplication in Fuzzy Attribute Logic
Abstract. The paper develops fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form A ⇒ B where A and B are fuzzy sets of attributes. A formula A ⇒ B repr...
Radim Belohlávek, Vilém Vychodil
BIRTHDAY
2009
Springer
14 years 6 months ago
An Action Semantics Based on Two Combinators
We propose a naive version of action semantics that begins with a selection of “transient” and “persistent” facets, each characterized as a partial monoid. Yielders are de...
Kyung-Goo Doh, David A. Schmidt