A transition logic for schemata conflicts.

Veselka Boeva Love Ekenberg

Published in: Data Knowl. Eng. (2004)

Keyphrases

logic programming
classical logic
resolving conflicts
cooperative
automated reasoning
set theory
conflict resolution
modal logic
logic programs
computational properties
predicate logic
artificial intelligence
data sets
logical framework
case study
formal theory
proof theory