Rational Agents: Prioritized Goals, Goal Dynamics, and Agent Programming Languages with Declarative Goals

Prioritized goals, Goal change, Intention, Logic of agency, Agent programming languages with declarative goals, Rationality, Reasoning about goals, Goal dynamics, the Situation Calculus, Infinite paths, Temporal logic, Modal logic