Fluent calculus

The fluent calculus is a formalism for expressing dynamical domains in first-order logic. It is a variant of the situation calculus; the main… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
We propose a composition and verification framework for Semantic Web Services specified using WSSL, a novel service specification… (More)
  • figure 1
  • table 1
  • figure 2
Is this relevant?
2008
2008
Web service composition facilitates the creation of new services out of existing ones, for satisfying a complex functionality… (More)
  • figure 1
  • figure 3
  • figure 2
  • table 1
  • table 2
Is this relevant?
2006
2006
The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts. But until now there is… (More)
Is this relevant?
2005
2005
This paper develops a solution to the analogue of the frame problem that arises when the belief state of an agent is axiomatized… (More)
Is this relevant?
2004
2004
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the… (More)
Is this relevant?
2002
2002
A symbolic dynamic programming approach for modelling first-order Markov decision processes within the fluent calculus is given… (More)
  • figure 1
  • table 1
  • table 4
  • figure 2
Is this relevant?
2001
2001
The Fluent Calculus belongs to the established predicate calculus formalisms for reasoning about actions. Its underlying concept… (More)
  • figure 1
  • figure 2
Is this relevant?
2000
2000
A new equational foundation is presented for the Fluent Calculus, an established predicate calculus formalism for reasoning about… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Successor state axioms provide a solution to the famous Frame Problem as far as the representational aspect is concerned. Solving… (More)
Is this relevant?
1998
1998
While historically the Fluent Calculus arose from approaches to the Frame Problem using non-classical, linear logics, an… (More)
Is this relevant?