Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

IJCAI
2003

favoriteEmaildiscussreport

110views Artificial Intelligence» more IJCAI 2003»

Describing Additive Fluents in Action Language C+

13 years 5 months ago

Describing Additive Fluents in Action Language C+

Download dli.iiit.ac.in

An additive fluent is a fluent with numerical values such that the effect of several concurrently executed actions on it can be computed by adding the effects of the individual actions. We propose a method for describing effects of actions on additive fluents in the declarative language An implementation of this language, called the Causal Calculator, can be used for the automation of examples of commonsense reasoning involving additive fluents.

Joohyung Lee, Vladimir Lifschitz

Real-time Traffic

Additive Fluents | IJCAI 2003 | IJCAI 2007 | Individual Actions | Language An Implementation |

claim paper

Related Content

» Additive Fluents

» Fluent model checking for eventbased systems

» The System BioC for Reasoning about Biological Models in Action Language C

» Reasoning about Action for Behavioral Animation of Intelligent Virtual Agents

» The NLP Role in Animated Conversation for CALL

» DomainSpecific Preferences for Causal Reasoning and Planning

» Verification of UMLBased RealTime System Designs by Means of cTLA

» Describing and Manipulating XML Data

» The Semantics of Variables in Action Descriptions

Post Info
More Details (n/a)

Added	31 Oct 2010
Updated	31 Oct 2010
Type	Conference
Year	2003
Where	IJCAI
Authors	Joohyung Lee, Vladimir Lifschitz

Comments (0)