C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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