My research concerns the study of formal and automated reasoning such
as logic programming, planning, reasoning about action, knowledge representation
and commonsense reasoning.
Projects
Representing Properies of Actions: Action Language C is
an expressive language that provides solutions to the frame problem,
the ramification problem and the qualification problem. We use the
Causal Calculator to demonstrate its power and applicability. A
part of the study is involved with fluents with numerical values.
