Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
Action languageArtificial intelligenceEvent calculusFirst-order logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Research on Context-aware Web Service Composition based on the Fluent Calculus
With the exponential growth in available web services and diversity of user needs, automatic web service selection and… 
2010
2010
Multiscale Modelling of Tunnel Ventilation Flows and Fires
F Colella, Multiscale analysis of tunnel ventilation flows and fires, PhD Thesis, Politecnico di Torino, Dipartimento di… 
2008
2008
Fluent calculus-based Web service composition — From OWL-S to fluent calculus
Web service composition facilitates the creation of new services out of existing ones, for satisfying a complex functionality… 
2006
2006
Investigations of the Application of CFD to Flow Expected in the Lower Plenum of the Prismatic VHTR
The Generation IV (Gen IV) very high temperature reactor (VHTR) will either be a prismatic (block) or pebble bed design. However… 
2005
2005
Alan: An Action Language For Modelling Non-Markovian Domains
In this paper we present the syntax and semantics of a temporal action language named Alan, which was designed to model… 
2005
2005
PRESSURE DROP PREDICTION IN DENSE PHASE PNEUMATIC CONVEYING USING CFD
During the last two decades, computer techniques have become well-accepted and useful tools for studying twophase gas-solids flow… 
2005
2005
Gasification CFD Modeling for Advanced Power Plant Simulations
In this paper we have described recent progress on developing CFD models for two commercial-scale gasifiers, including a two… 
Review
2003
Review
2003
Automated Fluid-Structure Interaction Analysis
Abstract : An automated Fluid-Structure Interaction (FSI) analysis procedure has been developed at ATK Thiokol Propulsion that… 
2001
2001
Planning in the Fluent Calculus Using Binary Decision Diagrams
As a part of my group’s activities on the extension of the fluent calculus (Hölldobler and Schneeberger 1990; Thielscher 1998), I… 
1994
1994
Semantic Lexicons: The Cornerstone for Lexical Choice in Natural Language Generation
In this paper, we address the issue of integrating semantic lexicons into NLG systems and argue that the problem of lexical… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)