Adjuncts elimination in the static ambient logic.

Published in: EXPRESS (2003)

Keyphrases

ambient intelligence
modal logic
data sets
logic programming
intelligent environments
classical logic
defeasible logic
predicate logic
neural network
real world
artificial intelligence
knowledge base
case study
description logics
computational properties
asynchronous circuits