Performance of DLP on Random Modal Formulae.

Ian Horrocks Peter F. Patel-Schneider

Published in: Description Logics (1999)

Keyphrases

structured light
modal logic
real time
databases
decision making
knowledge base
multi agent
probabilistic model
programming language
answer set programming
disjunctive logic programming