|
|
Filman, Robert E. (1988): Reasoning with Worlds and Truth Maintenance in a Knowledge-based Programming Environment
| Title: |
Reasoning with Worlds and Truth Maintenance in a Knowledge-based Programming Environment |
| Author(s): |
Filman, Robert E. |
| Year: |
1988 |
| Journal: |
Communications of the ACM |
| Volume: |
31 |
| Number: |
4 |
| Pages: |
382-401 |
Concepts
|
|
