Works matching IS 00393215 AND DT 2005 AND VI 79 AND IP 1

Results: 8

Preface.

Published in:

Studia Logica, 2005, v. 79, n. 1, p. 3, doi. 10.1007/s11225-005-0491-z

By:

Brewka, Gerhard;
Peppas, Pavlos

Publication type:

Article

Reasoning about Sensing Actions in Domains with Multi-Valued Fluents.

Published in:

Studia Logica, 2005, v. 79, n. 1, p. 135, doi. 10.1007/s11225-005-0499-4

By:

Son, Tran;
Tu, Phan;
Zhang, Xin

Publication type:

Article

Alan: An Action Language For Modelling Non-Markovian Domains.

Published in:

Studia Logica, 2005, v. 79, n. 1, p. 115, doi. 10.1007/s11225-005-0498-5

By:

González, Graciela;
Baral, Chitta;
Gelfond, Michael

Publication type:

Article

Distant Causation in C+.

Published in:

Studia Logica, 2005, v. 79, n. 1, p. 73, doi. 10.1007/s11225-005-0495-8

By:

Craven, Robert;
Sergot, Marek

Publication type:

Article

Belief Liberation (and Retraction).

Published in:

Studia Logica, 2005, v. 79, n. 1, p. 47, doi. 10.1007/s11225-005-0494-9

By:

Booth, Richard;
Chopra, Samir;
Ghose, Aditya;
Meyer, Thomas

Publication type:

Article

Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions.

Published in:

Studia Logica, 2005, v. 79, n. 1, p. 33, doi. 10.1007/s11225-005-0493-x

By:

Baral, Chitta;
Tran, Nam

Publication type:

Article

The Refined Extension Principle for Semantics of Dynamic Logic Programming.

Published in:

Studia Logica, 2005, v. 79, n. 1, p. 7, doi. 10.1007/s11225-005-0492-y

By:

Alferes, José;
Banti, Federico;
Brogi, Antonio;
Leite, João

Publication type:

Article

Gricean Belief Change.

Published in:

Studia Logica, 2005, v. 79, n. 1, p. 97, doi. 10.1007/s11225-005-0496-7

By:

Delgrande, James;
Nayak, Abhaya;
Pagnucco, Maurice

Publication type:

Article