Branching Time? Pruning Time!

Markus Latte Martin Lange

Published in: IJCAR (2012)

Keyphrases

search space
pruning method
temporal reasoning
artificial intelligence
epistemic logic
temporal logic
pruning algorithm
tree pruning
databases
data sets
pruning algorithms
pruning methods
tree construction
query processing
multi agent systems
face recognition
three dimensional
e learning
database
effective pruning