Merge Path Improvements for Minimal Model Hyper Tableaux.

Peter Baumgartner Joseph Douglas Horton Bruce Spencer

Published in: TABLEAUX (1999)

Keyphrases

modal logic
shortest path
functional dependencies
database
real time
decision making
optimal path
multi agent
artificial neural networks
mobile robot
path finding