|
|||||
|
|
The STRICT assumption: a propositional approach to change |
|
| Authors: | CARLOS PINTO-FERREIRA JOÃO P MARTINS |
| Affiliation: | 1. Institute de Sistemas e Róbotica, Technical University of Lisbon , Portugal E-mail: email: dl342@beta.ist.utl.pt;2. Instituto Superior Técnico, Technical University of Lisbon , Portugal E-mail: email: ist_1416@ptifm.bitnet |
| Abstract: | |
| Keywords: | knowledge representation planning reasoning about action nonstandard logics change frame problem |