Connecting you to content on EBSCOhost

Works matching IS 13670751 AND DT 2000 AND VI 8 AND IP 3

Results: 6

1

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:

Alechina, N;
Immerman, N

Publication type:

Article

2

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:

Horrocks, I;
Patel-Schneider, PF;
Sebastiani, R

Publication type:

Article

3

Editorial.

Published in:

Logic Journal of the IGPL, 2000, v. 8, n. 3, p. 231, doi. 10.1093/jigpal/8.3.231

By:

Areces, C;
Franconi, E;
Goré, R;
de Rijke, M;
Schlingloff, H

Publication type:

Article

4

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:

Horrocks, I;
Sattler, U;
Tobies, S

Publication type:

Article

5

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:

Blackburn, P

Publication type:

Article

6

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:

de Nivelle, H;
Schmidt, RA;
Hustadt, U

Publication type:

Article