An action language based on causal explanation: preliminary report
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Representing the zoo world and the traffic world in the language of the causal calculator
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Cumulative effects of concurrent actions on numeric-valued fluents
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Planning with graded fluents and actions
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Multivalued action languages with constraints in CLP(FD)
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Updating action domain descriptions
Artificial Intelligence
Perspectives on logic-based approaches for reasoning about actions and change
Logic programming, knowledge representation, and nonmonotonic reasoning
A temporally expressive planner based on answer set programming with constraints: preliminary design
Logic programming, knowledge representation, and nonmonotonic reasoning
Journal of Computer and System Sciences
Representing action domains with numeric-valued fluents
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
From logic programs updates to action description updates
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Answer set programming modulo theories and reasoning about continuous changes
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
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 C+. An implementation of this language, called the Causal Calculator, can be used for the automation of examples of commonsense reasoning involving additive fluents.