Sciweavers

1373 search results - page 194 / 275
» What is Fuzzy Logic
Sort
View
135
Voted
CSL
2008
Springer
15 years 2 months ago
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
Ruzica Piskac, Viktor Kuncak
TKDE
2010
149views more  TKDE 2010»
14 years 7 months ago
A Configurable Rete-OO Engine for Reasoning with Different Types of Imperfect Information
The RETE algorithm is a very efficient option for the development of a rule-based system, but it supports only boolean, first order logic. Many real-world contexts, instead, requir...
Davide Sottara, Paola Mello, Mark Proctor
103
Voted
PODS
2004
ACM
117views Database» more  PODS 2004»
16 years 25 days ago
Conditional XPath, the First Order Complete XPath Dialect
XPath is the W3C?standard node addressing language for XML documents. XPath is still under development and its technical aspects are intensively studied. What is missing at presen...
Maarten Marx
102
Voted
ISMIS
1994
Springer
15 years 4 months ago
BDDs and Automated Deduction
BDDs (binary decision diagrams) are a very succesful tool for handling boolean functions, but one which has not yet attracted the attention of many automated deduction specialists....
Jean Goubault, Joachim Posegga
89
Voted
DSOM
2006
Springer
15 years 4 months ago
CMDB - Yet Another MIB? On Reusing Management Model Concepts in ITIL Configuration Management
According to ITIL, a CMDB (Configuration Management Database), containing a logical model of the IT infrastructure, forms the basis for effective and efficient IT Service Managemen...
Michael Brenner, Markus Garschhammer, Martin Saile...