Using meta-logic to reconcile reactive with rational agents (1995)

by R A Kowalski
Venue:Meta-Logics and Logic Programming