Dr Louise Dennis

Senior Lecturer

View graph of relations

Overview

Dr. Dennis' background is in artificial intelligence and more specifically in agent and autonomous systems and automated reasoning. She has worked on the development of several automated reasoning and theorem proving tools, most notably the Agent JPF model checker for BDI agent languages; the lambda-clam proof planning system; and the PROSPER Toolkit for integrating an interactive theorem prover (HOL) with automated reasoning tools (such as SAT solvers) and Case/CAD tools. More recently she has investigated rational agent programming languages and architectures for autonomous systems, with a particular emphasis on verifiable systems and ethical reasoning.

Areas of expertise

Related information

Publications

Research output: Contribution to journalReview article

Research output: Contribution to conferencePaper

Research output: Contribution to journalArticle

View all (18)

Activities

Activity: MembershipMembership of grants peer review panel

Activity: MembershipMembership of board

Activity: MembershipMembership of committee

View all (4)