Sciweavers

3845 search results - page 256 / 769
» Belief Logic Programming
Sort
View
FUZZIEEE
2007
IEEE
16 years 26 days ago
Possibilistic information fusion using maximal coherent subsets
— When multiple sources provide information about the same unknown quantity, their fusion into a synthetic interpretable message is often a tedious problem, especially when sourc...
Sébastien Destercke, Didier Dubois, Eric Ch...
ISDA
2005
IEEE
16 years 3 days ago
Agent-oriented Design for Network Survivability
Intelligent behavior is the selection of actions based on knowledge. The design of the Fuzzy Adaptive Survivability Tool (FAST) agents and their intelligent behavior is explained....
Mehdi Shajari, Ali A. Ghorbani
GECCO
2006
Springer
202views Optimization» more  GECCO 2006»
15 years 10 months ago
Human competitive security protocols synthesis
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...
Hao Chen, John A. Clark, Jeremy Jacob
CORR
2006
Springer
104views Education» more  CORR 2006»
15 years 6 months ago
Conflict Free Rule for Combining Evidences
: Recent works have investigated the problem of the conflict redistribution in the fusion rules of evidence theories. As a consequence of these works, many new rules have been prop...
Frédéric Dambreville
SAT
2005
Springer
145views Hardware» more  SAT 2005»
16 years 55 min ago
A New Approach to Model Counting
We introduce ApproxCount, an algorithm that approximates the number of satisfying assignments or models of a formula in propositional logic. Many AI tasks, such as calculating degr...
Wei Wei, Bart Selman