http://www.cs.rochester.edu/u/kautz/research/index.html
Dataset for knowledge representation and reasoning combining first-order logic and probabilty theory...
1984 views
| |
ACCEL
Code
http://www.cs.utexas.edu/users/ai-lab/?ACCEL
ACCEL is a general purpose system that uses abductive reasoning to construct explanations for observ...
1871 views
|