Sciweavers

233 search results - page 9 / 47

» Explanation in the Situation Calculus

13

AAAI
2007

103views Intelligent Agents» more AAAI 2007»

A Situation-Calculus Semantics for an Expressive Fragment of PDDL

13 years 9 months ago

A Situation-Calculus Semantics for an Expressive Fragment of PDDL

Download www.cs.toronto.edu

Jens Claßen, Yuxiao Hu, Gerhard Lakemeyer

claim paper

Read More »

15

IJCAI
2007

166views Artificial Intelligence» more IJCAI 2007»

Decidable Reasoning in a Modified Situation Calculus

13 years 8 months ago

Decidable Reasoning in a Modified Situation Calculus

Download www.cs.toronto.edu

Yilan Gu, Mikhail Soutchanski

claim paper

Read More »

21

KRDB
2001

110views Database» more KRDB 2001»

Towards a General Theory of Advanced Transaction Models in the Situation Calculus

13 years 8 months ago

Towards a General Theory of Advanced Transaction Models in the Situation Calculus

Download www.cs.toronto.edu

Iluju Kiringa

claim paper

Read More »

11

AAAI
2000

86views Intelligent Agents» more AAAI 2000»

(De)Composition of Situation Calculus Theories

13 years 8 months ago

(De)Composition of Situation Calculus Theories

Download www.aaai.org

Eyal Amir

claim paper

Read More »

20

AAAI
2000

176views Intelligent Agents» more AAAI 2000»

Decision-Theoretic, High-Level Agent Programming in the Situation Calculus

13 years 8 months ago

Decision-Theoretic, High-Level Agent Programming in the Situation Calculus

Download www.aaai.org

We propose a frameworkfor robot programming which allows the seamless integration of explicit agent programming with decision-theoretic planning. Specifically, the DTGolog model a...

Craig Boutilier, Raymond Reiter, Mikhail Soutchans...

claim paper

Read More »

« Prev « First page 9 / 47 Last » Next »