Works matching IS 13670751 AND DT 2001 AND VI 9 AND IP 2

Results: 13

Reasoning about actions in dynamic linear time temporal logic.

Published in:

Logic Journal of the IGPL, 2001, v. 9, n. 2, p. 273, doi. 10.1093/jigpal/9.2.273

By:

Giordano, L;
Martelli, A;
Schwind, C

Publication type:

Article

Editorial.

Published in:

Logic Journal of the IGPL, 2001, v. 9, n. 2, p. 139, doi. 10.1093/jigpal/9.2.139

By:

Cunningham, J;
Gabbay, D

Publication type:

Article

Towards an axiomatic theory of consciousness.

Published in:

Logic Journal of the IGPL, 2001, v. 9, n. 2, p. 325, doi. 10.1093/jigpal/9.2.325

By:

Cunningham, J

Publication type:

Article

Creating collective intention through dialogue.

Published in:

Logic Journal of the IGPL, 2001, v. 9, n. 2, p. 289, doi. 10.1093/jigpal/9.2.289

By:

Dignum, F;
Dunin-Keplicz, B;
Verbrugge, R

Publication type:

Article

A computationally grounded logic of visibility, perception, and knowledge.

Published in:

Logic Journal of the IGPL, 2001, v. 9, n. 2, p. 257, doi. 10.1093/jigpal/9.2.257

By:

Wooldridge, M;
Lomuscio, A

Publication type:

Article

On programming KARO agents.

Published in:

Logic Journal of the IGPL, 2001, v. 9, n. 2, p. 245, doi. 10.1093/jigpal/9.2.245

By:

Meyer, J-J;
de Boer, F;
van Eijk, R;
Hindriks, K;
van der Hoek, W

Publication type:

Article

Paraconsistent reasoning as an analytic tool.

Published in:

Logic Journal of the IGPL, 2001, v. 9, n. 2, p. 217, doi. 10.1093/jigpal/9.2.217

By:

Wong, P;
Besnard, P

Publication type:

Article

Interpolation in practical formal development.

Published in:

Logic Journal of the IGPL, 2001, v. 9, n. 2, p. 231, doi. 10.1093/jigpal/9.2.231

By:

Bicarregui, J;
Dimitrakos, T;
Gabbay, D;
Maibaum, T

Publication type:

Article

On the emergence of reasons in inductive logic.

Published in:

Logic Journal of the IGPL, 2001, v. 9, n. 2, p. 207, doi. 10.1093/jigpal/9.2.207

By:

Paris, JB;
Wafy, M

Publication type:

Article

Information compression by multiple alignment, unification and search as a framework for human-like reasoning.

Published in:

Logic Journal of the IGPL, 2001, v. 9, n. 2, p. 189, doi. 10.1093/jigpal/9.2.189

By:

Wolff, G

Publication type:

Article

Dialectical argumentation for reasoning about chemical carcinogenicity.

Published in:

Logic Journal of the IGPL, 2001, v. 9, n. 2, p. 175, doi. 10.1093/jigpal/9.2.175

By:

McBurney, P;
Parsons, S

Publication type:

Article

The new logic.

Published in:

Logic Journal of the IGPL, 2001, v. 9, n. 2, p. 141, doi. 10.1093/jigpal/9.2.141

By:

Gabbay, D;
Woods, J

Publication type:

Article