On the Dynamic Logic of Agency and Action.

Chrysafis Hartonas

Published in: Stud Logica (2014)

Keyphrases

dynamic logic
reasoning about actions
situation calculus
imperative programs
logic programming
modal logic
action sequences
propositional dynamic logic
agent programming
multiple input
machine learning
artificial intelligence
mobile robot
first order logic
initial state
environmental protection