3970 search results - page 599 / 794 » A Logic For Causal Reasoning |
179
click to vote
FUZZIEEE
2007
IEEE
16 years 27 days ago
2007
IEEE
— This article presents a self-fuzzification method to enhance the settings of a Fuzzy Reasoning Classification adapted to the automated inspection of wooden boards. The supervis...
147
click to vote
LICS
2007
IEEE
16 years 25 days ago
2007
IEEE
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...
202
click to vote
TIME
2006
IEEE
16 years 17 days ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
168
click to vote
CSL
2005
Springer
16 years 2 days ago
2005
Springer
We show that Csanky’s fast parallel algorithm for computing the characteristic polynomial of a matrix can be formalized in the logical theory LAP, and can be proved correct in LA...
163
click to vote
DALT
2005
Springer
16 years 2 days ago
2005
Springer
Agents need to be able to change their beliefs; in particular, they should be able to contract or remove a certain belief in order to restore consistency to their set of beliefs, a...