Works matching IS 00393215 AND DT 2005 AND VI 79 AND IP 1
Results: 8
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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
Preface.
- Published in:
- Studia Logica, 2005, v. 79, n. 1, p. 3, doi. 10.1007/s11225-005-0491-z
- By:
- Publication type:
- Article