<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-08-16 12:45:43Belief revision Knowledge representation Μ operator Modal logic Multiplicative order Proposition Linear temporal logic Logic Science Modular arithmetic |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2012-08-16 12:45:43Belief revision Knowledge representation Μ operator Modal logic Multiplicative order Proposition Linear temporal logic Logic Science Modular arithmetic |
Add to Reading List |
Considerations on Belief Revision in an Action Theory James Delgrande School of Computing Science Simon Fraser University Burnaby BC, V5A 1S6, Canada