3225 search results - page 6 / 645 » Compiling Experience into Knowledge |
HICSS
2002
IEEE
14 years 9 days ago
2002
IEEE
We presented at HICSS-34 a new methodology based on the semantics of contracts to model business and, beyond, to manage the knowledge assets of a firm. In this paper we present tw...
TABLEAUX
2009
Springer
13 years 12 months ago
2009
Springer
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Possibilistic knowledge bases gather propositional formulas associated with degrees belonging to a linearly ordered scale. These degrees reflect certainty or priority, de...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
We extend the knowledge compilation map introduced by Darwiche and Marquis with new propositional fragments obtained by applying closure principles to several fragments studied so...
FLAIRS
2009
13 years 5 months ago
2009
Knowledge compilation is a common technique for propositional logic knowledge bases. A given knowledge base is transformed into a normal form, for which queries can be answered ef...