Works matching IS 13670751 AND DT 2000 AND VI 8 AND IP 3
Results: 6
Representation, reasoning, and relational structures: a hybrid logic manifesto.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 3, p. 339, doi. 10.1093/jigpal/8.3.339
- By:
- Publication type:
- Article
Reachability logic: an efficient fragment of transitive closure logic.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 3, p. 325, doi. 10.1093/jigpal/8.3.325
- By:
- Publication type:
- Article
An analysis of empirical testing for modal decision procedures.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 3, p. 293, doi. 10.1093/jigpal/8.3.293
- By:
- Publication type:
- Article
Resolution-based methods for modal logics.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 3, p. 265, doi. 10.1093/jigpal/8.3.265
- By:
- Publication type:
- Article
Practical reasoning for very expressive description logics.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 3, p. 239, doi. 10.1093/jigpal/8.3.239
- By:
- Publication type:
- Article
Editorial.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 3, p. 231, doi. 10.1093/jigpal/8.3.231
- By:
- Publication type:
- Article