| W98-1413 | effectiveness would be met . 2 A | situation calculus | approach to the generation of |
| H93-1033 | no explicit events ( e.g. , the | situation calculus | ) , we can extend the language |
| P87-1024 | expression , represented as a | situation calculus | expression . INSTANTIATE attempts |
| H93-1033 | . In a forrealism such as the | situation calculus | , actions are terms and there |
| A88-1025 | approach -LSB- Fikes 71 -RSB- and | situation calculus | -LSB- McCarthy 69 -RSB- are inadequate |
| W13-0705 | -RSB- incorporated it into the | situation calculus | for automatic reasoning systems |
| P85-1007 | live with the difficulties of the | situation calculus | model of action -- e.g. , the |
| W98-1413 | actions , and fiuents . 21n the | situation calculus | , the initial state is denoted |
| P86-1035 | dense ( although it is not in the | situation calculus | ) . We take before to be the |
| J87-3004 | dense ( although it is not in the | situation calculus | ) . We take before to be the |
| H86-1013 | dense ( although it is not in the | situation calculus | ) . We take before to be the |
| P85-1007 | possible-worlds model of knowledge with a | situation calculus | model of action -LSB- 181 . By |
| P87-1001 | representation formalisms based on the | situation calculus | ( McCarthy & Hayes 1969 ) |
| W13-0705 | This has been standard within | situation calculus | fragments for naive theories |
