default search action
"A Syntax-Based Approach to Reasoning about Actions and Events."
Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo (2003)
- Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo:
A Syntax-Based Approach to Reasoning about Actions and Events. LPAR 2003: 274-288
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.