Works matching IS 08247935 AND DT 1998 AND VI 14 AND IP 1
Results: 4
Process and Policy: Resource-Bounded NonDemonstrative Reasoning.
- Published in:
- Computational Intelligence, 1998, v. 14, n. 1, p. 1, doi. 10.1111/0824-7935.00055
- By:
- Publication type:
- Article
Integrating Discrete and Continuous Change in a Logical Framework.
- Published in:
- Computational Intelligence, 1998, v. 14, n. 1, p. 39, doi. 10.1111/0824-7935.00056
- By:
- Publication type:
- Article
An Action Representation Formalism to Interpret Natural Language Instructions.
- Published in:
- Computational Intelligence, 1998, v. 14, n. 1, p. 89, doi. 10.1111/0824-7935.00057
- By:
- Publication type:
- Article
A Many-Sorted Natural Deduction.
- Published in:
- Computational Intelligence, 1998, v. 14, n. 1, p. 134, doi. 10.1111/0824-7935.00058
- By:
- Publication type:
- Article