Studies of the Single Pulser in Various Reasoning Systems.

Steven D. Johnson Paul S. Miner Albert John Camilleri

Published in: TPCD (1994)

Keyphrases

reasoning systems
automated reasoning
description logics
knowledge representation and reasoning
database
owl dl
data sets
information systems
high level
np complete
theorem proving