Next: Publications
Up: Individual research
Previous: Individual research
As soon as data becomes more
complex than a collection of records, there is a need
to address knowledge representation and reasoning issues.
These issues require solving semantic, algorithmic,
and complexity theoretic subproblems. The research
has focused on problems stemming from incomplete information
in relational databases, on recursion, on the relationship
between updates to logical theories and counterfactual
reasoning, and between updates and belief revision,
on database updates and generalized datalog. Current
research involves the reasoning about strings (such
as DNA sequences) in databases.
Publications: [155-157,
159-161,
183-187].