Dynamic relocation in ridesharing via fixpoint construction.

Ian A. Kash Zhongkai Wen Lenore D. Zuck

Published in: UAI (2022)

Keyphrases

fixpoint
logic programs
deductive databases
stable models
finite state machines
logic programming
horn clauses
database
data mining
machine learning
artificial intelligence
database systems
xml documents
hidden markov models
proof theoretic
fixpoint semantics