Sciweavers

233 search results - page 10 / 47

» Explanation in the Situation Calculus

16

AAAI
2000

79views Intelligent Agents» more AAAI 2000»

Open World Planning in the Situation Calculus

13 years 8 months ago

Open World Planning in the Situation Calculus

Download www.aaai.org

Alberto Finzi, Fiora Pirri, Raymond Reiter

claim paper

Read More »

18

AAAI
1996

126views Intelligent Agents» more AAAI 1996»

Situation Calculus on a Dense Flow of Time

13 years 8 months ago

Situation Calculus on a Dense Flow of Time

Download www.aaai.org

paper, we attempt to reconstruct the sitcalculus on a dense flow of time. The

Akira Fusaoka

claim paper

Read More »

17

ETAI
1998

79views more ETAI 1998»

Decision Theory, the Situation Calculus and Conditional Plans

13 years 7 months ago

Decision Theory, the Situation Calculus and Conditional Plans

Download www.cs.ubc.ca

David Poole

claim paper

Read More »

23

JIIS
2010

91views more JIIS 2010»

Synthesizing advanced transaction models using the situation calculus

13 years 5 months ago

Synthesizing advanced transaction models using the situation calculus

Download www.cs.toronto.edu

Iluju Kiringa, Alfredo Gabaldon

claim paper

Read More »

24

AMAST
2008
Springer

109views Software Engineering» more AMAST 2008»

Explaining Verification Conditions

13 years 9 months ago

Explaining Verification Conditions

Download ti.arc.nasa.gov

The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...

Ewen Denney, Bernd Fischer 0002

claim paper

Read More »

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