25 search results - page 1 / 5 » A Formalization of Program Debugging in the Situation Calcul... |
86
Voted
AAAI
2008
15 years 1 months ago
2008
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
AAAI
2006
15 years 9 days ago
2006
The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts. But until now there is no formal relation between the two calculi that wo...
111
Voted
JAIR
2012
13 years 1 months ago
2012
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...
AI
1998
Springer
14 years 10 months ago
1998
Springer
We argue that the situation calculus is a natural formalism for representing and reasoning about control and strategic information. As a case study, in this paper we provide a sit...
98
Voted
AI
2011
Springer
14 years 6 months ago
2011
Springer
The property that the executability and the effects of an action are determined entirely by the current state or situation is known as the Markov property and is assumed in most f...