Verifying Proportionality in Temporal Voting.

Edith Elkind Svetlana Obraztsova Nicholas Teh

Published in: AAMAS (2024)

Keyphrases

temporal information
spatio temporal
temporal reasoning
temporal data
temporal constraints
spatial and temporal
voting schemes
temporal consistency
temporal databases
temporal patterns
knowledge base
databases
model checking
real world
temporal sequences
temporal correlation
neural network
voting method