263 search results - page 3 / 53 » A unifying action calculus |
CIS
2004
Springer
13 years 11 months ago
2004
Springer
The pi calculus has been applied to modelling biochemical networks. In these applications, the modelling is done without considerations to exceptions. The Ipi calculus, the Interfe...
JAIR
2012
11 years 8 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...
FLAIRS
2000
13 years 7 months ago
2000
In a unified knowledge representation data, information and knowledge are all represented in a single formalism as "items". Objects are item building operators. Items an...
JOLLI
2010
13 years 4 months ago
2010
Abstract The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of th...
ICLP
1995
Springer
13 years 9 months ago
1995
Springer
Abstract. The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this pap...