Author:
Publication: Artificial Intelligence
First-order stable model semantics with intensional functions
Multi-robot adversarial patrolling: Handling sequential attacks