Login / Signup
On Reasoning With the Global Time Assumption.
Ambuj K. Singh
Published in:
LOPLAS (1992)
Keyphrases
</>
automated reasoning
genetic algorithm
knowledge base
reasoning tasks
model based reasoning
database
data sets
databases
artificial intelligence
knowledge representation
production rules
probabilistic reasoning
global information
consistency checking
reasoning engine