activity
20002026
most citedIntegrated Task Assignment and Path Planning for Capacitated Multi-Agent Pickup and Delivery

200 citations · 450 across the 51 of their papers we have counts for

collaborators
Showing 2015 · cs.PLShow all

1 paper · 2 filters

cs.PL2015★ 20 cited

Horn Clauses as an Intermediate Representation for Program Analysis and Transformation

Graeme Gange, Jorge A. Navas, Peter Schachte +2

Many recent analyses for conventional imperative programs begin by transforming programs into logic programs, capitalising on existing LP analyses and simple LP semantics. We propo…