Relation-changing modal operators.

Carlos Areces Raul Fervari Guillaume Hoffmann

Published in: Log. J. IGPL (2015)

Keyphrases

modal operators
modal logic
situation calculus
nonmonotonic logics
data mining
machine learning
artificial intelligence
information systems
general purpose
description logics
concept description language