6 search results - page 1 / 2 » ismis 1994 |
ISMIS
1994
Springer
13 years 10 months ago
1994
Springer
ISMIS
1994
Springer
13 years 10 months ago
1994
Springer
ISMIS
1994
Springer
13 years 10 months ago
1994
Springer
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....
ISMIS
1994
Springer
13 years 10 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
ISMIS
1994
Springer
13 years 10 months ago
1994
Springer
Main stream approaches in distributed artificial intelligence (DAI) are essentially logic-based. Little has been reported to explore probabilistic approach in DAI. On the other han...