Dynamic Context Logic.

Guillaume Aucher Davide Grossi Andreas Herzig Emiliano Lorini

Published in: LORI (2009)

Keyphrases

context sensitive
dynamic environments
automated reasoning
modal logic
open environments
real world
genetic algorithm
artificial intelligence
information systems
high level
contextual information
dynamically changing
defeasible logic
dynamic aspects