Author:
Publication: Artificial Intelligence
Rendezvous in planar environments with obstacles and unknown initial distance
First-order stable model semantics with intensional functions