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

by R A Kowalski
Venue:In Meta-logics and logic programming